دانلود کتاب The VDM-SL Reference Guide
49,000 تومان
راهنمای مرجع VDM-SL
| نوع کالا | کتاب الکترونیکی |
|---|---|
| ناشر | CRC Press |
| تعداد صفحه | 200 |
| حجم فایل | 122 کیلوبایت |
| کد کتاب | 0273031511,0580125300,9780273031512 |
| نوبت چاپ | 1 |
| نویسنده | John Dawes |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 1991 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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-SL
خوانندگان فقط از برنامه نویسان تشکیل نمی شوند. همچنین برای طراحان سیستم، مشتریانی که مایل به مشخص کردن نیازهای خود هستند، برای ارزیابان سیستم ها، و برای مدرسان و دانشجویان مهندسی نرم افزار جذاب خواهد بود. به طور خلاصه، هر کسی که می خواهد مشخصات VDM را با درک بخواند. دوره های سال 2/3 علوم کامپیوتر، به ویژه مهندسی نرم افزار. این کتاب به عنوان اولین کتاب در مورد استاندارد جدید BSI/ISO برای VDM پیش بینی می شود، نویسنده دبیر کمیته BSI است و VD در عمل روش رسمی اروپایی پیشرو است. استفاده از روشهای رسمی مشخصات و طراحی سیستم (یعنی روشهای مبتنی بر اصول ریاضی) از حوزههای تخصصی با قابلیت اطمینان بسیار بالا (سیستمهای امنیتی و حیاتی) در حال گسترش است، زیرا مزایای مشخصات بدون ابهام و طراحی قابل تأیید در حال تبدیل شدن است. بیشتر و بیشتر مورد استقبال قرار می گیرد. این افزایش استفاده با رشد زیرساخت ابزارهای مبتنی بر رایانه، کتاب ها، دوره ها، کنفرانس ها و تلاش های استانداردسازی همراه است. روش توسعه وین یک روش رسمی برای تعیین مشخصات و طراحی سیستم ها است. این در آزمایشگاه IBM وین ابداع شد. این روش رسمی پیشرو با هدف عمومی در اروپا است – تنها رقیب جدی آن Z از گروه تحقیقاتی برنامه نویسی در آکسفورد است. این کتاب یک مرجع جامع و قابل دسترس به ویژگیها، روششناسی و کاربرد استاندارد BSI/ISO برای VDM است.
The VDM-SL Reference Guide
The readership will not just consist of programmers. It will also appeal to system designers, to customers wishing to specify their requirements, to evaluators of systems, and to lecturers and software engineering students. In short, anyone who wants to read a VDM specification with understanding. 2nd/3rd year computer science courses, particularly software engineering. It is anticipated as the first book on the new BSI/ISO standard for VDM, the author is secretary to BSI committee and the VD is the leading European formal method in practice. The use of formal methods of system specification and design, (ie methods based on mathematical principles) is spreading out from the specialised areas of extremely high reliability (security and life-critical systems), as the advantages of unambiguous specification and verifiable design are becoming more and more widely appreciated. This increased use is paralleled by the growth of the infrastructure of computer-based tools, books, courses, conferences, and standardisation efforts. The Vienna Development Method is a formal method for the specification and design of systems. It was devised in the IBM Vienna laboratory. It is the leading general purpose formal method in Europe – its only serious rival is Z from the programming research group at Oxford. This book forms a comprehensive and accessible reference to the features, methodology and application of the BSI/ISO standard for VDM.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.