Normal view MARC view ISBD view

Verification and validation in systems engineering assessing UML/SysML design models / [Book] : Mourad Debbabi ... [et al.]. - Heidelberg ; New York : Springer, c2010. - xxvi, 248 p. ; 24 cm.

Includes bibliographical references (p. 227-239) and index.

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.

All.

ISBN: 9783642152283 (e-isbn) 9783642152276 3642152279

Nat. Bib. No.: 10,N31 dnb

Nat. Bib. Agency Control No.: 100522384X DE-101

Subjects--Topical Terms:
Systems engineering.
Expert systems (Computer science)--Verification.
Expert systems (Computer science)--Validation.
UML (Computer science).
SysML (Computer science).
Systementwicklung.
UML.
SysML.

Dewey Class. No.: 004.24