Read more
List of contents
Introduction. Overview of development using UML-RSDS. Class Diagrams. Constraints. Use Cases. Design Synthesis. Model Transformations. Design Patterns and Refactorings. System Composition. Agile Development and Model-based Development. Requirements Analysis and Specification. System Verification. Reactive Systems Development with UML-RSDS. Enterprise Systems Development with UML-RSDS. Example Case Studies. Conclusions.
About the author
Dr. Lano is Associate Professor of Software Engineering at King's College London. He has worked in the areas of model-based development, model transformations and software verification. He was a founding member of the Precise UML (pUML) group, which had a significant influence on the international UML standard modelling language and the QVT transformation standard. The main emphasis of his current research is on precise model transformations, using the UML-RSDS method and tools. This is a novel approach to model transformation, combining the benefits of precise specification and automated synthesis of implementations. There have been many applications of UML-RSDS, to finance, system migration, refactoring, etc., and UML-RSDS has been the subject of comparative international studies of transformation techniques. He has over 40 journal publications, and over 200 other publications.
Summary
This 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, sys
