دانلود کتاب Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers
49,000 تومان
روشهای رسمی و آزمایش: نتیجهای از شبکه FOREST، مقالات منتخب اصلاح شده
| موضوع اصلی | شبکه سازی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 367 |
| حجم فایل | 8 مگابایت |
| کد کتاب | 3540789162,9783540789161 |
| نوبت چاپ | 1 |
| نویسنده | Jan Tretmans (auth.), Jonathan P. Bowen, Mark Harman (eds.), Robert M. Hierons |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2008 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
روشهای رسمی و آزمایش: نتیجهای از شبکه FOREST، مقالات منتخب اصلاح شده
این کتاب نتایج کاملاً داوری شده و بررسی شده شبکه روشهای رسمی و آزمایش (FORTEST) را تشکیل میدهد – که به عنوان شبکهای تشکیل شده است که تحت بودجه EPSRC بریتانیا ایجاد شده و روابط بین روشهای رسمی (و نیمه رسمی) را بررسی میکند. و تست نرم افزار – اکنون یک گروه موضوعی از دو گروه مورد علاقه ویژه BCS است: جنبه های رسمی علوم محاسباتی (BCS FACS) و گروه علاقه ویژه در تست نرم افزار (BCS SIGIST).
هر یک از 12 فصل در این کتاب روشی را توصیف میکند که در آن مطالعه روشهای رسمی و تست نرمافزار را میتوان به نحوی ترکیب کرد که مزایای روشهای رسمی (مانند دقت، وضوح، اثباتپذیری) را با مزایای آزمایش (مانند مقیاسپذیری، عمومیت، کاربردپذیری) به ارمغان آورد. ).
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network – formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing – now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST).
Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability).
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.