Skip to main content
  • Conference proceedings
  • © 2004

Formal Methods and Software Engineering

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

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

Conference series link(s): ICFEM: International Conference on Formal Engineering Methods

Conference proceedings info: ICFEM 2004.

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (39 papers)

  1. Front Matter

  2. Invited Talks

    1. Engineering Quality Software

      • Amitabh Srivastava
      Pages 11-11
    2. A CLP Approach to Modelling Systems

      • Joxan Jaffar
      Pages 14-14
  3. Full Papers

    1. Multi-prover Verification of C Programs

      • Jean-Christophe Filliâtre, Claude Marché
      Pages 15-29
    2. Memory-Model-Sensitive Data Race Analysis

      • Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom
      Pages 30-45
    3. Managing Verification Activities Using SVM

      • Bill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim et al.
      Pages 61-75
    4. A Knowledge Based Analysis of Cache Coherence

      • Kai Baukus, Ron van der Meyden
      Pages 99-114
    5. A Propositional Logic-Based Method for Verification of Feature Models

      • Wei Zhang, Haiyan Zhao, Hong Mei
      Pages 115-130
    6. Deriving Probabilistic Semantics Via the ‘Weakest Completion’

      • He Jifeng, Carroll Morgan, Annabelle McIver
      Pages 131-145
    7. CSP Representation of Game Semantics for Second-Order Idealized Algol

      • Aleksandar Dimovski, Ranko Lazić
      Pages 146-161
    8. An Equational Calculus for Alloy

      • Marcelo F. Frias, Carlos G. López Pombo, Nazareno M. Aguirre
      Pages 162-175

Other Volumes

  1. Formal Methods and Software Engineering

About this book

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.

Keywords

  • 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

  • School of Computing, Queen’s University, Kingston, Canada

    Jim Davies

  • Microsoft Research, Redmond, USA

    Wolfram Schulte, Mike Barnett

Bibliographic Information

  • Book Title: Formal Methods and Software Engineering

  • Book Subtitle: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

  • Editors: Jim Davies, Wolfram Schulte, Mike Barnett

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/b102837

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2004

  • Softcover ISBN: 978-3-540-23841-6Published: 28 October 2004

  • eBook ISBN: 978-3-540-30482-1Published: 03 November 2004

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: IX, 500

  • Topics: Software Engineering, Computer Science Logic and Foundations of Programming, Compilers and Interpreters

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions