Dines Bjørner, Charles Antony Richard Hoare, Hans Langmaack
Proceedings of the Third International Symposium on Vienna Development Method and Z: Formal Methods in Software Development
VDM Europe, 1990.

@proceedings{VDME-1990,
	editor        = "Dines Bjørner and Charles Antony Richard Hoare and Hans Langmaack",
	isbn          = "3-540-52513-0",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Third International Symposium on Vienna Development Method and Z: Formal Methods in Software Development}",
	volume        = 428,
	year          = 1990,
}

Contents (27 items)

5 ×#specification
3 ×#refinement
3 ×#semantics
3 ×#towards
3 ×#using
2 ×#algebra
2 ×#approach
2 ×#calculus
2 ×#development
2 ×#formal method

VDME-1990-Dahl #object-oriented

Object Orientation and Formal Techniques (OJD), pp. 1–11.

VDME-1990-Goguen #algebra #approach #refinement

An Algebraic Approach to Refinement (JAG), pp. 12–28.

VDME-1990-KatoKNST #logic programming

Modal Logic Programming (DK, TK, RN, JS, HT), pp. 29–40.

VDME-1990-ChalinG #specification

Z Specification of an Object Manager (PC, PG), pp. 41–71.

VDME-1990-HaastrupG #correctness #in the small

Correctness in the Small (PH, CG), pp. 72–98.

VDME-1990-Lange #approach #formal method #hypermedia #prototype #specification #using

A Formal Approach to Hypertext using Post-Prototype Formal Specification (DBL), pp. 99–121.

VDME-1990-SchmidtH #programming

Programming with VDM Domains (US, HMH), pp. 122–134.

VDME-1990-Weber-Wulff #implementation #using

A Buffering System Implementation using VDM (DWW), pp. 135–149.

VDME-1990-GarlanD #framework #reuse #specification

Formal Specifications as Reusable Frameworks (DG, NMD), pp. 150–163.

VDME-1990-King #calculus #refinement

Z and the Refinement Calculus (SK), pp. 164–188.

VDME-1990-FitzgeraldJ #database

Modularizing the Formal Description of a Database System (JSF, CBJ), pp. 189–210.

VDME-1990-SampaioM #composition

Modular Extensions to Z (AS, SRdLM), pp. 211–232.

VDME-1990-Steensgaard-Madsen #data type

Adding Abstract Datatypes to Meta-IV (JSM), pp. 233–243.

VDME-1990-DukeD #semantics #towards

Towards a Semantics for Object-Z (DJD, RD), pp. 244–261.

VDME-1990-GiovanniI #development

HOOD and Z for the Development of Complex Software Systems (RDG, PLI), pp. 262–289.

VDME-1990-Hall #calculus #object-oriented #specification #using

Using Z as a Specification Calculus for Object-Oriented Systems (AH), pp. 290–318.

VDME-1990-Gotzhein #distributed #specification

Specifying Open Distributed Systems with Z (RG), pp. 319–339.

VDME-1990-WoodcockM #concurrent #refinement

Refinement of State-Based Concurrent Systems (JW, CM), pp. 340–351.

VDME-1990-Zwiers #process

Refining Data to Processes (JZ), pp. 352–369.

VDME-1990-LafontaineLS #formal method #towards

Two Approaches towards the Formalisation of VDM (CL, YL, PYS), pp. 370–398.

VDME-1990-PlatHKOPT #type checking

Type Checking BSI/VDM-SL (NP, RH, JvK, GvO, KP, HT), pp. 399–425.

VDME-1990-SpiveyS #type inference

Type Inference in Z (JMS, BS), pp. 426–451.

VDME-1990-BednarczykBP #recursion #revisited

Recursive Definitions Revisited (MAB, AMB, WP), pp. 452–476.

VDME-1990-BednarczykBP90a #semantics #towards

Towards the Semantics of the Definitional Language of MetaSoft (MAB, AMB, WP), pp. 471–503.

VDME-1990-BlikleT #development #on the #process #syntax

On Conservative Extensions of Syntax in the Process of System Development (AB, MT), pp. 504–525.

VDME-1990-DiepenH #algebra #relational #semantics

A Formal Semantics for Z and the Link between Z and the Relational Algebra (MJvD, KMvH), pp. 526–551.

VDME-1990-TarleckiW

A Naive Domain Universe for VDM (AT, MW), pp. 552–579.