دانلود کتاب Modelling Systems: Practical Tools and Techniques in Software Development
36,000 تومان
سیستم های مدل سازی: ابزارها و تکنیک های عملی در توسعه نرم افزار
| نوع کالا | کتاب الکترونیکی |
|---|---|
| تعداد صفحه | 304 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 0521899117,9780521899116 |
| نوبت چاپ | 2 |
| نویسنده | , |
|---|---|
| زبان |
انگلیسی |
| فرمت |
|
| سال انتشار |
2009 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
سیستم های مدل سازی: ابزارها و تکنیک های عملی در توسعه نرم افزار
چگونه می توانیم مطمئن شویم که نرم افزاری که می سازیم همان کاری را که قرار است انجام می دهد؟ این کتاب بینشی از تکنیک‌های تثبیت شده ارائه می‌کند که به توسعه‌دهندگان کمک می‌کند تا با ساختن مدل‌هایی از سیستم‌های نرم‌افزاری در مراحل اولیه طراحی، بر پیچیدگی توسعه نرم‌افزار غلبه کنند. این روش از یکی از روش‌های رسمی پیشرو، 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.
برای فرستادن دیدگاه، باید وارد شده باشید.
محصولات مرتبط
دانلود کتاب Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings
| نوع کالا | کتاب الکترونیکی |
|---|---|
| ناشر | Springer International Publishing |
| تعداد صفحه | 445 |
| حجم فایل | 15.80 مگابایت |
| کد کتاب | 3540784780 , 9783540784784 |
| نوبت چاپ | اولین ویرایش |
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.