ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Modelling Systems: Practical Tools and Techniques in Software Development

دانلود کتاب سیستم های مدلسازی: ابزارها و فنون عملی در توسعه نرم افزار

Modelling Systems: Practical Tools and Techniques in Software Development

مشخصات کتاب

Modelling Systems: Practical Tools and Techniques in Software Development

ویرایش: 2 
نویسندگان:   
سری:  
ISBN (شابک) : 0521899117, 9780521899116 
ناشر:  
سال نشر: 2009 
تعداد صفحات: 305 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

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



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

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


در صورت تبدیل فایل کتاب Modelling Systems: Practical Tools and Techniques in Software Development به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سیستم های مدلسازی: ابزارها و فنون عملی در توسعه نرم افزار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب سیستم های مدلسازی: ابزارها و فنون عملی در توسعه نرم افزار

چگونه می توانیم مطمئن شویم که نرم افزاری که می سازیم همان کاری را که قرار است انجام می دهد؟ این کتاب بینشی از تکنیک‌های تثبیت شده ارائه می‌کند که به توسعه‌دهندگان کمک می‌کند تا با ساختن مدل‌هایی از سیستم‌های نرم‌افزاری در مراحل اولیه طراحی، بر پیچیدگی توسعه نرم‌افزار غلبه کنند. این روش از یکی از روش‌های رسمی پیشرو، VDM (روش توسعه وین) استفاده می‌کند و آموزش در فرمالیسم را با پشتیبانی از ابزارهای قدرتمند صنعتی و نمونه‌هایی که از کاربردهای صنعتی واقعی مشتق شده‌اند، ترکیب می‌کند. اصولی که در اینجا آموزش داده می شود برای بسیاری از روش های رسمی نسل فعلی نیز اعمال می شود. این نسخه دوم به‌روزرسانی شده است تا شامل پشتیبانی از ابزار آنلاین پیشرفته برای مدل‌سازی رسمی و همچنین گزارش‌های به‌روز در مورد برنامه‌های تجاری واقعی در حوزه‌های متنوعی مانند سیستم‌های اطلاعات تجاری و طراحی سیستم‌افزار باشد.


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

How can we make sure that the software we build does what it is supposed to? This book provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages. It uses one of the leading formal methods, VDM (Vienna Development Method), and combines training in the formalism with industry-strength tool support and examples derived from real industrial applications. The principles taught here also apply to many of the current generation of formal methods. This second edition has been updated to include advanced online tool support for formal modeling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.





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