VDM Europe (1)

Keyphrases

Publications

1991

Reinder J. Bril
A Model-Oriented Method for Algebraic Specification using COLD-1 as Notation. VDM Europe (1) (1991)
Hans Bruun, Bo Stig Hansen, Flemming M. Damm
An Approach to the Static Semantics of VDM-SL. VDM Europe (1) (1991)
Matthias Weber
Deriving Transivity of VDM-Reification in DEVA. VDM Europe (1) (1991)
Robin Milner
Concurrent Processes as Objects (Abstract). VDM Europe (1) (1991)
Chris Dollin
The HP-ST Toolset. VDM Europe (1) (1991)
David M. Goldschlag
A Mechanical Formalization of Several Fairness Notions. VDM Europe (1) (1991)
Morten Elvang-Gøransson
Reasoning about VDM Specifications. VDM Europe (1) (1991)
Ketil Stølen
An Attempt to Reason about Shared-State Concurrency in the Style of VDM. VDM Europe (1) (1991)
Ian Houston
The IBM Z Tool. VDM Europe (1) (1991)
Thierry Cattel
Tactical Tools for Distributing VDM Specifications. VDM Europe (1) (1991)
Dan Craigen, Sentot Kromodimoeljo, Irwin Meisels, Bill Pase, Mark Saaltink
EVES: An Overview. VDM Europe (1) (1991)
Cornelis A. Middelburg, Gerard R. Renardel de Lavalette
- A Logical Comparison of VDM SL and COLD-K. VDM Europe (1) (1991)
Graeme I. P. Parkin, G. O'Neill
Specification of the MAA Standard in VDM. VDM Europe (1) (1991)
Kees M. van Hee, Lou J. Somers, Marc Voorhoeve
Z and High Level Petri Nets. VDM Europe (1) (1991)
A. Puccetti
The Integrated Software Development and Verification System ATES. VDM Europe (1) (1991)
R. D. Arthan
On Formal Specification of a Proof Tool. VDM Europe (1) (1991)
Marek A. Bednarczyk, Andrzej M. Borzyszkowski
CPO's do not form a CPO, and yet Recursion Works. VDM Europe (1) (1991)
Nico Plat, Kees Pronk, Marcel Verhoef
The Delft VDM-SL Front-End. VDM Europe (1) (1991)
Nico Plat, Jan van Katwijk, Kees Pronk
A Case for Structured Analysis/Formal Design. VDM Europe (1) (1991)
Gerard R. Renardel de Lavalette
Formal Development of a Serial Copy Management System. VDM Europe (1) (1991)
David Jordan
CADIZ - Computer Aided Design in Z. VDM Europe (1) (1991)
Marc V. Benveniste
Writing Operational Semantics in Z: A Sructural Approach. VDM Europe (1) (1991)
Christoph Blaue
A VDM Subset Compiler. VDM Europe (1) (1991)
Flemming M. Damm, Hans Bruun, Bo Stig Hansen
The VDM-SL Editor and Consistency Checker. VDM Europe (1) (1991)
Michael J. Butler
Behavioural Extension for CSP. VDM Europe (1) (1991)
Stephen Bear
An Overview of HP-SL. VDM Europe (1) (1991)
Ian Houston, Steve King
CICS Project Report: Experiences and Results from the use of Z in IBM. VDM Europe (1) (1991)
P. McParland, Peter Kilpatrick
A Specification of a Complex Programming Language Statement. VDM Europe (1) (1991)
David A. Penny, Richard C. Holt, Michael W. Godfrey
Formal Specification in Metamorphic Programing. VDM Europe (1) (1991)
Paul Smith, Richard Keighley
The Formal Development of a Secure Transaction Mechanism. VDM Europe (1) (1991)
Veronika Doma, Robin A. Nicholl
EZ: A System for Automatic Prototyping of Z Specifications. VDM Europe (1) (1991)
John V. Guttag
The Larch Approach to Specification (Abstract). VDM Europe (1) (1991)
D. L. Chalmers, Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau
Using RAISE - First Impressions from the LaCoS Applications. VDM Europe (1) (1991)
Michael Jackson
Description is our Business. VDM Europe (1) (1991)
Jeannette M. Wing, Amy Moormann Zaremski
Unintrusive Ways to Integrate Formal Specifications in Practice. VDM Europe (1) (1991)
Klaus-Dieter Schewe, Joachim W. Schmidt, Ingrid Wetzel
Specification and Refinement in an Integrated Database Application Environment. VDM Europe (1) (1991)
Jeremy Dick, Jérôme Loubersac
The Visual Presentation of VDM Specifications. VDM Europe (1) (1991)
Kees M. van Hee, Lou J. Somers, Marc Voorhoeve
The EXSPECT Tool. VDM Europe (1) (1991)
Uwe Schmidt, Hans-Martin Hörcher
The VDM Domain Compiler: A VDM Class Library Generator. VDM Europe (1) (1991)
Juan Bicarregui, Brian Ritchie
Reasoning about VDM Developments using the VDM Support Tool in MURAL. VDM Europe (1) (1991)
Richard C. Moore, Peter K. D. Froome
MURAL and SPECBOX. VDM Europe (1) (1991)
Matthew K. O. Lee, Ib Holm Sørensen
B-Tool. VDM Europe (1) (1991)
Flemming M. Damm, Bo Stig Hansen, Hans Bruun
On Type Checking in VDM and Related Consistency Issues. VDM Europe (1) (1991)
Berthold Hoffmann, Bernd Krieg-Brückner
The PROSPECTRA System. VDM Europe (1) (1991)
Lynn S. Marshall, Linda Simon
Using VDM within an Object-Oriented Framework. VDM Europe (1) (1991)
The RAISE Toolset. VDM Europe (1) (1991)
D. Kinnaes, Karel De Vlaminck
A Debugger for a Meta-IV-like Meta-Language. VDM Europe (1) (1991)
H. B. M. Jonkers
Upgrading the Pre- and Postcondition Technique. VDM Europe (1) (1991)
Pamela Zave, Michael Jackson
Techniques for Partial Specification and Specification of Switching Systems. VDM Europe (1) (1991)

volume 551, 1991

VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions VDM Europe (1) 551 (1991)