From Requirements to Java in a Snap

Model-Driven Requirements Engineering in Practice

  • Michał Śmiałek
  • Wiktor Nowakowski

Table of contents

  1. Front Matter
    Pages i-xxiii
  2. Michał Śmiałek, Wiktor Nowakowski
    Pages 1-30
  3. Michał Śmiałek, Wiktor Nowakowski
    Pages 31-65
  4. Michał Śmiałek, Wiktor Nowakowski
    Pages 67-99
  5. Michał Śmiałek, Wiktor Nowakowski
    Pages 101-147
  6. Michał Śmiałek, Wiktor Nowakowski
    Pages 149-184
  7. Michał Śmiałek, Wiktor Nowakowski
    Pages 185-223
  8. Michał Śmiałek, Wiktor Nowakowski
    Pages 225-256
  9. Michał Śmiałek, Wiktor Nowakowski
    Pages 257-296
  10. Back Matter
    Pages 297-352

About this book


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


Domain-Specific Languages Formal Language Definitions Formal Specifications Java Model-Driven Software Engineering RSL Requirements Engineering Requirements Specification Language

Authors and affiliations

  • Michał Śmiałek
    • 1
  • Wiktor Nowakowski
    • 2
  1. 1.Warsaw University of TechnologyWarsawPoland
  2. 2.Warsaw University of TechnologyWarsawPoland

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-12837-5
  • Online ISBN 978-3-319-12838-2
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment