2969 search results - page 35 / 594 » The Case for User-Centered CASE Tools |
125
click to vote
ISOLA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
109
click to vote
DEXA
1993
Springer
15 years 8 months ago
1993
Springer
We argue that a fully object-oriented database management system is a very suitable basis of every modern CASE environment. We describe how the features provided by an OODBMS are e...
130
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...
131
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
The correct implementation of security protocols is a challenging task. To achieve a high degree of confidence in an implementation, as with any software, ideally one requires bot...
150
click to vote
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
Software developers create a variety of artifacts that model viour of applications at different levels of abstraction; e.g. use cases, sequence diagrams, and source code. Aspect-o...