1263 search results - page 151 / 253 » A Vision on a New Generation of Software Design Environments |
176
click to vote
CPE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents TimeNET, a software tool for the modelling and performability evaluation using stochastic Petri nets. The tool has been designed especially for models...
157
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
215
click to vote
SIGMETRICS
2011
ACM
14 years 9 months ago
2011
ACM
Software bugs that occur in production are often difficult to reproduce in the lab due to subtle differences in the application environment and nondeterminism. To address this pr...
205
click to vote
APAQS
2001
IEEE
15 years 10 months ago
2001
IEEE
Integration testing has always been a challenge especially if the system under test is large with many subsystems and interfaces. This paper proposes an approach to design End-toE...
186
click to vote
AVI
2010
15 years 7 months ago
2010
In this paper, we discuss a method and the associated tool support able to exploit Web services in model-based user interface development, starting with the results of a task anal...