Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2003

Formal Methods for Components and Objects

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

Editors:

  1. Frank S. Boer

    1. Centre for Mathematics and Computer Science, CWI, Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marcello M. Bonsangue

    1. Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Susanne Graf

    1. VERIMAG, Grenoble-Gières, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Willem-Paul Roever

    1. Institute of Computer Science and Applied Mathematics, Christian-Albrechts University Kiel, Kiel, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Conference series link(s): FMCO: International Symposium on Formal Methods for Components and Objects

Conference proceedings info: FMCO 2002.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (21 papers)

  1. Front Matter

    PDF

  2. A Tool-Supported Proof System for Multithreaded Java

    • Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever, Martin Steffen
    Pages 1-32

  4. Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML

    • Werner Damm, Bernhard Josko, Amir Pnueli, Angelika Votintseva
    Pages 71-98

  5. Live and Let Die: LSC-Based Verification of UML-Models

    • Werner Damm, Bernd Westphal
    Pages 99-135

  6. Reactive Animation

    • David Harel, Sol Efroni, Irun R. Cohen
    Pages 136-153

  7. Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software

    • Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh
    Pages 154-181

  8. Equivalent Semantic Models for a Distributed Dataspace Architecture

    • Jozef Hooman, Jaco van de Pol
    Pages 182-201

  9. Java Program Verification Challenges

    • Bart Jacobs, Joseph Kiniry, Martijn Warnier
    Pages 202-219

  10. ToolBus: The Next Generation

    • Hayco de Jong, Paul Klint
    Pages 220-241

  11. High-Level Specifications: Lessons from Industry

    • Brannon Batson, Leslie Lamport
    Pages 242-261

  12. How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification

    • Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok
    Pages 262-284

  13. Finding Implicit Contracts in .NET Components

    • Karine Arnout, Bertran Meyer
    Pages 285-318

  14. From Co-algebraic Specifications to Implementation: The Mihda Toolkit

    • Gianluigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto
    Pages 319-338

  15. A Calculus for Modeling Software Components

    • Oscar Nierstrasz, Franz Achermann
    Pages 339-360

  16. Specification and Inheritance in CSP-OZ

    • Ernst-Rüdiger Olderog, Heike Wehrheim
    Pages 361-379

  17. Model-Based Testing of Object-Oriented Systems

    • Bernhard Rumpe
    Pages 380-402

  19. Design with Asynchronously Communicating Components

    • J. Plosila, K. Sere, M. Waldén
    Pages 424-442

  20. Composition for Component-Based Modeling

    • Gregor Gössler, Joseph Sifakis
    Pages 443-466
Back to top

Other Volumes

  1. Formal Methods for Components and Objects

Back to top

About this book

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.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Centre for Mathematics and Computer Science, CWI, Amsterdam, The Netherlands

    Frank S. Boer

  • Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands

    Marcello M. Bonsangue

  • VERIMAG, Grenoble-Gières, France

    Susanne Graf

  • Institute of Computer Science and Applied Mathematics, Christian-Albrechts University Kiel, Kiel, Germany

    Willem-Paul Roever

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation