.NET Contracts: Attaching Specifications to Components

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.


Publication typeInbook
PublisherSpringer Verlag
> Publications > .NET Contracts: Attaching Specifications to Components