5180 search results - page 288 / 1036 » Requirements Engineering |
153
click to vote
ISSTA
2000
ACM
15 years 11 months ago
2000
ACM
Given some test case, a program fails. Which part of the test case is responsible for the particular failure? We show how our delta debugging algorithm generalizes and simplifies...
146
click to vote
ICSM
1999
IEEE
15 years 11 months ago
1999
IEEE
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...
171
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
There is an increasingly large demand for software systems which are able to operate effectively in dynamic environments. In such environments, automated software engineering is e...
152
click to vote
SEKE
1999
Springer
15 years 11 months ago
1999
Springer
Today’s software developments are faced with steadily increasing expectations: software has to be developed faster, better, and cheaper. At the same time, application complexity ...
169
click to vote
SIGSOFT
1998
ACM
15 years 11 months ago
1998
ACM
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...