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
    9. Nicolae Goga, Judi Romijn
      Pages 176-193
    10. Alessandro Armando, Claudio Castellini, Jacopo Mantovani
      Pages 209-223
    11. Daniel Kroening, Alex Groce, Edmund Clarke
      Pages 224-238
    12. Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet
      Pages 239-258
    13. Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
      Pages 274-289
    14. Marcel Oliveira, Ana Cavalcanti
      Pages 320-340
    15. Mahadevan Subramaniam, Parvathi Chundi
      Pages 341-356
    16. Feng Chen, Marcelo D’Amorim, Grigore Roşu
      Pages 357-372
    17. Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin Rinard
      Pages 373-390
    18. Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, Tom Maibaum
      Pages 403-417
    19. Nuno Amálio, Susan Stepney, Fiona Polack
      Pages 418-433
    20. Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums
      Pages 434-448
    21. Mila Majster-Cederbaum, Jinzhao Wu, Houguang Yue, Naijun Zhan
      Pages 449-463
    22. Jin Song Dong, Ping Hao, Sheng Chao Qin, Jun Sun, Wang Yi
      Pages 483-498
  5. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment