Instrumenting Scenarios in a Model-Driven Development Environment

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.

istscenarios.pdf
PDF file

In  Journal of Information and Software Technology

Publisher  Elsevier
Copyright © 2007 Elsevier B.V. All rights reserved.

Details

TypeArticle
Pages1027-1036
Volume46
Number15
> Publications > Instrumenting Scenarios in a Model-Driven Development Environment