A comparative introduction to CSP and ACT-ONE formal languages
Abstract
References
Index Terms
- A comparative introduction to CSP and ACT-ONE formal languages
Recommendations
A comparative evaluation of the Z, CSP, RSL, and VDM languages
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 ...
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of ...
A comparative study of two formal specification languages: Z-notation & B-method
CCSEIT '12: Proceedings of the Second International Conference on Computational Science, Engineering and Information TechnologyFormal methods are mathematical techniques, which allowa software developer to develop a computer system that ismore complete, consistent and unambiguous. They provide a mathematical structure within which, a systematic manner is used to specify, ...
Comments
Information & Contributors
Information
Published In

Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 9Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in