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.
Notes:

[an error occurred while processing this directive]

Abstract State Machines