Agile Model-Based Development Using UML-RSDS: 1st Edition (Hardback) book cover

Agile Model-Based Development Using UML-RSDS

1st Edition

By Kevin Lano

CRC Press

385 pages | 5 Color Illus. | 107 B/W Illus.

Purchasing Options:$ = USD
Hardback: 9781498752220
pub: 2016-08-02
SAVE ~$12.89
$85.95
$73.06
x
eBook (VitalSource) : 9781315368153
pub: 2017-02-17
from $42.98


FREE Standard Shipping!

Description

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.

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.

Subject Categories

BISAC Subject Codes/Headings:
COM051010
COMPUTERS / Programming Languages / General
COM051230
COMPUTERS / Software Development & Engineering / General