FME 2001: Formal Methods for Increasing Software Productivity

International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings

  • José Nuno Oliveira
  • Pamela Zave
Conference proceedings FME 2001

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

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Daniel Jackson
    Pages 1-1
  3. F. Bellegarde, C. Darlot, J. Julliand, O. Kouchnarenko
    Pages 2-19
  4. Joseph Stoy, Xiaowei Shen, Arvind
    Pages 43-71
  5. Marsha Chechik, Steve Easterbrook, Victor Petrovykh
    Pages 72-98
  6. Michael Leuschel, Andrew Currie, Thierry Massart
    Pages 99-118
  7. Fabrice Derepas, Paul Gastin, David Plainfossé
    Pages 119-134
  8. Jan Jürjens
    Pages 135-152
  9. Nalini Venkatasubramanian, Carolyn Talcott, Gul Agha
    Pages 197-221
  10. Jayadev Misra
    Pages 222-222
  11. Andres Flores, Luis Reynoso, Richard Moore
    Pages 223-241
  12. Sophie Dupuy-Chessa, Lydie du Bousquet
    Pages 242-258
  13. Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante
    Pages 278-299
  14. Stephen E. Paynter
    Pages 300-317
  15. Leila Silva, Augusto Sampaio, Geraint Jones
    Pages 344-363
  16. Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo
    Pages 364-383
  17. Muffy Calder, Savi Maharaj, Carron Shankland
    Pages 384-395
  18. Manuel J. Fernández Iglesias, Francisco J. González-Castaño, José M. Pousada Carballo, Martín Llamas Nistal, Alberto Romero Feijoo
    Pages 436-448
  19. Laurent Arditi, Hédi Boufaïed, Arnaud Cavanié, Vincent Stehlé
    Pages 449-464
  20. Pieter H. Hartel, Michael J. Butler, Eduard de Jong, Mark Longley
    Pages 478-499
  21. Cormac Flanagan, K. Rustan M. Leino
    Pages 500-517
  22. Dragan Bošnački, Leszek Holenderski, Dennis Dams
    Pages 518-533
  23. Michael Johnson, Robert Rosebrugh
    Pages 534-549
  24. Ralf Lämmel
    Pages 550-570
  25. Bernhard K. Aichernig
    Pages 571-589
  26. Natasha Sharygina, Doron Peled
    Pages 611-628
  27. Back Matter
    Pages 629-629

About these proceedings


FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM Europe Symposia, four other Formal Methods Europe S- posia, and the 1999 World Congress on Formal Methods in the Development of Computing Systems. These meetings have been notably successful in bringing - gether a community of users, researchers, and developers of precise mathematical methods for software development. FME 2001 took place in Berlin, Germany and was organized by the C- puter Science Department of the Humboldt-Universit¨at zu Berlin. The theme of the symposium was Formal Methods for Increasing Software Productivity. This theme recognizes that formal methods have the potential to do more for industrial software development than enhance software quality { they can also increase productivity at many di erent points in the software life-cycle. The importance of the theme is borne out by the many contributed papers showing how formal methods can make software development more e cient. There is an emphasis on tools that nd errors automatically, or with relatively little human e ort. There is also an emphasis on the use of formal methods to assist with critical, labor-intensive tasks such as program design and test-case generation.


Formal Methods Formal Specification Model Checking Program Analysis Refinement SPIN Safety-Critical Systems Software Patterns Software Testing Unified Modeling Language (UML) automata design formal verification logic productivity

Editors and affiliations

  • José Nuno Oliveira
    • 1
  • Pamela Zave
    • 2
  1. 1.Computer Science DepartmentUniversity of MinhoBragaPortugal
  2. 2.AT&T Laboratories — ResearchFlorham ParkUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41791-0
  • Online ISBN 978-3-540-45251-5
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site