12551 search results - page 2195 / 2511 » Reuse in Systems Engineering |
167
click to vote
HICSS
2003
IEEE
16 years 1 days ago
2003
IEEE
Over the years, our group, led by Bob Balzer, designed and implemented three domain-specific languages for use by outside people in real situations. The first language described t...
162
click to vote
KBSE
2003
IEEE
16 years 1 days ago
2003
IEEE
Test designers widely believe that the overall effectiveness and cost of software testing depends largely on the type and number of test cases executed on the software. In this pa...
154
click to vote
IMC
2003
ACM
16 years 11 hour ago
2003
ACM
Border Gateway Protocol allows Autonomous Systems (ASs) to apply diverse routing policies for selecting routes and for propagating reachability information to other ASs. Although ...
173
click to vote
PLDI
2003
ACM
16 years 10 hour 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...
239
click to vote
PLDI
2003
ACM
16 years 10 hour 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...