default search action

combined dblp search
author search
venue search
publication search

ask others

1. FMCO 2002: Leiden, The Netherlands

> Home > Conferences and Workshops > FMCO

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fmco/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/2002
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever:
Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Lecture Notes in Computer Science 2852, Springer 2003, ISBN 3-540-20303-6
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/Abraham-MummBRS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/Abraham-MummBRS02
Erika Ábrahám, Frank S. de Boer, Willem P. de Roever, Martin Steffen:
A Tool-Supported Proof System for Multithreaded Java. 1-32
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/Arbab02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/Arbab02
Farhad Arbab:
Abstract Behavior Types: A Foundation Model for Components and Their Composition. 33-70
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/DammJPV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/DammJPV02
Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva:
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. 71-98
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/DammW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/DammW02
Werner Damm, Bernd Westphal:
Live and Let Die: LSC-Based Verification of UML-Models. 99-135
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/HarelEC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/HarelEC02
David Harel, Sol Efroni, Irun R. Cohen:
Reactive Animation. 136-153
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/DengDHJRS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/DengDHJRS02
Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Robby, Gurdip Singh:
Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software. 154-181
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/HoomanP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/HoomanP02
Jozef Hooman, Jaco van de Pol:
Equivalent Semantic Models for a Distributed Dataspace Architecture. 182-201
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/JacobsKW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/JacobsKW02
Bart Jacobs, Joseph Kiniry, Martijn Warnier:
Java Program Verification Challenges. 202-219
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/JongK02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/JongK02
Hayco de Jong, Paul Klint:
ToolBus: The Next Generation. 220-241
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/BatsonL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/BatsonL02
Brannon Batson, Leslie Lamport:
High-Level Specifications: Lessons from Industry. 242-261
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/LeavensCCRC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/LeavensCCRC02
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
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/ArnoutM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/ArnoutM02
Karine Arnout, Bertrand Meyer:
Finding Implicit Contracts in .NET Components. 285-318
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/FerrariMRT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/FerrariMRT02
Gian-Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto:
From Co-algebraic Specifications to Implementation: The Mihda Toolkit. 319-338
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/NierstraszA02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/NierstraszA02
Oscar Nierstrasz, Franz Achermann:
A Calculus for Modeling Software Components. 339-360
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/OlderogW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/OlderogW02
Ernst-Rüdiger Olderog, Heike Wehrheim:
Specification and Inheritance in CSP-OZ. 361-379
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/Rumpe02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/Rumpe02
Bernhard Rumpe:
Model-Based Testing of Object-Oriented Systems. 380-402
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/Sekerinski02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/Sekerinski02
Emil Sekerinski:
Concurrent Object-Oriented Programs: From Specification to Code. 403-423
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/PlosilaSW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/PlosilaSW02
Juha Plosila, Kaisa Sere, Marina Waldén:
Design with Asynchronously Communicating Components. 424-442
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/GosslerS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/GosslerS02
Gregor Gößler, Joseph Sifakis:
Composition for Component-Based Modeling. 443-466
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/StevensT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/StevensT02
Perdita Stevens, Jennifer Tenzer:
Games for UML Software Design. 467-486
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/PattinsonW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/PattinsonW02
Dirk Pattinson, Martin Wirsing:
Making Components Move: A Separation of Concerns Approach. 487-507

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.