Specifying COM Components

Citation: Michael Barnett, Colin Campbell, Wolfram Schulte, and Margus Veanes, "Specification, Simulation and Testing of COM Components using Abstract State Machines". In R. Moreno-Díaz and A. Quesada-Arencibia, eds., Formal Methods and Tools for Computer Science (Proceedings of Eurocast 2001), Universidad de Las Palmas de Gran Canaria, Canary Islands, Spain, February 2001, 266--270.
Summary: A description of the use of ASMs (in particular, ASML) to specify, simulate, and test the interfaces of Microsoft COM (Component Object Model) components.
Subjects: Architectures
Download: From Foundations of Software Engineering at Microsoft Research in PostScript.