2748 search results - page 13 / 550 » Generating Object-Z Specifications from Use Cases |
BALT
2010
13 years 3 months ago
2010
For the purposes of tool development, computer languages are usually described using context-free grammars with annotations such as semantic actions or pretty-printing instructions...
SAC
2002
ACM
13 years 8 months ago
2002
ACM
Web-based applications are typically required to be highly customizable and configurable. New application requirements have to be introduced rapidly, often without stopping the ru...
PTS
1998
13 years 10 months ago
1998
In this paper we present factorized test generation techniques that can be used to generate test cases from a specification that is modelled as a labelled transition system. The t...
MODELS
2007
Springer
14 years 2 months ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...
CALCO
2007
Springer
14 years 17 days ago
2007
Springer
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an...