LEADER 03448oam  2200505I  450 
001 9910165051203321
005 20191212081647.0
010   $a1-315-36815-3
010   $a1-315-35118-8
024 7 $a10.1201/9781315368153 
035   $a(CKB)3710000001060374
035   $a(MiAaPQ)EBC4807052
035   $a(OCoLC)940284176
035   $a(EXLCZ)993710000001060374
100   $a20180331h20172017  uy             0
101 0 $aeng
135   $aurcn#nnn|||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAgile model-based development using UML-RSDS /$fKevin Lano, Department of Informatics, King's College London, London, United Kingdom
210  1$aBoca Raton, Fla. :$cCRC Press, Taylor & Francis Group,$d[2017]
210  4$dİ2017
215   $a1 online resource (xi, 373 pages) $cillustrations
300   $aA Science Publishers Book.
311   $a1-4987-5222-5 
311   $a1-4987-5223-3 
320   $aIncludes bibliographical references and index.
327   $a1: Introduction -- 2: Overview of Development Using UML-RSDS -- 3: Class Diagrams -- 4: Constraints -- 5: Use Cases -- 6: Design Synthesis -- 7: Model Transformations -- 8: Case Study: Resource Scheduler -- 9: Design Patterns and Refactorings -- 10: System Composition and Reuse -- 11: Migration Transformations -- 12: Refinement and Enhancement Transformations -- 13: Refactoring and Update-in-place Transformations -- 14: Bidirectional and Incremental Transformations -- 15: Backtracking and Exploratory Transformations -- 16: Agile Development and Model-based Development -- 17: Requirements Analysis and Specification -- 18: System Verification -- 19: Reactive System Development with UML-RSDS -- 20: Enterprise Systems Development with UML-RSDS -- 21: Applications of UML-RSDS in Education and Industry -- Appendix: A: UML-RSDS Syntax -- A.1 OCL expression syntax -- A.2 Activity language syntax -- B: UML-RSDS tool architecture and components -- C: Key principles of UML-RSDS.
330   $aThis book describes the concepts and application of model-based development (MBD), model transformations, and Agile MBD to a wide range of software systems. It covers systems requirements engineering, system specification and design, verification, reuse, and system composition in the context of Agile MBD. Examples of applications in finance, system migration, internet systems and software refactoring are given. An established open-source MBD technology, UML-RSDS, is used throughout to illustrate the concepts. The book is suitable for industrial practitioners who need training in Agile MBD, and those who need to understand the issues to be considered when introducing MBD in an industrial context. It is also suitable for academic researchers, and for use as text for undergraduate or postgraduate courses in MBD. Examples for educational use of UML-RSDS are included in the book.
606   $aAgile software development
606   $aUML (Computer science)
606   $aModel-integrated computing
608   $aElectronic books.
615  0$aAgile software development.
615  0$aUML (Computer science)
615  0$aModel-integrated computing.
676   $a005.1
700   $aLano$b K.$0896245
801  0$bFlBoTFG
801  1$bFlBoTFG
906   $aBOOK
912   $a9910165051203321
996   $aAgile model-based development using UML-RSDS$92002052
997   $aUNINA