عنوان
پدید آورنده
موضوع
رده
QA 76.76 .E95 V47 2010
QA
76
.
76
.
E95
V47
2010
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
9670a
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Verification and validation in systems engineering : assessing UML/SysML design models
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Heidelberg; New York
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2010
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xxvi, 248 p
GENERAL NOTES
Text of Note
Includes bibliographical references )p. 227-239( and index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Mourad Debbabi ... ]et al.[
CONTENTS NOTE
Text of Note
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
TOPICAL NAME USED AS SUBJECT
Entry Element
، Systems engineering
Entry Element
Verification ، Expert systems )Computer science(
Entry Element
Validation ، Expert systems )Computer science(
Entry Element
، UML )Computer science(
Entry Element
، SysML )Computer science(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
76
.
E95
V47
2010
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
AU daruoM ,ibabbeD
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
یاضه ریه دانشکدانابخکت
