3667 search results - page 479 / 734 » Software Rejuvenation - Modeling and Analysis |
163
click to vote
COMPSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
176
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
Refactorings are behavior-preserving program transformations that automate design evolution in object-oriented applications. Three kinds of design evolution are: schema transformat...
143
click to vote
RE
1999
Springer
15 years 10 months ago
1999
Springer
Scenarios have proven effective for eliciting, describing and validating software requirements; however, scenario management continues to be a significant challenge to practition...
211
click to vote
AMET
1998
Springer
15 years 10 months ago
1998
Springer
Software agents help automate a variety of tasks including those involved in buying and selling products over the Internet. Although shopping agents provide convenience for consume...
171
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...