did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9783540203032

Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 2002 : Revised Lectures

by ; ; ;
  • ISBN13:

    9783540203032

  • ISBN10:

    3540203036

  • Edition: Revised
  • Format: Paperback
  • Copyright: 2003-11-01
  • Publisher: Springer Verlag
  • Purchase Benefits
List Price: $129.00 Save up to $110.44
  • Digital
    $40.22
    Add to Cart

    DURATION
    PRICE

Supplemental Materials

What is included with this book?

Summary

This book presents revised tutorial lectures given by invited speakers at the First International Symposium on Formal Methods for Components and Objects, FMCO 2002, held in Leiden, The Netherlands, in November 2002. The 21 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to complex software systems such as components and object systems. The book makes a unique contribution to bridging the gap between theory and practice in software engineering.

Table of Contents

A Tool-Supported Proof System for Multithreaded Java 1(32)
E. Abrahám, F.S. de Boer, W.-P. de Roeven, and M. Steffen
Abstract Behavior Types: A Foundation Model for Components and Their Composition 33(38)
F. Arbab
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML 71(28)
W. Damm, B. Josko, A. Pnueli, and A. Votintseva
Live and Let Die: LSC-Based Verification of UML-Models 99(37)
W. Damm and B. Westphal
Reactive Animation 136(18)
D. Harel, S. Efroni, and I.R. Cohen
Model-Checking Middleware-Based Event-Driven Real-Time Embedded software 154(28)
X. Deng, M.B. Dwyer, J. Hatcliff, C. Jung, Robby, and C. Singh
Equivalent Semantic Models for a Distributed Dataspace Architecture 182(20)
J. Hooman and Jaco van de Pol
Java Program Verification Challenges 202(18)
B. Jacobs, J. Kiniry, and M. Warnier
ToolBus: The Next Generation 220(22)
H. de Jong and P. Klint
High-Level Specifications: Lessons from Industry 242(20)
B. Batson and L. Lamport
How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification 262(23)
G.T. Leavens, Y. Cheon, C. Clifton, C. Ruby, and D.R. Cok
Finding Implicit Contracts in NET Components 285(34)
K. Arnout and B. Meyer
From Co-algebraic Specifications to Implementation: The Mihda Toolkit 319(20)
G. Ferrari, U. Montanari, R. Raggi, and E. Tuosto
A Calculus for Modeling Software Components 339(22)
O. Nierstrasz and F. Achermann
Specification and Inheritance in CSP-OZ 361(19)
E.-R. Olderog and H. Wehrheim
Model-Based Testing of Object-Oriented Systems 380(23)
B. Rumpe
Concurrent Object-Oriented Programs: From specification to Code 403(21)
E. Sekerinski
Design with Asynchronously Communicating Components 424(19)
J. Plosila, K. Sere, and M. Waldén
Composition for Component-Based Modeling 443(24)
G. Gössler and J. Sifakis
Games for UML Software Design 467(20)
P. Stevens and J. Tenzer
Making Components Move: A Separation of Concerns Approach 487(22)
D. Pattinson and M. Wirsing
Author Index 509

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program