Model-Driven Dependability Assessment of Software Systems.
In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are based on the use of UML as software specification language. From the software system specification point of view, such techniques exploit the standard extensio...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | Ebook |
| Language: | English |
| Published: |
Dordrecht :
Springer,
2013.
|
| Subjects: | |
| Online Access: | Springer eBooks |
| Summary: | In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are based on the use of UML as software specification language. From the software system specification point of view, such techniques exploit the standard extension mechanisms of UML (i.e., UML profiling). UML profiles enable software engineers to add non-functional properties to the software model, in addition to the functional ones. The authors detail the state of the art on UML profile proposals for dependability specification and rigorously describe the t. |
|---|---|
| Item Description: | 7.7 Reliability, Availability, and Maintainability. |
| Physical Description: | 1 online resource (199 pages) |