3. FMOODS 1999:
Frank S. de Boer
: Reasoning about Histories in Object-based Distributed Systems.
: Tools for Integrating Formal Methods in to the Java Software Development Process (Invited Talk).
: Specifying component-based Java applications (Short Paper).
Object Composition and Reuse
: Distributed Feature Composition: An Architecture for Telecommunication Services (Tutorial).
: Specification of Dynamic Reconfiguration in the Context of Input/Output Relations.