skip to Main Content
ارزیابی مقایسه‌ای زبان‌های Z، CSP، Rsl و Vdm

ارزیابی مقایسه‌ای زبان‌های Z، CSP، rsl و vdm

عنوان انگلیسی: A comparative evaluation of the Z, CSP, RSL, and V
سال نشر: ۲۰۰۹
نویسنده: Mohammad Reza Nami,Fatemeh Hassani
تعداد صفحه فارسی: ۸ – تعداد صفحه انگلیسی: ۴
دانشگاه: Islamic Azad University-Qazvin Branch, Qazvin, Iran,
نشریه: Process Safety and Environmental Protection
کیفیت ترجمه: اقتصادی

چکیده

فرآیند مهندسی نرم‌افزار در راه های فراوانی توضیح داده شده است.امروزه، تعداد کمی از آن‌ها به طور خاص با استفاده از روش های رسمی در مهندسی نرم افزار سروکار دارند.مهندسی نرم‌افزار جدید از زبان های مشخصات رسمی در تجزیه و تحلیل سیستمی، تجزیه و تحلیل های الزامات و طراحی سیستم برای توسعه نرم افزار برای سیستم های امنیتی مهم استفاده می کند.زبان های مشخصات رسمی سیستم را در سطوح بالاتری نسبت به زبان های برنامه نویسی تعریف می کنند.آن ها به صورت مدل محول، سازنده، جبری، مدل پردازش، هیبرید(دوگانه) و منطقی دسته بندی می شوند. این مقاله خواص و انواع زبان های مشخصات رسمی در مهندسی نرم افزار را تعریف می کند. همچنین بعد به مقایسه ی زبان های مشخصات رسمی Z, VDM, RSL, و CSP از نقطه نظر های متفاوت می پردازد.

Abstract

The software engineering process has been described in many ways. Today, few of these deal specifically with the use of formal methods in software engineering. New software engineering uses formal specification languages in system analysis, requirement analysis, and system design to develop software for critical-safety systems. Formal specification languages describe the system at a much higher level than a programming language. They are catego-rized into model-oriented, constructive, algebraic, process model, hybrid, and logical. This paper describes the properties and types of formal specification languages in software engineering. It then compares the Z, VDM, RSL, and CSP formal specification lan-guages from different point of views.

۶۰,۰۰۰ ریال – خرید
امتیاز شما:
(No Ratings Yet)
Back To Top