國立虎尾科技大學 |

From Requirements to Java in a Snap = Model-Driven Requirements Engineering in Practice /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	From Requirements to Java in a Snap/ by Michał Śmiałek, Wiktor Nowakowski.
其他題名:	Model-Driven Requirements Engineering in Practice /
作者:	Śmiałek, Michał.
其他作者:	Nowakowski, Wiktor.
面頁冊數:	XXIII, 352 p. 295 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Software engineering. -
電子資源:	https://doi.org/10.1007/978-3-319-12838-2
ISBN:	9783319128382

From Requirements to Java in a Snap = Model-Driven Requirements Engineering in Practice /
Śmiałek, Michał.

From Requirements to Java in a SnapModel-Driven Requirements Engineering in Practice /[electronic resource] :by Michał Śmiałek, Wiktor Nowakowski. - 1st ed. 2015. - XXIII, 352 p. 295 illus.online resource.

1. Introducing Requirements-driven Modelling -- 2. Presenting the Requirements Specification Language -- 3. Defining RSL -- 4. Explaining RSL with Java -- 5. Understanding Model Transformations -- 6. Writing Model Transformations for Requirements -- 7. Applying MDRE in Practice -- 8. Case study -- A. Summary of RSL syntax -- B. Summary of MOLA syntax.

This book provides a coherent methodology for Model-Driven Requirements Engineering which stresses the systematic treatment of requirements within the realm of modelling and model transformations. The underlying basic assumption is that detailed requirements models are used as first-class artefacts playing a direct role in constructing software. To this end, the book presents the Requirements Specification Language (RSL) that allows precision and formality, which eventually permits automation of the process of turning requirements into a working system by applying model transformations and code generation to RSL. The book is structured in eight chapters. The first two chapters present the main concepts and give an introduction to requirements modelling in RSL. The next two chapters concentrate on presenting RSL in a formal way, suitable for automated processing. Subsequently, chapters 5 and 6 concentrate on model transformations with the emphasis on those involving RSL and UML. Finally, chapters 7 and 8 provide a summary in the form of a systematic methodology with a comprehensive case study. Presenting technical details of requirements modelling and model transformations for requirements, this book is of interest to researchers, graduate students and advanced practitioners from industry. While researchers will benefit from the latest results and possible research directions in MDRE, students and practitioners can exploit the presented information and practical techniques in several areas, including requirements engineering, architectural design, software language construction and model transformation. Together with a tool suite available online, the book supplies the reader with what it promises: the means to get from requirements to code “in a snap”.

ISBN: 9783319128382

Standard No.: 10.1007/978-3-319-12838-2doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

From Requirements to Java in a Snap = Model-Driven Requirements Engineering in Practice /
LDR:03518nam a22003975i 4500 001 960787
003 DE-He213
005 20200630064543.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783319128382 $9 978-3-319-12838-2
024 7 $a 10.1007/978-3-319-12838-2 $2 doi
035 $a 978-3-319-12838-2
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
100 1 $a Śmiałek, Michał. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1254874
245 1 0 $a From Requirements to Java in a Snap $h [electronic resource] : $b Model-Driven Requirements Engineering in Practice / $c by Michał Śmiałek, Wiktor Nowakowski.
250 $a 1st ed. 2015.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a XXIII, 352 p. 295 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
505 0 $a 1. Introducing Requirements-driven Modelling -- 2. Presenting the Requirements Specification Language -- 3. Defining RSL -- 4. Explaining RSL with Java -- 5. Understanding Model Transformations -- 6. Writing Model Transformations for Requirements -- 7. Applying MDRE in Practice -- 8. Case study -- A. Summary of RSL syntax -- B. Summary of MOLA syntax.
520 $a This book provides a coherent methodology for Model-Driven Requirements Engineering which stresses the systematic treatment of requirements within the realm of modelling and model transformations. The underlying basic assumption is that detailed requirements models are used as first-class artefacts playing a direct role in constructing software. To this end, the book presents the Requirements Specification Language (RSL) that allows precision and formality, which eventually permits automation of the process of turning requirements into a working system by applying model transformations and code generation to RSL. The book is structured in eight chapters. The first two chapters present the main concepts and give an introduction to requirements modelling in RSL. The next two chapters concentrate on presenting RSL in a formal way, suitable for automated processing. Subsequently, chapters 5 and 6 concentrate on model transformations with the emphasis on those involving RSL and UML. Finally, chapters 7 and 8 provide a summary in the form of a systematic methodology with a comprehensive case study. Presenting technical details of requirements modelling and model transformations for requirements, this book is of interest to researchers, graduate students and advanced practitioners from industry. While researchers will benefit from the latest results and possible research directions in MDRE, students and practitioners can exploit the presented information and practical techniques in several areas, including requirements engineering, architectural design, software language construction and model transformation. Together with a tool suite available online, the book supplies the reader with what it promises: the means to get from requirements to code “in a snap”.
650 0 $a Software engineering. $3 562952
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
700 1 $a Nowakowski, Wiktor. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1065652
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319128399
776 0 8 $i Printed edition: $z 9783319128375
776 0 8 $i Printed edition: $z 9783319357195
856 4 0 $u https://doi.org/10.1007/978-3-319-12838-2
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)