Skip to main content
SpringerLink
Log in

Formal Methods and Software Engineering

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

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Jim Davies

    1. School of Computing, Queen’s University, Kingston, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Wolfram Schulte

    1. Microsoft Research, Redmond, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Mike Barnett

    1. Microsoft Research, Redmond, USA

    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 3308)

Included in the following conference series:

Conference proceedings info: ICFEM 2004.

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
$34.99 /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 USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • 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

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.

Similar content being viewed by others

Keywords

Table of contents (39 papers)

  1. Front Matter

    Download chapter PDF

  3. Invited Talks

    1. Engineering Quality Software

      • Amitabh Srivastava
      Pages 11-11

    2. When Can Formal Methods Make a Real Difference?

      • Peter G. Neumann
      Pages 12-12

    3. On the Adoption of Formal Methods by Industry: The ACL2 Experience

      • J Strother Moore
      Pages 13-13

    4. A CLP Approach to Modelling Systems

      • Joxan Jaffar
      Pages 14-14

  4. 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. Formal Models for Web Navigations with Session Control and Browser Cache

      • Jessica Chen, Xiaoshan Zhao
      Pages 46-60

    4. Managing Verification Activities Using SVM

      • Bill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim et al.
      Pages 61-75

    5. A General Model for Reachability Testing of Concurrent Programs

      • Richard H. Carver, Yu Lei
      Pages 76-98

    6. A Knowledge Based Analysis of Cache Coherence

      • Kai Baukus, Ron van der Meyden
      Pages 99-114

    7. A Propositional Logic-Based Method for Verification of Feature Models

      • Wei Zhang, Haiyan Zhao, Hong Mei
      Pages 115-130

    8. Deriving Probabilistic Semantics Via the ‘Weakest Completion’

      • He Jifeng, Carroll Morgan, Annabelle McIver
      Pages 131-145

    9. CSP Representation of Game Semantics for Second-Order Idealized Algol

      • Aleksandar Dimovski, Ranko Lazić
      Pages 146-161

    10. An Equational Calculus for Alloy

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

Other volumes

  1. Formal Methods and Software Engineering

Editors and Affiliations

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

    Jim Davies

  • Microsoft Research, Redmond, USA

    Wolfram Schulte, Mike Barnett

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation