VDM '88. VDM - The Way Ahead 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings / edited by Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones.
This volume presents the proceedings of the 2nd VDM-Europe Symposium held in Dublin, Ireland, September 12-16, 1988. VDM, the Vienna Development Method, is a formal method for software engineering. It is being applied to an increasing number of projects by companies throughout Europe and there is an...
Full description
Saved in: