Michael Barnett, Wolfram Schulte, and Nikolai Tillmann
We use AsmL, an executable specification language created by the Foundations of Software Engineering group , to describe the behavior of .NET components and perform runtime verification. AsmL is based on the theory of ASMs; AsmL is an industrial-strength specification language that is a full member of the Microsoft .NET Framework.
|Published in||Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003|
|Series||Lecture Notes in Computer Science|
All copyrights reserved by Springer 2007.