دانلود کتاب Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models
49,000 تومان
تأیید و اعتبار سنجی در مهندسی سیستم ها: ارزیابی مدل های طراحی UML/SysML
| موضوع اصلی | فن آوری |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 248 |
| حجم فایل | 9 مگابایت |
| کد کتاب | 3642152279 |
| نوبت چاپ | 1 |
| نویسنده | Andrei Soeanu, Fawzi Hassaïne, Luay Alawneh (auth.), Mourad Debbabi, Yosr Jarraya |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2010 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
تأیید و اعتبار سنجی در مهندسی سیستم ها: ارزیابی مدل های طراحی UML/SysML
تأیید و اعتبار سنجی فرآیند مهمی را نشان می دهد که برای ارزیابی کیفیت سیستم های مهندسی شده و انطباق آنها با الزامات تعیین شده در آغاز یا در طول چرخه توسعه مورد استفاده قرار می گیرد.
دبابی و همکارانش در مورد آن تحقیق می کنند. روشها و تکنیکهایی که میتوانند برای تأیید و اعتبارسنجی خودکار مدلهای طراحی مهندسی سیستمها که در زبانهای مدلسازی استاندارد بیان شدهاند، استفاده شوند. ارائه آنها شامل نمای پرنده ای از برجسته ترین زبان های مدل سازی برای نرم افزار و مهندسی سیستم ها، یعنی زبان مدل سازی یکپارچه (UML) و جدیدتر زبان مدل سازی سیستم ها (SysML) است. علاوه بر این، تعدادی از تکنیکهای کمی و کیفی را توضیح میدهد که به طور همافزایی تکنیکهای تأیید خودکار، تجزیه و تحلیل برنامه و روشهای کمی مهندسی نرمافزار قابل اجرا برای مدلهای طراحی توصیفشده در این زبانهای مدلسازی را ترکیب میکنند. هر یک از این تکنیکها با استفاده از یک مطالعه موردی توضیح داده میشوند که فرآیند، نتایج آن و تغییرات ناشی از آن در طراحی سیستم را برجسته میکند.
محققان دانشگاه و صنعت و همچنین دانشجویان متخصص در مهندسی نرمافزار و سیستمها متوجه خواهند شد. در اینجا مروری بر مدرن ترین تکنیک های اعتبار سنجی و تأیید است. به دلیل ارتباط نزدیک آنها با استاندارد UML، رویکردهای ارائه شده برای توسعه نرم افزار صنعتی نیز قابل اجرا هستند.
Verification and validation represents an important process used for the quality assessment of engineered systems and their compliance with the requirements established at the beginning of or during the development cycle.
Debbabi and his coauthors investigate methodologies and techniques that can be employed for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages. Their presentation includes a bird’s eye view of the most prominent modeling languages for software and systems engineering, namely the Unified Modeling Language (UML) and the more recent Systems Modeling Language (SysML). Moreover, it elaborates on a number of quantitative and qualitative techniques that synergistically combine automatic verification techniques, program analysis, and software engineering quantitative methods applicable to design models described in these modeling languages. Each of these techniques is additionally explained using a case study highlighting the process, its results, and resulting changes in the system design.
Researchers in academia and industry as well as students specializing in software and systems engineering will find here an overview of state-of-the-art validation and verification techniques. Due to their close association with the UML standard, the presented approaches are also applicable to industrial software development.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.