754 search results - page 86 / 151 » Requirements for Automotive System Engineering Tools |
203
click to vote
PLDI
2003
ACM
15 years 11 months 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...
143
click to vote
WIRTSCHAFTSINFORMATI
2007
15 years 6 months ago
2007
Software evolution is an essential concept underlying the engineering of corporate portals. Due to the complexity of such systems, it requires great effort and is not advisable to...
141
click to vote
SOSP
2003
ACM
16 years 2 months ago
2003
ACM
Many interesting large-scale systems are distributed systems of multiple communicating components. Such systems can be very hard to debug, especially when they exhibit poor perfor...
163
click to vote
RE
2001
Springer
15 years 10 months ago
2001
Springer
Effective and efficient requirements negotiation is a key to the success of software development efforts. For large projects, this can be especially difficult to do effectively an...
173
click to vote
SIGSOFT
2003
ACM
16 years 6 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...