Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002 : revised lectures /

Bibliographic Details
Corporate Authors:	FMCO (Symposium) Leiden, Netherlands), SpringerLink (Online service)
Other Authors:	Boer, Frank S. de
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 2003.
Series:	Lecture notes in computer science ; 2852.
Subjects:	Formal methods (Computer science) > Congresses. Component software > Congresses. Object-oriented programming (Computer science) > Congresses. Composants logiciels > Congrès. Méthodes formelles (Informatique) > Congrès. Programmation orientée objet (Informatique) > Congrès. Component software. Formal methods (Computer science) Object-oriented programming (Computer science) Méthode formelle. Composant logiciel. Programmation orientée objet. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

A Tool-Supported Prof System for Multithreaded Java / E. Abraham, F.S. de Boer, W.-P. de Roever and M. Steffen
Abstract Behavior Types: A Foundation Model for Components and Their Composition / F. Arbab
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML / W. Damm, B. Josko, A. Pnueli and A. Votintseva
Live and Let Die: LSC-Based Verification of UML-Models / W. Damm and B. Westphal
Reactive Animation / D. Harel, S. Efroni and I.R. Cohen
Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software / X. Deng, M.B. Dwyer, J. Hatcliff and G. Jung / Robby / G. Singh
Equivalent Semantic Models for a Distributed Dataspace Architecture / J. Hooman and Jaco van de Pol.