Bücher der Reihe Workshops in Computing

Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations.

Code Generation - Concepts, Tools, Techniques is based upon the proceedings of the Dagstuhl workshop on code generation which took place from 20-24 May 1991.

Database modelling is concerned with the design of reliable and efficient database systems. As a result, modelling database dynamics is now considered to be as important as modelling static database structures. Modelling Database Dynamics provides a comprehensive overview of current research into the modelling and use of database dynamics.

Z User Workshop, London 1992 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z.

Persistent object systems are systems which support the creation and manipulation of objects in a uniform manner, regardless of how long they persist.

The mathematical concepts and notational conventions we know of as Z were first proposed around 1981. Four years ago we had the first Z User Meeting, a fairly modest affair with representatives more or less equally divided between academia and industry.