Wolfgang Grieskamp, Nikolai Tillmann, and Margus Veanes
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.
|Published in||Journal of Information and Software Technology|
Copyright © 2007 Elsevier B.V. All rights reserved.