Instrumenting Scenarios in a Model-Driven Development Environment

Wolfgang Grieskamp, Nikolai Tillmann, and Margus Veanes

Abstract

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.

Details

Publication typeArticle
Published inJournal of Information and Software Technology
Pages1027-1036
Volume46
Number15
PublisherElsevier
> Publications > Instrumenting Scenarios in a Model-Driven Development Environment