Lecture Notes in Computer Science

FME 2003: Formal Methods

International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Editors: Araki, Keijiro, Gnesi, Stefania, Mandrioli, Dion (Eds.)

Free Preview

Buy this book

eBook $119.00
price for USA in USD (gross)
  • ISBN 978-3-540-45236-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $159.99
price for USA in USD
  • ISBN 978-3-540-40828-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

ThisvolumecontainstheproceedingsofFM2003,the12thInternationalFormal Methods Europe Symposium which was held in Pisa, Italy on September 8–14, 2003. Formal Methods Europe (FME, www. fmeurope. org) is an independent - sociation which aims to stimulate the use of and research on formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once - ery 18 months. Throughout the years the symposia have been notably successful in bringing together researchers, tool developers, vendors, and users, both from academia and from industry. Unlike previous symposia in the series, FM 2003 was not given a speci?c theme. Rather, its main goal could be synthesized as “widening the scope. ” Indeed, the organizers aimed at enlarging the audience and impact of the symposium along several directions. Dropping the su?x ‘E’ from the title of the conference re?ects the wish to welcome participation and contribution from every country; also,contributionsfromoutsidethetraditionalFormalMethodscommunitywere solicited. The recent innovation of including an Industrial Day as an important part of the symposium shows the strong commitment to involve industrial p- ple more and more within the Formal Methods community. Even the traditional and rather fuzzy borderline between “software engineering formal methods” and methods and formalisms exploited in di?erent ?elds of engineering was so- what challenged.

Table of contents (49 chapters)

Table of contents (49 chapters)

Buy this book

eBook $119.00
price for USA in USD (gross)
  • ISBN 978-3-540-45236-2
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $159.99
price for USA in USD
  • ISBN 978-3-540-40828-4
  • 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 2003: Formal Methods
Book Subtitle
International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
Editors
  • Keijiro Araki
  • Stefania Gnesi
  • Dion Mandrioli
Series Title
Lecture Notes in Computer Science
Series Volume
2805
Copyright
2003
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45236-2
DOI
10.1007/b13229
Softcover ISBN
978-3-540-40828-4
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XXXIV, 946
Topics