By Martin Wirsing, Jan A. Bergstra
The correct remedy and selection of the elemental facts constructions is a crucial and intricate half within the strategy of application building. Algebraic tools offer suggestions for info abstraction and the based specification, validation and research of information constructions. This quantity originates from a workshop prepared inside ESPRIT venture 432 METEOR, An built-in Formal method of commercial software program improvement, held in Mierlo, The Netherlands, September 1989. the quantity contains 5 invited contributions according to workshop talks given by way of A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten additional papers via contributors of the METEOR staff are in line with talks given on the workshop. The workshop was once a successor to an previous one held in Passau, Germany, June 1987, the court cases of that have been released as Lecture Notes in computing device technological know-how, Vol. 394.