1. FMCO 2002: Leiden, The Netherlands
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Springer 2003 Lecture Notes in Computer Science ISBN 3-540-20303-6- Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen: A Tool-Supported Proof System for Multithreaded Java. 1-32
- Farhad Arbab: Abstract Behavior Types: A Foundation Model for Components and Their Composition. 33-70
- Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva: Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. 71-98
- Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh: Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. 154-181
- Jozef Hooman, Jaco van de Pol: Equivalent Semantic Models for a Distributed Dataspace Architecture. 182-201
- Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok: How the Design of JML Accomodates Both Runtime Assertion Checking and Formal Verification. 262-284
- Gian Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto: From Co-algebraic Specifications to Implementation: The Mihda Toolkit. 319-338
- Bernhard Rumpe: Model-Based Testing of Object-Oriented Systems. 380-402
- Emil Sekerinski: Concurrent Object-Oriented Programs: From Specification to Code. 403-423
- Juha Plosila, Kaisa Sere, Marina A. Waldén: Design with Asynchronously Communicating Components. 424-442
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team