Articoli correlati a Verification and Validation in Systems Engineering:...

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

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

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

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2011
Lingua
Inglese
ISBN 10 
3642152295
ISBN 13 
9783642152290
Rilegatura
Paperback
Contatto del produttore
non disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  3642152279 ISBN 13:  9783642152276
Casa editrice: Springer-Nature New York Inc, 2010
Rilegato