کتاب الکترونیکی

راهنمای مرجع VDM-SL

The VDM-SL Reference Guide

دانلود کتاب The VDM-SL Reference Guide (به فارسی: راهنمای مرجع VDM-SL) نوشته شده توسط «John Dawes»

اطلاعات کتاب راهنمای مرجع VDM-SL

موضوع اصلی: 1

نوع: کتاب الکترونیکی

ناشر: CRC Press

نویسنده: John Dawes

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1991

تعداد صفحه: 200

حجم کتاب: 1 مگابایت

کد کتاب: 0-273-03151-1 , 0-580-12530-0 , 9780273031512

نوبت چاپ: 1

توضیحات کتاب راهنمای مرجع VDM-SL

خوانندگان فقط از برنامه نویسان تشکیل نمی شوند. همچنین برای طراحان سیستم، مشتریانی که مایل به مشخص کردن نیازهای خود هستند، برای ارزیابان سیستم ها، و برای مدرسان و دانشجویان مهندسی نرم افزار جذاب خواهد بود. به طور خلاصه، هر کسی که می خواهد مشخصات VDM را با درک بخواند. دوره های سال 2/3 علوم کامپیوتر، به ویژه مهندسی نرم افزار. این کتاب به عنوان اولین کتاب در مورد استاندارد جدید BSI/ISO برای VDM پیش بینی می شود، نویسنده دبیر کمیته BSI است و VD در عمل روش رسمی اروپایی پیشرو است. استفاده از روش‌های رسمی مشخصات و طراحی سیستم (یعنی روش‌های مبتنی بر اصول ریاضی) از حوزه‌های تخصصی با قابلیت اطمینان بسیار بالا (سیستم‌های امنیتی و حیاتی) در حال گسترش است، زیرا مزایای مشخصات بدون ابهام و طراحی قابل تأیید در حال تبدیل شدن است. بیشتر و بیشتر مورد استقبال قرار می گیرد. این افزایش استفاده با رشد زیرساخت ابزارهای مبتنی بر رایانه، کتاب ها، دوره ها، کنفرانس ها و تلاش های استانداردسازی همراه است. روش توسعه وین یک روش رسمی برای تعیین مشخصات و طراحی سیستم ها است. این در آزمایشگاه IBM وین ابداع شد. این روش رسمی پیشرو با هدف عمومی در اروپا است – تنها رقیب جدی آن Z از گروه تحقیقاتی برنامه نویسی در آکسفورد است. این کتاب یک مرجع جامع و قابل دسترس به ویژگی‌ها، روش‌شناسی و کاربرد استاندارد BSI/ISO برای VDM است.

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.

دانلود کتاب «راهنمای مرجع VDM-SL»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان