3544 search results - page 467 / 709 » Software Testing |
ICSM
2009
IEEE
15 years 7 months ago
2009
IEEE
Dependence analysis underpins many activities in software maintenance such as comprehension and impact analysis. As a result, dependence has been studied widely for programming la...
87
Voted
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
The Service-Oriented Architecture (SOA) paradigm promises to enable software vendors to compose software systems using services purchased from various suppliers. In this paper, we...
85
Voted
KBSE
2008
IEEE
15 years 7 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
104
click to vote
ICSM
2007
IEEE
15 years 7 months ago
2007
IEEE
Studying the release-time activities of a software project — that is, activities that occur around the time of a major or minor release — can provide insights into both the de...
100
Voted
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
Keyword programming is a novel technique for reducing the need to remember details of programming language syntax and APIs, by translating a small number of keywords provided by t...