عنوان
پدید آورنده
موضوع
رده
QA 76.76 .E95 V47 2010
QA
76
.
76
.
E95
V47
2010
کتابخانه
محل استقرار
9670a
Verification and validation in systems engineering : assessing UML/SysML design models
Heidelberg; New York
Springer
2010
xxvi, 248 p
Includes bibliographical references )p. 227-239( and index
Mourad Debbabi ... ]et al.[
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
، Systems engineering
Verification ، Expert systems )Computer science(
Validation ، Expert systems )Computer science(
، UML )Computer science(
، SysML )Computer science(
QA
76
.
76
.
E95
V47
2010
TI
AU daruoM ,ibabbeD
یاضه ریه دانشکدانابخکت
