Formal Methods for Components and Objects

First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

  • Frank S. de Boer
  • Marcello M. Bonsangue
  • Susanne Graf
  • Willem-Paul de Roever
Conference proceedings FMCO 2002

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2852)

Table of contents

  1. Front Matter
  2. Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen
    Pages 1-32
  3. Werner Damm, Bernhard Josko, Amir Pnueli, Angelika Votintseva
    Pages 71-98
  4. Werner Damm, Bernd Westphal
    Pages 99-135
  5. David Harel, Sol Efroni, Irun R. Cohen
    Pages 136-153
  6. Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh
    Pages 154-181
  7. Jozef Hooman, Jaco van de Pol
    Pages 182-201
  8. Bart Jacobs, Joseph Kiniry, Martijn Warnier
    Pages 202-219
  9. Hayco de Jong, Paul Klint
    Pages 220-241
  10. Brannon Batson, Leslie Lamport
    Pages 242-261
  11. Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok
    Pages 262-284
  12. Karine Arnout, Bertran Meyer
    Pages 285-318
  13. Gianluigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto
    Pages 319-338
  14. Oscar Nierstrasz, Franz Achermann
    Pages 339-360
  15. Ernst-Rüdiger Olderog, Heike Wehrheim
    Pages 361-379
  16. Bernhard Rumpe
    Pages 380-402
  17. J. Plosila, K. Sere, M. Waldén
    Pages 424-442
  18. Gregor Gössler, Joseph Sifakis
    Pages 443-466
  19. Perdita Stevens, Jennifer Tenzer
    Pages 467-486
  20. Dirk Pattinson, Martin Wirsing
    Pages 487-507
  21. Back Matter

About these proceedings


Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions are enc- sulated into software units that are integrated into large systems by means of various techniques supporting reusability and modi?ability. This encapsulation principleisessentialtoboththeobject-orientedandthemorerecentcompone- based sofware engineering paradigms. Formalmethodshavebeenappliedsuccessfullytotheveri?cationofmedi- sized programs in protocol and hardware design. However, their application to large systems requires the further development of speci?cation and veri?cation techniques supporting the concepts of reusability and modi?ability. In order to bring together researchers and practioners in the areas of so- ware engineering and formal methods, we organized the 1st International S- posium on Formal Methods for Components and Objects (FMCO) in Leiden, The Netherlands, November 5–8, 2002. The program consisted of invited tu- rials and more technical presentations given by leading experts in the ?elds of Theoretical Computer Science and Software Engineering. The symposium was attended by more than 100 people. This volume contains the contributions of the invited speakers to FMCO 2002. We believe that the presented material provides a unique combination of ideas on software engineering and formal methods which we hope will be an inspiration for those aiming at further bridging the gap between the theory and practice of software engineering.


Java LSC Middleware UML Unified Modeling Language (UML) component systems components formal methods formal verification inheritance modeling object object technology program construction protocol verification

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 Science, CWIAmsterdamThe Netherlands
  2. 2.Leiden Institute of Advanced Computer ScienceLeiden UniversityLeidenThe Netherlands
  3. 3.VERIMAGGrenoble-GièresFrance
  4. 4.Institute of Computer Science and Applied MathematicsChristian-Albrechts University KielKielGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20303-2
  • Online ISBN 978-3-540-39656-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site