خرید و دانلود نسخه کامل کتاب Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

توضیحاتی در مورد کتاب

همانطور که سیستم‌هایی که توسط صنعت و دولت توسعه می‌یابند بزرگ‌تر و پیچیده‌تر می‌شوند، نیاز به ویژگی‌ها و روش‌ها و ابزارهای تأیید برتر به طور فزاینده‌ای حیاتی می‌شود. توسعه دهنده و مشتری باید اطمینان کامل داشته باشند که طرح تولید شده درست است و استانداردهای توسعه و تأیید فرم را برآورده می کند. در این متن، نویسنده متخصص UML، دکتر Doron Drusinsky، آخرین اطلاعات مربوط به کاربرد UML (Universal Modeling Language)، نمودارهای حالت، منطق زمانی، خودکارها و سایر ابزارهای پیشرفته را برای نظارت و تأیید زمان اجرا گردآوری می کند. این اولین کتابی است که به طور خاص به تکنیک های تأیید UML می پردازد. این اطلاعات مهم در چارچوب مثال‌ها و راه‌حل‌های واقعی، به‌ویژه با تمرکز بر برنامه‌های دفاع ملی معرفی شده‌اند. یک متن عملی، برخلاف متن نظری سطح بالا، بر به‌روزرسانی توسعه‌دهنده سیستم در استفاده از ابزارهای لازم برای تمرین روزانه تأکید دارد. · یک متن عملی و به سبک آموزشی (کتابهای دیگر در مورد این موضوع فقط به صورت تئوری درباره ابزارها و فرمالیسم ها بحث می کنند) ? · شامل یک نمونه مطالعه موردی طبقه بندی نشده از پروژه دفاع موشکی ایالات متحده است؟ · CD-ROM همراه شامل کد منبع و قابل استفاده مجدد است. الگوهای استیتچارت