Advertisement

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

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

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Talk

    1. Tony Hoare
      Pages 1-2
  3. Linking and Extending Notations

    1. Hubert Baumeister, Alexandre Zamulin
      Pages 3-24
    2. Anne Elisabeth Haxthausen, Xia Yong
      Pages 25-44
    3. Michael Butler, Carla Ferreira
      Pages 61-76
    4. Christie Bolton, Jim Davies
      Pages 77-96
    5. Graeme Smith, Ian Hayes
      Pages 97-115
  4. Methodology

    1. Luigia Petre, Kaisa Sere
      Pages 156-175
    2. Jeremy Bryans, Lynne Blair, Howard Bowman, John Derrick
      Pages 176-193
    3. John Derrick, Graeme Smith
      Pages 194-213
  5. Foundation of One Formalism by Another

  6. Invited Talk

    1. Wolfram Schulte
      Pages 297-298
  7. Semantics

    1. Yifeng Chen
      Pages 299-317
    2. Hanna Klaudel, Franck Pommereau
      Pages 318-337
  8. Verification and Validation

    1. Vlad Rusu, Lydie du Bousquet, Thierry Jéron
      Pages 338-357
    2. Dominique Cansell, Dominique Méry, Stephan Merz
      Pages 380-397
    3. Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand
      Pages 398-419
    4. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
      Pages 420-439
  9. Back Matter
    Pages 441-441

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

  • DOI https://doi.org/10.1007/3-540-40911-4
  • 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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering