Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Buch
Titel:
Verification and validation in systems engineering
:
assessing UML/SysML design models
Enthält:
Introduction -- Architecture frameworks, model-driven architecture, and simulation -- Unified Modeling Language -- Systems Modeling Language -- Verification, Validation, and accreditation -- Automatic approach for synergistic verification and validation -- Software engineering metrics in the context of systems engineering -- Verification and validation of UML behavioral diagrams -- Probabilistic model checking of SysML activity diagrams -- Performance analysis of time-constrained SysML activity diagrams -- Semantic foundation of SysML activity diagrams -- Soundness of the translation algorithm.