Using formal methods to reason about architectural standards

• 1 January 1997
• conference paper
• Published by Association for Computing Machinery (ACM)
• p. 503-513
• https://doi.org/10.1145/253228.253433

Abstract

Keywords

• ACTIVEX
• COM
• COMPONENT OBJECT MODEL
• MICROSOFT
• OLE
• ARCHITECTURE
• EMPIRICAL
• FORMAL METHODS
• INTEGRATION
• MEDIATOR
• MULTIMEDIA
• PARTIAL SPECIFICATION
• SOFTWARE ENGINEERING