书目名称 | From Requirements to Java in a Snap |
副标题 | Model-Driven Require |
编辑 | Michał Śmiałek,Wiktor Nowakowski |
视频video | |
概述 | Applies model transformation techniques and code generation to automate the development of software systems from requirements.Applicable to both functional requirements and vocabulary requirements (do |
图书封面 |  |
描述 | .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 req |
出版日期 | Book 2015 |
关键词 | Domain-Specific Languages; Formal Language Definitions; Formal Specifications; Java; Model-Driven Softwa |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-319-12838-2 |
isbn_softcover | 978-3-319-35719-5 |
isbn_ebook | 978-3-319-12838-2 |
copyright | Springer International Publishing Switzerland 2015 |