Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
Algorithmic Specifications of Abstract Data Types
Proceedings of the 8th Colloquium on Automata, Languages and Programming
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
A Kernel Language for Algebraic Specification and Implementation - Extended Abstract
Proceedings of the 1983 International FCT-Conference on Fundamentals of Computation Theory
Thoughts on the software process
ACM SIGSOFT Software Engineering Notes
Some philosophic foundations for an environment for system building
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
Towards a Proof-Theoretic Foundation for Actor Specification and Verification
Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents
On what exactly goes on when software is developed step-by-step, II: the sequel
Information Processing Letters - Special issue: Contribution to computing science
Proof-theoretic foundations for the design of actor systems
Mathematical Structures in Computer Science
| Hi-index | 0.00 |
In this paper we present a (necessarily) informal and brief description of formal concepts which lend mathematical support to a paradigm of software development. Some important obligations which must be met by the software developers are pointed out. Correspondences between widely adhered to practices and their mathematical counterparts are identified and explained.