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

ISBN-10: 3540439285
ISBN-13: 9783540439288
Category: Business & Economics
Pages: 632
Language: English
Published: 2002-07-10
Publisher: Springer
Authors: Lars-Henrik Eriksson, Peter A. Lindsay, P. A. Lindsay

Description

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.

Get the book

Other editions

FME 2002: Formal Methods - Getting IT Right: International Symposium...
- 2003-08-02
- 632 pages
- Ebook
- Springer

Similar books

FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
By Keijiro Araki
International Symposium of Formal Methods Europe. Pisa Italy, September 8-14 ... On correct refinement of programs. ... editors, FME 2002: Formal Methods—Getting IT Right, volume 2391 of Lecture Notes in Computer Science, pages 370–389.
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
By Eerke Boiten, John Derrick, International Conference on Integrated F
This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004. The 24 revised full papers presented...
Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
By Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol
Springer, 1995. mpaio, J. Woodcock, and A. Cavalcanti. Refinement in Circus. In L. Eriksson . Lindsay, editors, FME 2002: Formal Methods - Getting IT Right, volume »f Lecture Notes in Computer Science, pages 451–470.
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004,...
By Mike Barnett, Jim Davies, Wolfram Schulte
6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings Jim Davies, ... in Proceedings of FME 2002: Formal Methods– Getting IT Right, Denmark, LNCS 2391, Springer, 2002.
ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland,...
By Finland) International Conference of B and Z Users
J.C. Bicarregui, Do Not Read This, in Proceedings of FME 2002: Formal Methods – Getting IT Right, Denmark, LNCS 2391, Springer, 2002. J. Bicarregui, K. Lano and T. Maibaum, Towards a Compositional Interpretation of Object Diagrams, ...
ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland,...
By Steve King, Jonathan P. Bowen, Didier Bert
J.C. Bicarregui, Do Not Read This, in Proceedings of FME 2002: Formal Methods – Getting IT Right, Denmark, LNCS 2391, Springer, 2002. 8. J. Bicarregui, K. Lano and T. Maibaum, Towards a Compositional Interpretation of Object Diagrams, ...
Computer Science Handbook
By Allen B. Tucker
Automatic extraction of image and video content descriptions is highly desirable to ease the pain of manual ... The conceptual representation corresponds to the conceptual level in the ANSI relational database architecture [1] where ...
Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
By Kung-Kiu Lau, Richard Banach
7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings Kung-Kiu Lau, ... in Proceedings of FME 2002: Formal Methods– Getting IT Right, Denmark, LNCS 2391, Springer, 2002.
Agent Technology from a Formal Perspective
By Walt Truszkowski, Christopher Rouff, James Rash
FME 2002: Formal Methods – Getting IT Right (LNCS 2391). Springer-Verlag. 2002. Esterline, A., Rorie, T. Using the π-Calculus to Model Multiagent Systems. In Proceedings of First International Workshop on Formal Approaches to AgentBased ...
Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
By Zhiming Liu, Keijiro Araki
Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, Proceedings. Volume 2589 of Lecture Notes in Computer Science. (2003) 218–228 3. Hansen, H., Virtanen, H., ...