1407 search results - page 199 / 282 » Using Use Cases in Executable Z |
157
click to vote
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
Regression testing is a widely-used method for checking whether modifications to software systems have adversely affected the overall functionality. This is potentially an expens...
154
click to vote
PROMISE
2010
14 years 10 months ago
2010
Background: There are many data mining methods but few comparisons between them. For example, there are at least two ways to build quality optimizers, programs that find project o...
152
click to vote
TSE
2008
15 years 3 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
126
click to vote
ECMDAFA
2007
Springer
15 years 10 months ago
2007
Springer
Although there are a large number of academic and industrial model transformation frameworks available, allowing specification, implementation, maintenance and documentation of mod...
153
click to vote
FASE
2006
Springer
15 years 7 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...