Skip to main content
SpringerLink
Log in
Book cover

Formal Methods for Components and Objects

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

  • Conference proceedings
  • © 2003

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. 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)

Included in the following conference series:

Conference proceedings info: FMCO 2002.

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 (21 papers)

  1. Games for UML Software Design

    • Perdita Stevens, Jennifer Tenzer
    Pages 467-486

  2. Making Components Move: A Separation of Concerns Approach

    • Dirk Pattinson, Martin Wirsing
    Pages 487-507

  3. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Methods for Components and Objects

Keywords

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.

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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation