Articles liés à Verification and Validation in Systems Engineering:...

Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models - Couverture souple

 
9783642152290: Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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 Foundations of SysML Activity Diagrams.- Soundness of the Translation Algorithm.- Conclusion.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

Autres éditions populaires du même titre

9783642152276: Verification and Validation in Systems Engineering: Assessing UML / SysML Design Models

Edition présentée

ISBN 10 :  3642152279 ISBN 13 :  9783642152276
Editeur : Springer-Verlag Berlin and Heide..., 2010
Couverture rigide