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 BibTeX

@proceedings{DBLP:conf/am/1989,
  editor    = {Jan A. Bergstra and
               Loe M. G. Feijs},
  title     = {Algebraic Methods II: Theory, Tools and Applications [papers
               from a workshop in Mierlo, The Netherlands, September 1989]},
  booktitle = {Algebraic Methods},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {490},
  year      = {1991},
  isbn      = {3-540-53912-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Part I: Invited Contributions

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

Part II: Requirements and Design

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

Part III: COLD

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

Part IV: Algebraic Specification

Sjouke Mauw, Freek Wiedijk: Specification of the Transit Node in PSF_d. 341-361 BibTeX
Jos C. M. Baeten, Jan A. Bergstra: Design of a Specification Language by Abstract Syntax Engineering. 363-394 BibTeX
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 BibTeX