ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

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

دانلود کتاب مدلسازی و تأیید با استفاده از نمودارهای وضعیت UML: راهنمای کاری برای طراحی سیستم واکنشی، نظارت بر زمان اجرا و بررسی مدل مبتنی بر اجرا

Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

مشخصات کتاب

Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

دسته بندی: برنامه نویسی: زبانهای مدل سازی
ویرایش: 1 
نویسندگان:   
سری:  
ISBN (شابک) : 0750679492, 9780750679497 
ناشر: Newnes 
سال نشر: 2006 
تعداد صفحات: 321 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 مگابایت

قیمت کتاب (تومان) : 50,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 11


در صورت تبدیل فایل کتاب Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مدلسازی و تأیید با استفاده از نمودارهای وضعیت UML: راهنمای کاری برای طراحی سیستم واکنشی، نظارت بر زمان اجرا و بررسی مدل مبتنی بر اجرا نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مدلسازی و تأیید با استفاده از نمودارهای وضعیت UML: راهنمای کاری برای طراحی سیستم واکنشی، نظارت بر زمان اجرا و بررسی مدل مبتنی بر اجرا

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


توضیحاتی درمورد کتاب به خارجی

As systems being developed by industry and government grow larger and more complex, the need for superior specification and verification approaches and tools becomes increasingly vital. The developer and customer must have complete confidence that the design produced is correct, and that it meets forma development and verification standards. In this text, UML expert author Dr. Doron Drusinsky compiles all the latest information on the application of UML (Universal Modeling Language) statecharts, temporal logic, automata, and other advanced tools for run-time monitoring and verification. This is the first book that deals specifically with UML verification techniques. This important information is introduced within the context of real-life examples and solutions, particularly focusing on national defense applications. A practical text, as opposed to a high-level theoretical one, it emphasizes getting the system developer up-to-speed on using the tools necessary for daily practice. ?· A practical, tutorial-style text (other books on this topic discuss the tools and formalisms only theoretically) ?· Includes an unclassified case study example from the U.S. Missile Defense project ?·Accompanying CD-ROM includes source code and re-useable statechart templates





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی