15779 search results - page 2339 / 3156 » Change-oriented software engineering |
211
Voted
KBSE
2003
IEEE
16 years 20 days ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
180
click to vote
KBSE
2003
IEEE
16 years 20 days ago
2003
IEEE
We present a method for performing fault localization using similar program spectra. Our method assumes the existence of a faulty run and a larger number of correct runs. It then ...
195
click to vote
KBSE
2003
IEEE
16 years 20 days ago
2003
IEEE
When performing a program evolution task, developers typically spend a significant amount of effort investigating and re-investigating source code. To reduce this effort, we prop...
205
click to vote
KBSE
2003
IEEE
16 years 20 days ago
2003
IEEE
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. Viewpoints-based approache...
191
click to vote
KBSE
2003
IEEE
16 years 20 days ago
2003
IEEE
We discuss how a collection of domain-specific and domain-independent tools can be combined to “aspectize” the distributed character of server-side applications, to a much gr...