Copyright © 2004 Elsevier B.V. All rights reserved.
Available online 2 October 2004.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
SpecExplorer is an integrated environment for model-driven 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.
Keywords: Model-driven development; Scenarios; Use-cases; Validation; Verification; Automated testing







E-mail Article
Add to my Quick Links

Cited By in Scopus (7)







