Skip to main content
Springer Nature Link
Log in

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

Subscribe and save

Springer+ Basic
€32.70 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook EUR 42.79
Price includes VAT (France)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book EUR 52.74
Price includes VAT (France)
  • 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

Keywords

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

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