Table of contents

  1. Front Matter
  2. Luís S. Barbosa
    Pages 23-48
  3. F. S. de Boer, M. M. Bonsangue, M. Steffen, E. Ábrahám
    Pages 49-69
  4. Pierre Cointe, Hervé Albin-Amiot, Simon Denier
    Pages 70-94
  5. Rocco De Nicola, Michele Loreti
    Pages 95-119
  6. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    Pages 120-140
  7. Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdziński
    Pages 141-161
  8. Gerd Behrmann, Kim G. Larsen, Jacob I. Rasmussen
    Pages 162-182
  9. Zhiming Liu, He Jifeng, Xiaoshan Li
    Pages 183-221
  10. D. Ancona, E. Moggi
    Pages 222-250
  11. Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen
    Pages 296-316
  12. Reinhard Wilhelm
    Pages 317-323
  13. Back Matter

About these proceedings


Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages.

This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book provides an unique combination of ideas on software engineering and formal methods that reflect the expanding body of knowledge on modern software systems.


UML algorithm algorithms automata formal method formal methods formal verification inheritance logic mobile computing object object technology semantics system design systems architecture

Editors and affiliations

  • Frank S. de Boer
    • 1
  • Marcello M. Bonsangue
    • 2
  • Susanne Graf
    • 3
  • Willem-Paul de Roever
    • 4
  1. 1.Centre for Mathematics and Computer ScienceCWIAmsterdamThe Netherlands
  2. 2.Leiden Institute of Advanced Computer ScienceLeiden UniversityLeidenThe Netherlands
  3. 3.Centre EquitationVERIMAGGrenoble-GièresFrance
  4. 4.Institute of Computer Science and Applied MathematicsChristian-Albrechts University KielKielGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-29131-2
  • Online ISBN 978-3-540-31939-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site