Integrated Formal Methods

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

  • Wolfgang Grieskamp
  • Thomas Santen
  • Bill Stoddart
Conference proceedings IFM 2000

DOI: 10.1007/3-540-40911-4

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

Table of contents (24 papers)

  1. Front Matter
    Pages I-X
  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. A Process Compensation Language
      Michael Butler, Carla Ferreira
      Pages 61-76
    4. Activity Graphs and Processes
      Christie Bolton, Jim Davies
      Pages 77-96
    5. Structuring Real-Time Object-Z Specifications
      Graeme Smith, Ian Hayes
      Pages 97-115
  4. Methodology

    1. Developing Control Systems Components
      Luigia Petre, Kaisa Sere
      Pages 156-175
    2. Specification and Analysis of Automata-Based Designs
      Jeremy Bryans, Lynne Blair, Howard Bowman, John Derrick
      Pages 176-193
    3. Structural Refinement in Object-Z / CSP
      John Derrick, Graeme Smith
      Pages 194-213
  5. Foundation of One Formalism by Another

  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

About these proceedings

Keywords

Formal Methods Formal Notations Formal Specification Formal Validation Formal Verification Mathematics of Program Construction Program Analysis Program Semantics Programmic Logics Reactive Systems Software Refinement formal method semantics validation verification

Editors and affiliations

  • Wolfgang Grieskamp
    • 1
  • Thomas Santen
    • 1
  • Bill Stoddart
    • 2
  1. 1.Sekr.FR 5-13 bzw.5-6TU BerlinBerlinGermany
  2. 2.School of Computing and MathematicsUniversity of TeessideMiddlesbroughUK

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41196-3
  • Online ISBN 978-3-540-40911-3
  • Series Print ISSN 0302-9743