1. FMCO 2002: Leiden, The Netherlands

@proceedings{DBLP:conf/fmco/2002,
  editor    = {Frank S. de Boer and
               Marcello M. Bonsangue and
               Susanne Graf and
               Willem P. de Roever},
  title     = {Formal Methods for Components and Objects, First International
               Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8,
               2002, Revised Lectures},
  booktitle = {FMCO},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2852},
  year      = {2003},
  isbn      = {3-540-20303-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• 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, Angelika Votintseva:
  Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. 71-98
  
• Werner Damm, Bernd Westphal:
  Live and Let Die: LSC-Based Verification of UML-Models. 99-135
  
• David Harel, Sol Efroni, Irun R. Cohen:
  Reactive Animation. 136-153
  
• 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
  
• Bart Jacobs, Joseph Kiniry, Martijn Warnier:
  Java Program Verification Challenges. 202-219
  
• Hayco de Jong, Paul Klint:
  ToolBus: The Next Generation. 220-241
  
• Brannon Batson, Leslie Lamport:
  High-Level Specifications: Lessons from Industry. 242-261
  
• 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
  
• Karine Arnout, Bertrand Meyer:
  Finding Implicit Contracts in .NET Components. 285-318
  
• Gian Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto:
  From Co-algebraic Specifications to Implementation: The Mihda Toolkit. 319-338
  
• Oscar Nierstrasz, Franz Achermann:
  A Calculus for Modeling Software Components. 339-360
  
• Ernst-Rüdiger Olderog, Heike Wehrheim:
  Specification and Inheritance in CSP-OZ. 361-379
  
• 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
  
• Gregor Gößler, Joseph Sifakis:
  Composition for Component-Based Modeling. 443-466
  
• Perdita Stevens, Jennifer Tenzer:
  Games for UML Software Design. 467-486
  
• Dirk Pattinson, Martin Wirsing:
  Making Components Move: A Separation of Concerns Approach. 487-507
  

Last update Fri May 25 08:14:14 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page