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