{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:34:48Z","timestamp":1750307688953,"version":"3.41.0"},"reference-count":15,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2009,5,30]],"date-time":"2009-05-30T00:00:00Z","timestamp":1243641600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2009,5,30]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1145\/1527202.1527211","type":"journal-article","created":{"date-parts":[[2009,6,2]],"date-time":"2009-06-02T14:51:08Z","timestamp":1243954268000},"page":"1-4","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A comparative evaluation of the Z, CSP, RSL, and VDM languages"],"prefix":"10.1145","volume":"34","author":[{"given":"Mohammad Reza","family":"Nami","sequence":"first","affiliation":[{"name":"Islamic Azad University-Qazvin Branch, Qazvin, Iran"}]},{"given":"Fatemeh","family":"Hassani","sequence":"additional","affiliation":[{"name":"Islamic Azad University-Qazvin Branch, Qazvin, Iran"}]}],"member":"320","published-online":{"date-parts":[[2009,5,30]]},"reference":[{"volume-title":"Presented at the Role of Computers in LaRC","year":"1994","author":"Holloway C. Michael","key":"e_1_2_1_1_1"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.506463"},{"volume-title":"Springer","year":"2006","author":"Bjorner D.","key":"e_1_2_1_3_1"},{"volume-title":"Springer","year":"2006","author":"Bjorner D.","key":"e_1_2_1_4_1"},{"volume-title":"Andre A. S. Danthine, Guy Leduc, and Pierre Wolper, editors, Proc. Protocol Specification, Testing and Verification XIII, pp\/ 357--380","year":"1993","author":"Turner K. J.","key":"e_1_2_1_5_1"},{"key":"e_1_2_1_6_1","first-page":"1","volume-title":"Lecture Notes in Computer Science","author":"Bjorner D.","year":"2000"},{"key":"e_1_2_1_7_1","first-page":"1","volume-title":"In Eckehard Schnieder, editor, 9th IFAC Symposium on Control in Transportation Systems","author":"Bjorner D.","year":"2000"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018983515535"},{"volume-title":"Prentice Hall","year":"1990","author":"Jones C. B.","key":"e_1_2_1_9_1"},{"volume-title":"Prentice Hall","year":"1996","author":"Davies J.","key":"e_1_2_1_10_1"},{"volume-title":"Proceedings of the 2nd Workshop on Abstract Data Type (ADT)","year":"1983","author":"Ehrig H.","key":"e_1_2_1_11_1"},{"volume-title":"Prentice Hall, NJ.","year":"1985","author":"Hoare C. A. R.","key":"e_1_2_1_12_1"},{"volume-title":"Prentice Hall","year":"1995","author":"The RAISE Method Group","key":"e_1_2_1_13_1"},{"key":"e_1_2_1_14_1","unstructured":"J. Storbank Pedersen RAISE Frequently Asked Questions Available at http:\/\/spdweb.terma.com\/Projects\/RAISE\/faq.html.  J. Storbank Pedersen RAISE Frequently Asked Questions Available at http:\/\/spdweb.terma.com\/Projects\/RAISE\/faq.html."},{"key":"e_1_2_1_15_1","unstructured":"R. Milner Communication and Concurrency Prentice-Hall 1989.   R. Milner Communication and Concurrency Prentice-Hall 1989."}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1527202.1527211","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1527202.1527211","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:52Z","timestamp":1750253392000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1527202.1527211"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5,30]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,5,30]]}},"alternative-id":["10.1145\/1527202.1527211"],"URL":"https:\/\/doi.org\/10.1145\/1527202.1527211","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2009,5,30]]},"assertion":[{"value":"2009-05-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}