Skip to main content
SpringerLink
Log in

Algebraic Methodology and Software Technology

5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Martin Wirsing
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Maurice Nivat
    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 1101)

Included in the following conference series:

Conference proceedings info: AMAST 1996.

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 109.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 (60 papers)

  1. Front Matter

    Download chapter PDF

  2. Two industrial trials of formal specification

    • J. S. Fitzgerald
    Pages 1-8

  3. Industrial applications of ASF+SDF

    • Mark van den Brand, Arie van Deursen, Paul Klint, Steven Klusener, Emma van der Meulen
    Pages 9-18

  4. The embedded software of an electricity meter: An experience in using formal methods in an industrial project

    • André Arnold, Didier Bégay, Jean-Pierre Radoux
    Pages 19-32

  5. Applying research results in the industrial environment: The case of the TRIO specification language

    • Dino Mandrioli
    Pages 33-42

  6. Using heterogeneous formal methods in distributed software engineering education

    • Bernd J. Krämer
    Pages 43-51

  7. Introducing formal methods to software engineers through OMG's CORBA environment and interface definition language

    • Sriram Sankar
    Pages 52-61

  8. Toward a classification approach to design

    • Douglas R. Smith
    Pages 62-84

  9. Semantic foundations for embedding HOL in Nuprl

    • Douglas J. Howe
    Pages 85-101

  10. Free variable tableaux for a many sorted logic with preorders

    • A. Gavilanes, J. Leach, S. Nieva
    Pages 102-116

  11. Automating induction over mutually recursive functions

    • Deepak Kapur, M. Subramaniam
    Pages 117-131

  12. Pushouts of order-sorted algebraic specifications

    • Anne Elisabeth Haxthausen, Friederike Nickl
    Pages 132-147

  13. A formal framework for modules with state

    • Davide Ancona, Elena Zucca
    Pages 148-162

  14. Object-oriented implementation of abstract data type specifications

    • Rolf Hennicker, Christoph Schmitz
    Pages 163-179

  15. On the completeness of the equations for the Kleene star in bisimulation

    • Wan Fokkink
    Pages 180-194

  16. An equational axiomatization of observation congruence for prefix iteration

    • Luca Aceto, Anna Ingólfsdóttir
    Pages 195-209

  17. Finite axiom systems for testing preorder and De Simone process languages

    • Irek Ulidowski
    Pages 210-224

  18. Constructive semantics of Esterel: From theory to practice (abstract)

    • G. Berry
    Pages 225-225

  19. Using ghost variables to prove refinement

    • M. Marcus, A. Pnueli
    Pages 226-240

  20. Tracing the origins of verification conditions

    • Ranan Fraer
    Pages 241-255
Back to top

Other volumes

  1. Algebraic Methodology and Software Technology

Keywords

About this book

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.
The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation