دانلود کتاب Formal Foundations for Software Engineering Methods
49,000 تومان
مبانی رسمی برای روش های مهندسی نرم افزار
| موضوع اصلی | برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 293 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 3540636137,9783540636137 |
| نوبت چاپ | 1 |
| نویسنده | Heinrich Hußmann (eds.) |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1997 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
مبانی رسمی برای روش های مهندسی نرم افزار
در این کتاب، هاسمن پلی بین روشهای عملگرایانه برای طراحی سیستمهای اطلاعاتی و پسزمینه رسمی و ریاضی ایجاد میکند. در ابتدا، امکان سنجی اصلی ادغام روش های مختلف نشان داده شده است. در مرحله دوم، فرمالیسم به عنوان یک تحلیل معنایی سیستماتیک از مفاهیم در SSADM، یک روش استاندارد مهندسی نرمافزار ساختاریافته بریتانیایی استفاده میشود. ثالثا، راهی برای به دست آوردن مشخصات ترکیبی رسمی-عملی با استفاده از ترکیبی از نمادهای SSADM و مشخصات رسمی (SPECTRUM) نشان داده شده است. این کتاب به خوبی نوشته شده، دانشمندان و مهندسان نرم افزار را تشویق می کند تا روش های رسمی را برای مشکلات توسعه نرم افزار عملی به کار گیرند.
In this book, Hussmann builds a bridge between the pragmatic methods for the design of information systems and the formal, mathematical background. Firstly, the principal feasibility of an integration of the different methods is demonstrated. Secondly, the formalism is used as a systematic semantic analysis of the concepts in SSADM, a British standard structured software engineering method. Thirdly, a way of obtaining a hybrid formal-pragmatic specification using a combination of SSADM notations and formal (SPECTRUM) specifications is shown. This well-written book encourages scientists and software engineers to apply formal methods to practical software development problems.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.