VDM Europe

Keyphrases

Publications

1990

Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel
Type Checking BSI/VDM-SL. VDM Europe (1990)
Peter Haastrup, Christian Gram
Correctness in the Small. VDM Europe (1990)
Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski
Recursive Definitions Revisited. VDM Europe (1990)
Debora Weber-Wulff
A Buffering System Implementation using VDM. VDM Europe (1990)
Steve King
Z and the Refinement Calculus. VDM Europe (1990)
Danny B. Lange
A Formal Approach to Hypertext using Post-Prototype Formal Specification. VDM Europe (1990)
Jørgen Steensgaard-Madsen
Adding Abstract Datatypes to Meta-IV. VDM Europe (1990)
M. J. van Diepen, Kees M. van Hee
A Formal Semantics for Z and the Link between Z and the Relational Algebra. VDM Europe (1990)
Patrice Chalin, Peter Grogono
Z Specification of an Object Manager. VDM Europe (1990)
Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens
Two Approaches towards the Formalisation of VDM. VDM Europe (1990)
Job Zwiers
Refining Data to Processes. VDM Europe (1990)
J. Michael Spivey, Bernard Sufrin
Type Inference in Z. VDM Europe (1990)
Anthony Hall
Using Z as a Specification Calculus for Object-Oriented Systems. VDM Europe (1990)
John S. Fitzgerald, Cliff B. Jones
Modularizing the Formal Description of a Database System. VDM Europe (1990)
D. Kato, T. Kikuchi, R. Nakajima, J. Sawada, H. Tsuiki
Modal Logic Programming. VDM Europe (1990)
Augusto Sampaio, Silvio Romero de Lemos Meira
Modular Extensions to Z. VDM Europe (1990)
Uwe Schmidt, Hans-Martin Hörcher
Programming with VDM Domains. VDM Europe (1990)
Andrzej Blikle, Mikkel Thorup
On Conservative Extensions of Syntax in the Process of System Development. VDM Europe (1990)
Raffaele di Giovanni, Pier Luigi Iachini
HOOD and Z for the Development of Complex Software Systems. VDM Europe (1990)
Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski
Towards the Semantics of the Definitional Language of MetaSoft. VDM Europe (1990)
Jim Woodcock, Carroll Morgan
Refinement of State-Based Concurrent Systems. VDM Europe (1990)
Ole-Johan Dahl
Object Orientation and Formal Techniques. VDM Europe (1990)
Andrzej Tarlecki, Morten Wieth
A Naive Domain Universe for VDM. VDM Europe (1990)
Joseph A. Goguen
An Algebraic Approach to Refinement. VDM Europe (1990)
David Garlan, Norman M. Delisle
Formal Specifications as Reusable Frameworks. VDM Europe (1990)
David J. Duke, Roger Duke
Towards a Semantics for Object-Z. VDM Europe (1990)
Reinhard Gotzhein
Specifying Open Distributed Systems with Z. VDM Europe (1990)

volume 428, 1990

VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings VDM Europe 428 (1990)

1988

volume 328, 1988

VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings VDM Europe 328 (1988)