VDM '88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings, Volume 1

Front Cover
Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones
Springer Science & Business Media, 1988 - Computer science - 499 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.

Contents

Computing is a Physical Science
1
Structuring for the VDM Specification Language
2
Correctness for Beginners
26
Office Documents Architecture an ISO standard
48
TOWARDS A FORMAL DEFINITION OF GKS AND OTHER GRAPHICS STANDARDS
64
Report from the BSI Panel for the Standardisation of VDM IST550
74
FORMAL METHODS IN STANDARDS A REPORT FROM THE BCS WORKING GROUP
79
The B Tool Abstract
86
TEST CASE SELECTION USING VDM
178
The VIP VDM Specification Language
187
SAMPLE A Functional Language
202
A threevalued logic for software specification and validation
218
THREEVALUED PREDICATES FOR SOFTWARE SPECIFICATION AND VALIDATION
243
A Contribution to MetaSoft
267
Mutually Recursive Algebraic Domain Equations
299
Proof rules for VDM statements
318

SPECIFICATION OF AN OPERATING SYSTEM KERNEL FOREST AND VDM COMPARED
88
Compiler Prototyping with VDM and Standard ML
101
VDM Development with Ada as the Target Language
116
AN EXECUTABLE SPECIFICATION LANGUAGE BASED ON DATA ABSTRACTION
124
Requirements and Status
139
THE USE OF VDM WITHIN THE ALVEY FLAGSHIP PROJECT
153
The Formal Definition of Modula2 and Its Associated Interpreter
167
A User Interface Design Experiment for a Theorem Proving Assistant
337
The RAISE Language Method and Tools
376
CORRECTNESS PROOFS FOR META IV WRITTEN CODE GENERATOR SPECIFICATIONS USING TERM REWRITING
406
Experiences from a Real Project
434
Software Support for the Refinement of VDM Specifications
459
The Use of VDM in the Specification of Chinese Characters
476
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information