The authors examine methods and techniques that can be used for automatic verification and evaluation of models of Systems Engineering design models expressed in a standardized language. Their presentation includes images of a bird's eye view of the most prominent modeling languages ​​for software and systems engineering, the Unified Modeling Language (UML) and the recent Systems Modeling Language (SysML).

It is based on a number of quantitative and qualitative techniques synergistically automated techniques, program analysis, software engineering and quantitative methods applicable to the design patterns used in these models describe language. Each of these techniques will be explained with the help of a case study emphasizes the process, outcomes, and changes in the system design.

ISBN-10 of ebook: 3642152279
ISBN-13 of ebook: 9783642152276
Publisher of ebook: Springer
Pages of ebook: 270
Date of ebook: November 2010