Mike Barnett, Wolfram Schulte, and Nikolai Tillmann
We use AsmL to specify classes and interfaces for .NET components. The AsmL description characterizes precisely the structure and possible behavior of a component. It enables a client to effectively use it without access to the source code. AsmL specifications can also be used to perform the runtime verification of .NET components. Runtime verification dynamically monitors the behavior of a component to ensure that it conforms to its specification. Initial work a Microsoft product team to integrate AsmL technology is under way.
All copyrights reserved by Springer 2007.