VDM '88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings
Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones
Springer Berlin Heidelberg, Aug 30, 1988 - Computers - 504 pages
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 active international research programme supporting this process. "VDM - The Way Ahead" is the second of a series of symposia sponsored by the Commission of the European Communities (CEC) and organised by VDM-Europe. The term "formal method" refers to mathematically formal software specification and production methods. These methods aim to increase the quality of software in two related ways: by improving the specification and by making verification during the software production process more effective and easier to audit. The symposium proceedings focus on five areas of interest: education and technology transfer, experience and use of VDM, tools and support environments, method development and foundation at work, the standardisation of VDM. The proceedings are of interest to all those concerned with the application of more rigorous approaches to software development and the associated theoretical foundations.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
abstract data types abstract syntax algebraic domain equations algorithm application Atom axioms Blikle Bool Boolean Boolerr calculus Chinese character class description Comp components Computer Science constructors constructs corresponding data types database defined denote document elements environment evaluation example execution Expref Expstore formal definition formal methods formal specification formulas FRIPSE function implementation instantiated interface Jones kernel lemma logic META-IV METAFONT Modula-2 morphisms Muffin names natural deduction notation NUSL objects operation parameter passing parameterised module PCTE post-condition pre-condition predicate problem Problemref Problemstore process-id programming language proof obligations Proofstore prove RAISE Specification Language recursive recursive types refinement relation s(st semantics sequence software development stack Standard ML statement structure editor Subseqstore syntactic Theorem theory three-valued transformation translation type expressions VDM specification language Vienna Development Method VVSL