دانلود کتاب Constructing Correct Software
49,000 تومان
ساختن نرم افزار صحیح
| موضوع اصلی | برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 515 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 0521624029,9783540761563 |
| نوبت چاپ | 2ed. |
| نویسنده | John Cooke |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2005 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
ساختن نرم افزار صحیح
ساختن نرم افزار صحیح – مبانی رویکرد سازنده برای توسعه نرم افزار را نشان می دهد و توضیح می دهد. این رویکرد شامل محاسبه یک پاسخ از بیانیه اولیه الزامات یا مشخصات، به جای “حدس زدن” یک پاسخ و سپس آزمایش اینکه آیا واقعا کار می کند یا خیر، می شود. این نظریه از همان تئوری اساسی مانند تکنیکهای سنتی استفاده میکند، اما بسیار سریعتر و آسانتر است زیرا «پاسخهای اشتباه» به دست نمیآید، و بنابراین هیچ کار نادرستی لازم نیست کنار گذاشته شود. جان کوک این کتاب را بر اساس مطالبی که برای آموزش گسترده این موضوع در دانشگاه لافبورو استفاده شده است، نوشته است. این به دقت نوشته شده است تا برای هر کسی که دانش پایه ای مناسب از روش های رسمی را دارد در دسترس باشد. این برای دانشجویان سال سوم/چهارم کارشناسی و کارشناسی ارشد در روشهای رسمی و دورههای مهندسی نرمافزار و توسعهدهندگان نرمافزار در صنعت که به رویکردی عملگرایانهتر و در عین حال کاملاً رسمیتر برای توسعه نرمافزار نیاز دارند، در نظر گرفته شده است.
Constructing Correct Software – The Basics illustrates and explains the constructive approach to software development. This approach involves calculating an answer from the initial statement of requirements or specification, rather than “guessing” an answer and then testing whether it actually works. It uses the same basic theory as traditional techniques, but is much quicker and easier as no “wrong answers” are obtained, and therefore no incorrect work needs to be discarded. John Cooke has based this book on material which has been used to teach the topic extensively at Loughborough University. It has been carefully written to be accessible to anyone with an appropriate basic background knowledge of formal methods. It is intended for 3rd/4th year undergraduate and postgraduate students on formal methods and software engineering courses, and software developers in industry who need a more pragmatic, yet fully formal, approach to software development.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.