國立高雄大學圖資館 |

Language: English

Back

From requirements to Java in a snapm...

Nowakowski, Wiktor.

From requirements to Java in a snapmodel-driven requirements engineering in practice /

Record Type:	Electronic resources : Monograph/item
Title/Author:	From requirements to Java in a snapby Michal Smialek, Wiktor Nowakowski.
Reminder of title:	model-driven requirements engineering in practice /
Author:	Smialek, Michal.
other author:	Nowakowski, Wiktor.
Published:	Cham :Springer International Publishing :2015.
Description:	xxiii, 352 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Software engineering.
Online resource:	http://dx.doi.org/10.1007/978-3-319-12838-2
ISBN:	9783319128382 (electronic bk.)

From requirements to Java in a snapmodel-driven requirements engineering in practice /
Smialek, Michal.

From requirements to Java in a snapmodel-driven requirements engineering in practice /[electronic resource] :by Michal Smialek, Wiktor Nowakowski. - Cham :Springer International Publishing :2015. - xxiii, 352 p. :ill., digital ;24 cm.

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 (electronic bk.)

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

184729
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

From requirements to Java in a snapmodel-driven requirements engineering in practice /
LDR:03114nmm a2200313 a 4500 001 461385
003 DE-He213
005 20150825151459.0
006 m d
007 cr nn 008maaau
008 151110s2015 gw s 0 eng d
020 $a 9783319128382 (electronic bk.)
020 $a 9783319128375 (paper)
024 7 $a 10.1007/978-3-319-12838-2 $2 doi
035 $a 978-3-319-12838-2
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
082 0 4 $a 005.1 $2 23
090 $a QA76.758 $b .S639 2015
100 1 $a Smialek, Michal. $3 713444
245 1 0 $a From requirements to Java in a snap $h [electronic resource] : $b model-driven requirements engineering in practice / $c by Michal Smialek, Wiktor Nowakowski.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a xxiii, 352 p. : $b ill., digital ; $c 24 cm.
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 184729
650 0 $a Requirements engineering. $3 696400
650 0 $a Model-driven software architecture. $3 285661
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
700 1 $a Nowakowski, Wiktor. $3 713445
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-12838-2
950 $a Computer Science (Springer-11645)