عنوان
پدید آورنده
موضوع
رده
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
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
ی‌اض‌ه ری‌ه دانشکد‌ان‌ابخ‌کت
