Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1991

Algebraic Methods II: Theory, Tools and Applications

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)

Conference series link(s): AM: Workshop on Algebraic Methods

Conference proceedings info: Algebraic Methods 1989.

Sections

Buy it now

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

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

Table of contents (15 papers)

  1. Front Matter

    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

  7. Introducing formal requirements into industry

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

  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

    PDF
Back to top

Other Volumes

  1. Algebraic Methods II: Theory, Tools and Applications

Back to top

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation