Formal Methods for Components and Objects First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
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 a...
| Other Authors: | , , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2003, 2003
|
| Edition: | 1st ed. 2003 |
| Series: | Lecture Notes in Computer Science
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- A Tool-Supported Proof System for Multithreaded Java
- Abstract Behavior Types: A Foundation Model for Components and Their Composition
- Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML
- Live and Let Die: LSC-Based Verification of UML-Models
- Reactive Animation
- Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software
- Equivalent Semantic Models for a Distributed Dataspace Architecture
- Java Program Verification Challenges
- ToolBus: The Next Generation
- High-Level Specifications: Lessons from Industry
- How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification
- Finding Implicit Contracts in .NET Components
- From Co-algebraic Specifications to Implementation: The Mihda Toolkit
- A Calculus for Modeling Software Components
- Specification and Inheritance in CSP-OZ
- Model-Based Testing of Object-Oriented Systems
- Concurrent Object-Oriented Programs: From Specification to Code
- Design with Asynchronously Communicating Components
- Composition for Component-Based Modeling
- Games for UML Software Design
- Making Components Move: A Separation of Concerns Approach