Instrumenting Scenarios in a Model-Driven Development Environment
- Wolfgang Grieskamp ,
- Nikolai Tillmann ,
- Margus Veanes
Journal of Information and Software Technology | , Vol 46: pp. 1027-1036
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.