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

منطق و مشخصات: گسترش VDM-SL برای مشخصات رسمی پیشرفته

Logic and specification: extending VDM-SL for advanced formal specification

دانلود کتاب Logic and specification: extending VDM-SL for advanced formal specification (به فارسی: منطق و مشخصات: گسترش VDM-SL برای مشخصات رسمی پیشرفته) نوشته شده توسط «Cornelis A. Middelburg»

اطلاعات کتاب منطق و مشخصات: گسترش VDM-SL برای مشخصات رسمی پیشرفته

موضوع اصلی: منطق

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

ناشر: Chapman & Hall

نویسنده: Cornelis A. Middelburg

زبان: English

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

سال انتشار: 1993

تعداد صفحه: 412

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

کد کتاب: 0412486806 , 9780412486807

نوبت چاپ: 1st English Language Ed

توضیحات کتاب منطق و مشخصات: گسترش VDM-SL برای مشخصات رسمی پیشرفته

نویسنده شرحی از مشخصات رسمی در یک محیط صنعتی ارائه می دهد. این جلد رویکرد خاصی به معناشناسی زبان‌های مشخصات دارد: درک این که معنای مشخصات را می‌توان به عنوان ارائه نظریه‌های منطقی در نظر گرفت، برای آن رویکرد اساسی است. توسعه زبان مشخصات VDM-SL معرفی شده و معنای رسمی VVSL ارائه شده است. استفاده عملی از این زبان بیشتر توسط دو مطالعه موردی دقیق نشان داده می‌شود که تصویری جامع از رویکرد رابطه‌ای به پایگاه‌های داده ارائه می‌دهد و خواندن ضروری برای کسانی است که از مشخصات رسمی در توسعه نرم‌افزار استفاده می‌کنند.

The author provides an account of formal specification in an industrial setting. The volume takes a particular approach to the semantics of specification languages: the understanding that the meaning of specifications can be taken as presentations of logical theories is fundamental to that approach. An extension of the specification language VDM-SL is introduced and the formal semantics of VVSL are presented. The practical use of this language is further demonstrated by two detailed case studies which provide a comprehensive picture of the relational approach to databases and are essential reading for those employing formal specifications in software development.

دانلود کتاب «منطق و مشخصات: گسترش VDM-SL برای مشخصات رسمی پیشرفته»

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