Instrumenting Scenarios in a Model-Driven Development Environment

Wolfgang Grieskamp; Nikolai Tillmann; Margus Veanes

Instrumenting Scenarios in a Model-Driven Development Environment

Wolfgang Grieskamp ,
Nikolai Tillmann ,
Margus Veanes

Journal of Information and Software Technology | January 2004 , Vol 46: pp. 1027-1036

Download BibTex

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.