http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Formal methods for components and objects
first international symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002 : revised lectures
FMCO (Symposium) 2002 : Leiden, Netherlands)
1 online resource (viii, 507 pages) : illustrations
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.
Includes bibliographical references and index.
Object-oriented programming (Computer science)
Programmation orientée objet (Informatique)
Lecture notes in computer science ; 2852