1937 search results - page 38 / 388 » Starting B Specifications from Use Cases |
132
click to vote
APSEC
2001
IEEE
15 years 5 months ago
2001
IEEE
Accelerating the learning curve of software maintainers working on systems with which they have little familiarity motivated this study. A working hypothesis was that automated me...
107
click to vote
JURIX
2008
15 years 3 months ago
2008
The two main types of law are legislation and precedents. Both types have a corresponding reasoning pattern determining legal consequences: legislation can be applied and precedent...
124
click to vote
ISESE
2005
IEEE
15 years 7 months ago
2005
IEEE
During software evolution, programmers spend a lot of time and effort in the comprehension of the internal code structure. Such an activity is often required because the available...
131
click to vote
ASE
2002
15 years 1 months ago
2002
The cost of maintaining a software system over a long period of time far exceeds its initial development cost. Much of the maintenance cost is attributed to the time required by ne...
111
click to vote
FSEN
2009
Springer
15 years 5 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...