5252 search results - page 901 / 1051 » Requirements engineering: a roadmap |
186
click to vote
PLDI
2003
ACM
16 years 8 days ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
255
Voted
PLDI
2003
ACM
16 years 8 days ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
216
click to vote
PLDI
2003
ACM
16 years 8 days ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
195
Voted
PPPJ
2003
ACM
16 years 8 days ago
2003
ACM
The graphical user interface (GUI) is an important component of many software systems. Past surveys indicate that the development of a GUI is a significant undertaking and that t...
219
Voted
EWSPT
2003
Springer
16 years 7 days ago
2003
Springer
We present a new approach for the management and enactment of deployment process by a deployment processor ORYA (Open enviRonment to deploY Applications). ORYA aims to integrate te...