عنوان
پدید آورنده
موضوع
رده
QA 76.76 .E95 V47 2010
QA
76
.
76
.
E95
V47
2010
کتابخانه
محل استقرار
شابک
شابک
9783642152276
شماره کتابشناسی ملی
کد کشور
IR
شماره
27690
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Verification and validation in systems engineering
نام عام مواد
[Book]
ساير اطلاعات عنواني
: assessing UML/SysML design models
نام نخستين پديدآور
/ Mourad Debbabi ... [et al.]
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Heidelberg; New York
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2010.
مشخصات ظاهری
نام خاص و کميت اثر
xxvi, 248 p.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
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
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Systems engineering
موضوع مستند نشده
Expert systems (Computer science) -- Verification
موضوع مستند نشده
Expert systems (Computer science) -- Validation
موضوع مستند نشده
UML (Computer science)
موضوع مستند نشده
SysML (Computer science)
رده بندی کنگره
شماره رده
QA
76
.
76
نشانه اثر
.
E95
V47
2010
نام شخص - ( مسئولیت معنوی درجه دوم )
مستند نام اشخاص تاييد نشده
Debbabi, Mourad
مبدا اصلی
کشور
Iran
سازمان
University of Tehran. College of Science Library
شماره دستیابی
شماره بازیابی
QA 76.76 .E95 V47 2010
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
