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

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...

Full description

Bibliographic Details
Main Authors: Śmiałek, Michał, Nowakowski, Wiktor (Author)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2015, 2015
Edition:1st ed. 2015
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 03196nmm a2200301 u 4500
001 EB000937288
003 EBX01000000000000000730880
005 00000000000000.0
007 cr|||||||||||||||||||||
008 150202 ||| eng
020 |a 9783319128382 
100 1 |a Śmiałek, Michał 
245 0 0 |a From Requirements to Java in a Snap  |h Elektronische Ressource  |b Model-Driven Requirements Engineering in Practice  |c by Michał Śmiałek, Wiktor Nowakowski 
250 |a 1st ed. 2015 
260 |a Cham  |b Springer International Publishing  |c 2015, 2015 
300 |a XXIII, 352 p. 295 illus  |b online resource 
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 
653 |a Software engineering 
653 |a Software Engineering 
653 |a Formal Languages and Automata Theory 
653 |a Machine theory 
700 1 |a Nowakowski, Wiktor  |e [author] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
028 5 0 |a 10.1007/978-3-319-12838-2 
856 4 0 |u https://doi.org/10.1007/978-3-319-12838-2?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.1 
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”