Communicating sequential processes
Communicating sequential processes
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Communication and Concurrency
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
An Engineering Approach to Formal Methods
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
Hi-index | 0.00 |
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.