Systematic software development using VDM
Systematic software development using VDM
Software development: fashioning the baroque
Software development: fashioning the baroque
An introduction to discrete mathematics and formal system specification
An introduction to discrete mathematics and formal system specification
Case studies in systematic software development
Case studies in systematic software development
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
A Discipline of Programming
Introduction to VDM
A Method of Programming
The Specification of Complex Systems
The Specification of Complex Systems
Practical Formal Methods with VDM
Practical Formal Methods with VDM
Hi-index | 0.00 |
Mathematics as a tool for system specification and design has been around for approximately 25 years. Its slow take-up is due to the perceived difficulty of the ideas and their application. Mathematics as a tool for system design and specification has two major advantages. The first is the ability to write down abstract models of a system that will provide a better understanding. The second is to provide a development method that will produce correct code from a specification. The first of these activities is addressed in this paper-several models of a system are built, each either providing a more abstract view or addressing a difficulty found in the English specification.