Skip to main content
SpringerLink
Log in
Book cover

Formal Methods for Components and Objects

Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

  • Conference proceedings
  • © 2004

Overview

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. Centre Equitation, 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 3188)

Included in the following conference series:

Conference proceedings info: FMCO 2003.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Download chapter PDF

  2. Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling

    • Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
    Pages 1-16

  3. Machine Function Based Control Code Algebras

    • Jan A. Bergstra
    Pages 17-41

  4. Exploiting Abstraction for Specification Reuse. The Java/C# Case Study

    • Egon Börger, Robert F. Stärk
    Pages 42-76

  5. On the Verification of Cooperating Traffic Agents

    • Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog
    Pages 77-110

  6. How to Cook a Complete Hoare Logic for Your Pet OO Language

    • Frank S. de Boer, Cees Pierik
    Pages 111-133

  7. Behavioural Specification for Hierarchical Object Composition

    • Răzvan Diaconescu
    Pages 134-156

  8. Consistency Management within Model-Based Object-Oriented Development of Components

    • Jochen M. Küster, Gregor Engels
    Pages 157-176

  9. CommUnity on the Move: Architectures for Distribution and Mobility

    • José Luiz Fiadeiro, Antónia Lopes
    Pages 177-196

  10. TulaFale: A Security Tool for Web Services

    • Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella
    Pages 197-222

  11. A Checker for Modal Formulae for Processes with Data

    • Jan Friso Groote, Tim A. C. Willemse
    Pages 223-239

  12. Semantic Essence of AsmL: Extended Abstract

    • Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
    Pages 240-259

  13. An MDA Approach to Tame Component Based Software Development

    • Jean-Marc Jézéquel, Olivier Defour, Noël Plouzeau
    Pages 260-275

  14. An Application of Stream Calculus to Signal Flow Graphs

    • J. J. M. M. Rutten
    Pages 276-291

  15. Synchronous Closing and Flow Analysis for Model Checking Timed Systems

    • Natalia Ioustinova, Natalia Sidorova, Martin Steffen
    Pages 292-313

  16. Priority Systems

    • Gregor Gössler, Joseph Sifakis
    Pages 314-329

  17. Preserving Properties under Change

    • Heike Wehrheim
    Pages 330-343

  18. Tools for Generating and Analyzing Attack Graphs

    • Oleg Sheyner, Jeannette Wing
    Pages 344-371

  19. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Methods for Components and Objects

Keywords

About this book

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further development of specification and verification techniques supporting the concepts of reusability and modifiability.

This book presents revised tutorial lectures given by invited speakers at the Second International Symposium on Formal Methods for Components and Objects, FMCO 2003, held in Leiden, The Netherlands, in November 2003. The 17 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 makes a unique contribution to bridging the gap between theory and practice in software engineering.

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

  • Centre Equitation, VERIMAG, Grenoble-Gières, France

    Susanne Graf

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

    Willem-Paul Roever

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation