Algebraic Methods 1989: Mierlo, The Netherlands

Jan A. Bergstra, Loe M. G. Feijs (Eds.): Algebraic Methods II: Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]. Lecture Notes in Computer Science 490 Springer 1991, ISBN 3-540-53912-3

Part I: Invited Contributions

N. W. P. van Diepen, Helmuth Partsch:
Formalizing Informal Reuqirments. Some Aspects. 7-27
Anthony Finkelstein, Michael Goedicke, Jeff Kramer, Celso Niskier:
Viewpoint Oriented Software Development: Mehtods and Viewpoints in Requirements Engineering. 29-54
Ernst-Rüdiger Olderog, Krzysztof R. Apt:
Using Transformation to Verify Parallel Programs. 55-81
C. A. Middelburg:
Experiences with Combining Formalisms in VVSL. 83-103
Paul Klint:
A Meta-Environment for Generating Programming Environments. 105-124

Jacques Hagelstein, Frank Ponsaert:
Introducing Formal Requirements into Industry. 129-141
Rainer Weber:
Where Can I Get Gas Round Here? - An Application of a Design Methodology for Distributed Systems. 143-166
Loe M. G. Feijs:
Transformations of Designs. 167-199

Loe M. G. Feijs:
Norman's Database Modularised in COLD-K. 205-231
R. D. van den Bos, Loe M. G. Feijs, Rob C. van Ommering:
POLAR: A Picture-Oriented Language for Abstract Representations. 233-276
H. B. M. Jonkers:
Inheritance in COLD. 277-301
Jos C. M. Baeten, Jan A. Bergstra, Sjouke Mauw, Gert J. Veltink:
A Process Specification Formalism Based on Static COLD. 303-335

Sjouke Mauw, Freek Wiedijk:
Specification of the Transit Node in PSF_d. 341-361
Jos C. M. Baeten, Jan A. Bergstra:
Design of a Specification Language by Abstract Syntax Engineering. 363-394
A. Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein:
From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. 395-431