Formal Methods and Software Engineering

6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

  • Jim Davies
  • Wolfram Schulte
  • Mike Barnett
Conference proceedings ICFEM 2004

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

Table of contents

  1. Front Matter
  2. Tutorials

  3. Invited Talks

    1. Amitabh Srivastava
      Pages 11-11
    2. Joxan Jaffar
      Pages 14-14
  4. Full Papers

    1. Jean-Christophe Filliâtre, Claude Marché
      Pages 15-29
    2. Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom
      Pages 30-45
    3. Bill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim et al.
      Pages 61-75
    4. Kai Baukus, Ron van der Meyden
      Pages 99-114
    5. Wei Zhang, Haiyan Zhao, Hong Mei
      Pages 115-130
    6. He Jifeng, Carroll Morgan, Annabelle McIver
      Pages 131-145
    7. Aleksandar Dimovski, Ranko Lazić
      Pages 146-161
    8. Marcelo F. Frias, Carlos G. López Pombo, Nazareno M. Aguirre
      Pages 162-175

About these proceedings


Formal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport,theyarebeingusedforautomaticcode generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, speci?cation, design, implementation, testing, and documentation. The ICFEM series of conferences aims to bring together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend,andtohelpadvancethestateoftheart.Authorsarestronglyencouraged to make their ideas as accessible as possible, and there is a clear emphasis upon work that promises to bring practical, tangible bene?t: reports of case studies should have a conceptual message, theory papers should have a clear link to application, and papers describing tools should have an account of results. ICFEM 2004 was the sixth conference in the series, and the ?rst to be held in North America. Previous conferences were held in Singapore, China, UK, A- tralia, and Japan. The Programme Committee received 110 papers and selected 30forpresentation.The?nalversionsofthosepapersareincludedhere,together with 2-page abstracts for the 5 accepted tutorials, and shorter abstracts for the 4 invited talks.


Browser SPIN Simulation Software Engineering UML Unified Modeling Language (UML) automata formal methods formal software development formal specification formal verification modeling program analysis theorem proving verification

Editors and affiliations

  • Jim Davies
    • 1
  • Wolfram Schulte
    • 2
  • Mike Barnett
    • 3
  1. 1.School of ComputingQueen’s UniversityKingstonCanada
  2. 2.Microsoft ResearchRedmondUSA
  3. 3.Microsoft ResearchRedmondUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-23841-6
  • Online ISBN 978-3-540-30482-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Energy, Utilities & Environment