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

Debbabi, Mourad

ISBN 10: 3642423167 / ISBN 13: 9783642423161

Edité par Springer, 2014

A propos de cet article

N° de réf. du vendeur I-9783642423161

Détails bibliographiques

• Titre: Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models
• Éditeur: Springer
• Date de parution: 2014
• Langue: anglais
• ISBN à 10 chiffres: 3642423167
• ISBN à 13 chiffres: 9783642423161
• Reliure: Couverture souple
• État de l'article: New

A propos de ce titre

Synopsis

As well as an overview of UML and the more recent SysML, Debbabi and his co-authors investigate varied methodologies and techniques for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages.