Formal Methods for Components and Objects

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

ISBN: 978-3-540-20303-2 (Print) 978-3-540-39656-7 (Online)

Table of contents (21 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-32

    A Tool-Supported Proof System for Multithreaded Java

  3. No Access

    Book Chapter

    Pages 33-70

    Abstract Behavior Types: A Foundation Model for Components and Their Composition

  4. No Access

    Book Chapter

    Pages 71-98

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

  5. No Access

    Book Chapter

    Pages 99-135

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

  6. No Access

    Book Chapter

    Pages 136-153

    Reactive Animation

  7. No Access

    Book Chapter

    Pages 154-181

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

  8. No Access

    Book Chapter

    Pages 182-201

    Equivalent Semantic Models for a Distributed Dataspace Architecture

  9. No Access

    Book Chapter

    Pages 202-219

    Java Program Verification Challenges

  10. No Access

    Book Chapter

    Pages 220-241

    ToolBus: The Next Generation

  11. No Access

    Book Chapter

    Pages 242-261

    High-Level Specifications: Lessons from Industry

  12. No Access

    Book Chapter

    Pages 262-284

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

  13. No Access

    Book Chapter

    Pages 285-318

    Finding Implicit Contracts in .NET Components

  14. No Access

    Book Chapter

    Pages 319-338

    From Co-algebraic Specifications to Implementation: The Mihda Toolkit

  15. No Access

    Book Chapter

    Pages 339-360

    A Calculus for Modeling Software Components

  16. No Access

    Book Chapter

    Pages 361-379

    Specification and Inheritance in CSP-OZ

  17. No Access

    Book Chapter

    Pages 380-402

    Model-Based Testing of Object-Oriented Systems

  18. No Access

    Book Chapter

    Pages 403-423

    Concurrent Object-Oriented Programs: From Specification to Code

  19. No Access

    Book Chapter

    Pages 424-442

    Design with Asynchronously Communicating Components

  20. No Access

    Book Chapter

    Pages 443-466

    Composition for Component-Based Modeling

  21. No Access

    Book Chapter

    Pages 467-486

    Games for UML Software Design

  22. Back Matter

    Pages -

previous Page of 2