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

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

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.