FME 2002: Formal Methods - Getting IT Right | International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings

Lars-Henrik Eriksson (u. a.)

ISBN 10: 3540439285 / ISBN 13: 9783540439288

Published by Springer, 2002

About this Item

FME 2002: Formal Methods - Getting IT Right | International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings | Lars-Henrik Eriksson (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2002 | Springer | EAN 9783540439288 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.

Seller Inventory # 101882342

Bibliographic Details

• Title: FME 2002: Formal Methods - Getting IT Right | International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
• Publisher: Springer
• Publication Date: 2002
• Language: English
• ISBN 10: 3540439285
• ISBN 13: 9783540439288
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 35D millimeters 235 millimeters width by 155 millimeters height by 35 millimeters depth
• Weight: 961 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium was held at the University of Copenhagen, as part of the 2002 Federated Logic Conference (FLoC 2002), which brought - gether in one event seven major conferences related to logic in computer science, as well as their a?liated workshops, tutorials, and tools exhibitions. Formal Methods Europe (www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for software development. FME symposia have been notably successful in bringing together a community of users, researchers, and developers of precise mathematical - thods for software development. The theme of FME 2002 was “Formal Methods: Getting IT Right”. The double meaning was intentional. On the one hand, the theme acknowledged the signi?cant contribution formal methods can make to Information Technology, by enabling computer systems to be described precisely and reasoned about with rigour. On the other hand, it recognized that current formal methods are not perfect, and further research and practice are required to improve their foundations, applicability, and e?ectiveness.