Conferences in DBLP

Formal Methods for Components and Objects (fmco)
2002 (conf/fmco/2002)

1. Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen
   A Tool-Supported Proof System for Multithreaded Java. [Citation Graph (0, 0)][DBLP]
   FMCO, 2002, pp:1-32 [Conf]
   
2. Farhad Arbab
   Abstract Behavior Types: A Foundation Model for Components and Their Composition. [Citation Graph (0, 0)][DBLP]
   FMCO, 2002, pp:33-70 [Conf]
   
3. Werner Damm, Bernhard Josko, Amir Pnueli, Angelika Votintseva
   Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. [Citation Graph (0, 0)][DBLP]
   FMCO, 2002, pp:71-98 [Conf]
   
4. Werner Damm, Bernd Westphal
   Live and Let Die: LSC-Based Verification of UML-Models. [Citation Graph (0, 0)][DBLP]
   FMCO, 2002, pp:99-135 [Conf]
   
5. David Harel, Sol Efroni, Irun R. Cohen
   Reactive Animation. [Citation Graph (0, 0)][DBLP]
   FMCO, 2002, pp:136-153 [Conf]
   
6. Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh
   Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. [Citation Graph (0, 0)][DBLP]
   FMCO, 2002, pp:154-181 [Conf]
   
7. Jozef Hooman, Jaco van de Pol
   Equivalent Semantic Models for a Distributed Dataspace Architecture. [Citation Graph (0, 0)][DBLP]
   FMCO, 2002, pp:182-201 [Conf]
   
8. Bart Jacobs, Joseph Kiniry, Martijn Warnier
   Java Program Verification Challenges. [Citation Graph (0, 0)][DBLP]
   FMCO, 2002, pp:202-219 [Conf]
   
9. Hayco de Jong, Paul Klint
   ToolBus: The Next Generation. [Citation Graph (0, 0)][DBLP]
   FMCO, 2002, pp:220-241 [Conf]
   
10. Brannon Batson, Leslie Lamport
    High-Level Specifications: Lessons from Industry. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:242-261 [Conf]
    
11. 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. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:262-284 [Conf]
    
12. Karine Arnout, Bertrand Meyer
    Finding Implicit Contracts in .NET Components. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:285-318 [Conf]
    
13. Gian Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto
    From Co-algebraic Specifications to Implementation: The Mihda Toolkit. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:319-338 [Conf]
    
14. Oscar Nierstrasz, Franz Achermann
    A Calculus for Modeling Software Components. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:339-360 [Conf]
    
15. Ernst-Rüdiger Olderog, Heike Wehrheim
    Specification and Inheritance in CSP-OZ. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:361-379 [Conf]
    
16. Bernhard Rumpe
    Model-Based Testing of Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:380-402 [Conf]
    
17. Emil Sekerinski
    Concurrent Object-Oriented Programs: From Specification to Code. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:403-423 [Conf]
    
18. Juha Plosila, Kaisa Sere, Marina A. Waldén
    Design with Asynchronously Communicating Components. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:424-442 [Conf]
    
19. Gregor Gößler, Joseph Sifakis
    Composition for Component-Based Modeling. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:443-466 [Conf]
    
20. Perdita Stevens, Jennifer Tenzer
    Games for UML Software Design. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:467-486 [Conf]
    
21. Dirk Pattinson, Martin Wirsing
    Making Components Move: A Separation of Concerns Approach. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:487-507 [Conf]