default search action
3rd VDM Europe 1990: Kiel, Germany
- Dines Bjørner, C. A. R. Hoare, Hans Langmaack:
VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings. Lecture Notes in Computer Science 428, Springer 1990, ISBN 3-540-52513-0
Invited Talks
- Ole-Johan Dahl:
Object Orientation and Formal Techniques. 1-11 - Joseph A. Goguen:
An Algebraic Approach to Refinement. 12-28 - D. Kato, T. Kikuchi, R. Nakajima, J. Sawada, H. Tsuiki:
Modal Logic Programming. 29-40
Applications
- Patrice Chalin, Peter Grogono:
Z Specification of an Object Manager. 41-71 - Peter Haastrup, Christian Gram:
Correctness in the Small. 72-98 - Danny B. Lange:
A Formal Approach to Hypertext using Post-Prototype Formal Specification. 99-121 - Uwe Schmidt, Hans-Martin Hörcher:
Programming with VDM Domains. 122-134 - Debora Weber-Wulff
:
A Buffering System Implementation using VDM. 135-149
Specification Methodology
- David Garlan, Norman M. Delisle:
Formal Specifications as Reusable Frameworks. 150-163
Design Methodology
- Steve King:
Z and the Refinement Calculus. 164-188
Modularity
- John S. Fitzgerald
Modularizing the Formal Description of a Database System. 189-210 - Augusto Sampaio, Silvio Romero de Lemos Meira:
Modular Extensions to Z. 211-232 - Jørgen Steensgaard-Madsen:
Adding Abstract Datatypes to Meta-IV. 233-243
Object Orientedness
- David J. Duke, Roger Duke:
Towards a Semantics for Object-Z. 244-261 - Raffaele di Giovanni, Pier Luigi Iachini:
HOOD and Z for the Development of Complex Software Systems. 262-289 - Anthony Hall:
Using Z as a Specification Calculus for Object-Oriented Systems. 290-318
Processes, Concurrency and Distributed Systems
- Reinhard Gotzhein:
Specifying Open Distributed Systems with Z. 319-339 - Jim Woodcock
Refinement of State-Based Concurrent Systems. 340-351 - Job Zwiers:
Refining Data to Processes. 352-369
Formalisations
- Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens
Two Approaches towards the Formalisation of VDM. 370-398
Type Systems
- Nico Plat
Type Checking BSI/VDM-SL. 399-425 - J. Michael Spivey, Bernard Sufrin:
Type Inference in Z. 426-451
Foundations
- Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski
Recursive Definitions Revisited. 452-476 - Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Wieslaw Pawlowski
Towards the Semantics of the Definitional Language of MetaSoft. 471-503 - Andrzej Blikle, Mikkel Thorup:
On Conservative Extensions of Syntax in the Process of System Development. 504-525 - M. J. van Diepen, Kees M. van Hee:
A Formal Semantics for Z and the Link between Z and the Relational Algebra. 526-551 - Andrzej Tarlecki
A Naive Domain Universe for VDM. 552-579
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-27 20:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: