Skip to main content
SpringerLink
Log in

Algebraic Methods II: Theory, Tools and Applications

  • Conference proceedings
  • © 1991

Overview

Editors:
  1. J. A. Bergstra
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. L. M. G. Feijs
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 490)

Included in the following conference series:

Conference proceedings info: Algebraic Methods 1989.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Download chapter PDF

  2. Formalizing informal requirements some aspects

    • N. W. P. van Diepen, H. A. Partsch
    Pages 1-27

  3. ViewPoint oriented software development: Methods and viewpoints in requirements engineering

    • Anthony Finkelstein, Michael Goedicke, Jeff Kramer, Celso Niskier
    Pages 29-54

  4. Using transformations to verify parallel programs

    • Ernst-Rüdiger Olderog, Krzysztof R. Apt
    Pages 55-81

  5. Experiences with combining formalisms in VVSL

    • C. A. Middelburg
    Pages 83-103

  6. A meta-environment for generating programming environments

    • P. Klint
    Pages 105-124

  7. Introducing formal requirements into industry

    • J. Hagelstein, F. Ponsaert
    Pages 125-141

  8. Where can I get gas round here? — an application of a design methodology for distributed systems

    • Rainer Weber
    Pages 143-166

  9. Transformations of designs

    • L. M. G. Feijs
    Pages 167-199

  10. Norman's database modularised in COLD-K

    • L. M. G. Feijs
    Pages 200-231

  11. POLAR a picture-oriented language for abstract representations

    • R. D. van den Bos, L. M. G. Feijs, R. C. van Ommering
    Pages 233-276

  12. Inheritance in COLD

    • H. B. M. Jonkers
    Pages 277-301

  13. A process specification formalism based on static COLD

    • J. C. M. Baeten, J. A. Bergstra, S. Mauw, G. J. Veltink
    Pages 303-335

  14. Specification of the transit node in PSFd

    • S. Mauw, F. Wiedijk
    Pages 337-361

  15. Design of a specification language by abstract syntax engineering

    • J. C. M. Baeten, J. A. Bergstra
    Pages 363-394

  16. From an ERAE requirements specification to a PLUSS algebraic specification: A case study

    • A. Mauboussin, H. Perdrix, M. Bidoit, M. -C. Gaudel, J. Hagelstein
    Pages 395-431

  17. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Algebraic Methods II: Theory, Tools and Applications

Keywords

About this book

The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989. The volume includes five invited contributions based on workshop talks given by A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation