Lecture Notes in Computer Science

FME 2001: Formal Methods for Increasing Software Productivity

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

Editors: Oliveira, Jose N., Zave, Pamela (Eds.)

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-45251-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-540-41791-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (4 chapters)

  • Lightweight Formal Methods

    Daniel Jackson

    Pages 1-1

  • How to Make FDR Spin LTL Model Checking of CSP by Refinement

    Michael Leuschel, Andrew Currie, Thierry Massart

    Pages 99-118

  • An Adequate Logic for Full LOTOS

    Muffy Calder, Savi Maharaj, Carron Shankland

    Pages 384-395

  • Test-Case Calculation Through Abstraction

    Bernhard K. Aichernig

    Pages 571-589

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-45251-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-540-41791-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
FME 2001: Formal Methods for Increasing Software Productivity
Book Subtitle
International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings
Editors
  • Jose N. Oliveira
  • Pamela Zave
Series Title
Lecture Notes in Computer Science
Series Volume
2021
Copyright
2001
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45251-5
DOI
10.1007/3-540-45251-6
Softcover ISBN
978-3-540-41791-0
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIV, 634
Topics