Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005.
Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings (Lecture Notes in Computer Science) by Judi M.T. Romijn
English | June 27, 2008 | ISBN: 3540304924 | 415 Pages | PDF | 4 MB
English | June 27, 2008 | ISBN: 3540304924 | 415 Pages | PDF | 4 MB
This is the 5th edition of the International Conference on Integrated Formal Methods (IFM). Previous IFM conferences were held in York (June 1999), Dagstuhl (November 2000), Turku (May 2002) and Canterbury (April 2004). This year’s IFM was held in December 2005 on the campus of the Technische Universiteit Eindhoven in The Netherlands.
This year IFM received 40 submissions, from which 19 high-quality papers were selected by the Program Committee. Besides these, the proceedings contain invited contributions by Patrice Godefroid, David Parnas and Doron Peled. It was 10 years ago that Jonathan P. Bowen and Michael G. Hinchey published their famous Ten Commandments of Formal Methods in IEEE Computer 28(4). Their very first commandment — Thou shalt choose an appropriate notation — touches the heart of the IFM theme: Complex systems have different aspects, and each aspect requires its own appropriate notation. Classical examples of models for various aspects are: state based notations and algebraic data types for data, process algebras and temporal logics for behavior, duration calculus and timed automata for timing aspects, etc.