Proceedings of the Third International Symposium on Vienna Development Method and Z: Formal Methods in Software Development
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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.

FM
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.