Communicating sequential processes
Communicating sequential processes
Essays in computing science
Predicate calculus and program semantics
Predicate calculus and program semantics
Process algebra arguments about an object-based design notation
A classical mind
Accommodating interference in the formal design of concurrent object-based programs
Formal Methods in System Design
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
The global-yet-personal information system
Computing tomorrow
Theory and Practice of Object Systems - Special issue on foundations of object-oriented languages
Proof, language, and interaction
Fail-stop processors: an approach to designing fault-tolerant computing systems
ACM Transactions on Computer Systems (TOCS)
An axiomatic basis for computer programming
Communications of the ACM
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
Logic and Specifiction: Extending VDM-SL for Advanced Formal Specification
Logic and Specifiction: Extending VDM-SL for Advanced Formal Specification
Communication and Concurrency
A Discipline of Programming
Data Refinement: Model-Oriented Proof Methods and Their Comparison
Data Refinement: Model-Oriented Proof Methods and Their Comparison
Hybrid Systems
Some thoughts on proving clean termination of programs.
Some thoughts on proving clean termination of programs.
Source language debugging tools.
Source language debugging tools.
Axiomatic proof techniques for parallel programs.
Axiomatic proof techniques for parallel programs.
Systematic parallel programming (formal program development)
Systematic parallel programming (formal program development)
Hi-index | 0.00 |
This paper argues that "formal methods" can (continue to) provide the thinking tools for the future of computing science. Every significant engineering or scientific discipline has advanced only with systematic and formally based notations. To see just how ubiquitous the need for notation is, one can look beyond the sciences and observe the importance of written notation in the development of music. Map making is another area where the importance of notation and the understanding of the need for (levels of) abstraction is recognised. Formal methods provide notations to navigate the future of computing science.