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. 
<br/><br/>Includes bibliographical references (p. 227-239) and index. 
<br/><br/>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. 
<br/><br/> All. 
<br/><br/><label>ISBN: </label>9783642152283 (e-isbn) 9783642152276 3642152279 
<br/><br/><label>Nat. Bib. No.: </label>10,N31  dnb 
<br/><br/><label>Nat. Bib. Agency Control No.: </label>100522384X  DE-101 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Systems engineering.<br/>Expert systems (Computer science)--Verification.<br/>Expert systems (Computer science)--Validation.<br/>UML (Computer science).<br/>SysML (Computer science).<br/>Systementwicklung.<br/>UML.<br/>SysML.
<br/><br/><label>Dewey Class. No.: </label>004.24