LEADER 04166nam  22005895  450 
001 9910299253403321
005 20200630064543.0
010   $a3-319-12838-8
024 7 $a10.1007/978-3-319-12838-2
035   $a(CKB)3710000000337891
035   $a(EBL)1965400
035   $a(OCoLC)900790970
035   $a(SSID)ssj0001424484
035   $a(PQKBManifestationID)11832254
035   $a(PQKBTitleCode)TC0001424484
035   $a(PQKBWorkID)11367543
035   $a(PQKB)10357231
035   $a(DE-He213)978-3-319-12838-2
035   $a(MiAaPQ)EBC1965400
035   $a(PPN)183517466
035   $a(EXLCZ)993710000000337891
100   $a20150114d2015      u|         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aFrom Requirements to Java in a Snap $eModel-Driven Requirements Engineering in Practice /$fby Micha? ?mia?ek, Wiktor Nowakowski
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (367 p.)
300   $aIncludes index.
311   $a3-319-12837-X 
327   $a1. 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.
330   $aThis 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?.
606   $aSoftware engineering
606   $aMathematical logic
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aSoftware engineering.
615  0$aMathematical logic.
615 14$aSoftware Engineering.
615 24$aMathematical Logic and Formal Languages.
676   $a004
676   $a005.1
676   $a005.131
700   $a?mia?ek$b Micha?$4aut$4http://id.loc.gov/vocabulary/relators/aut$01063327
702   $aNowakowski$b Wiktor$4aut$4http://id.loc.gov/vocabulary/relators/aut
906   $aBOOK
912   $a9910299253403321
996   $aFrom Requirements to Java in a Snap$92531796
997   $aUNINA