Librería Portfolio

Features

Reviews many examples of applications of UML-RSDS from a wide variety of domains.
Provides comprehensive guidelines for model-based development using UML, from requirements to code.
Compares different approaches to model-based development and agile development.
Gives detailed step-by-step instructions for using the UML-RSDS tools.
Provides class-tested examples suitable for use in teaching.
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, 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.



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