Instrumenting Scenarios in a Model-Driven Development Environment
Wolfgang Grieskamp, Nikolai Tillmann, and Margus Veanes
2004
SpecExplorer is an integrated environment for modeldriven development of .NET software. In this paper we discuss how scenarios can be described in SpecExplorer’s modeling language, Spec#, and how the SpecExplorer tool can be used to validate those scenarios by various means.
 PDF file |
In: Journal of Information and Software Technology
Publisher: Elsevier
Copyright © 2007 Elsevier B.V. All rights reserved.
Details
| Type: | Article |
| Pages: | 1027-1036 |
| Volume: | 46 |
| Number: | 15 |
Related Projects
Related People
Related Groups
Related Labs
Related Research Areas
©2009 Microsoft Corporation. All rights reserved.