Verwandte Artikel zu Verification and Validation in Systems Engineering:...

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

Debbabi, Mourad; Hassaïne, Fawzi; Jarraya, Yosr

 
9783642152290: Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models
Softcover
ISBN 10: 3642152295 ISBN 13: 9783642152290
Verlag: Springer, 2011

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2011
Sprache
Englisch
ISBN 10 
3642152295
ISBN 13 
9783642152290
Einband
Paperback
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

(Keine Angebote verfügbar)

Buch Finden:



Kaufgesuch aufgeben

Sie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!

Kaufgesuch aufgeben

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  3642152279 ISBN 13:  9783642152276
Verlag: Springer, 2010
Hardcover