.NET Contracts: Attaching Specifications to Components

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.

Publisher  Springer Verlag
All copyrights reserved by Springer 2007.

Details

TypeChapter
Pages83–98
ISBN1-4020-1480-5
> Publications > .NET Contracts: Attaching Specifications to Components