Skip to main content
SpringerLink
Log in
Book cover

Integrated Formal Methods

Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Wolfgang Grieskamp

    1. Sekr.FR 5-13 bzw.5-6, TU Berlin, Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Thomas Santen

    1. Sekr.FR 5-13 bzw.5-6, TU Berlin, Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Bill Stoddart

    1. School of Computing and Mathematics, University of Teesside, Middlesbrough, UK

    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 1945)

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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 (24 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Invited Talk

    1. Assertions

      • Tony Hoare
      Pages 1-2

  3. Linking and Extending Notations

    1. State-Based Extension of CASL

      • Hubert Baumeister, Alexandre Zamulin
      Pages 3-24

    2. Linking DC Together with TRSL

      • Anne Elisabeth Haxthausen, Xia Yong
      Pages 25-44

    3. Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes

      • Jörg Fischer, Stefan Conrad
      Pages 45-60

    4. A Process Compensation Language

      • Michael Butler, Carla Ferreira
      Pages 61-76

    5. Activity Graphs and Processes

      • Christie Bolton, Jim Davies
      Pages 77-96

    6. Structuring Real-Time Object-Z Specifications

      • Graeme Smith, Ian Hayes
      Pages 97-115

    7. ISpec: Towards Practical and Sound Interface Specifications

      • Hans B.M. Jonkers
      Pages 116-135

  4. Methodology

    1. Cooperation of Formal Methods in an Engineering Based Software Development Process

      • Yamine Ait-Ameur
      Pages 136-155

    2. Developing Control Systems Components

      • Luigia Petre, Kaisa Sere
      Pages 156-175

    3. Specification and Analysis of Automata-Based Designs

      • Jeremy Bryans, Lynne Blair, Howard Bowman, John Derrick
      Pages 176-193

    4. Structural Refinement in Object-Z / CSP

      • John Derrick, Graeme Smith
      Pages 194-213

    5. Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs

      • Jürgen Dingel
      Pages 214-234

  6. Invited Talk

    1. Why Doesn’t Anyone Use Formal Methods?

      • Wolfram Schulte
      Pages 297-298

  7. Semantics

    1. How to Write a Healthiness Condition

      • Yifeng Chen
      Pages 299-317

    2. A Concurrent and Compositional Petri Net Semantics of Preemption

      • Hanna Klaudel, Franck Pommereau
      Pages 318-337
Back to top

Keywords

Editors and Affiliations

  • Sekr.FR 5-13 bzw.5-6, TU Berlin, Berlin, Germany

    Wolfgang Grieskamp, Thomas Santen

  • School of Computing and Mathematics, University of Teesside, Middlesbrough, UK

    Bill Stoddart

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation