185
Voted
ICSE
15 years 7 months ago
1995 IEEE-ACM 
A major problem in requirements engineering is obtaining requirements that address the concerns of multiple stakeholders. An approach to such a problem is the Theory-W based Spira...
173
click to vote
PEPM
15 years 7 months ago
1995 ACM 
Interpretation and Low-Level Code Optimization Saumya Debray Department of Computer Science University of Arizona Tucson, AZ 85715 Abstract interpretation is widely accepted as a ...
167
click to vote
PEPM
15 years 7 months ago
1995 ACM 
This paper concerns a method for approximating the possible “shapes” that heap-allocated structures in a program can take on. We present a new approach to finding solutions t...
164
click to vote
AADEBUG
15 years 7 months ago
1995 Springer
Software testability, the tendency for software to reveal its faults during testing, is an important issue for veri cation and quality assurance. Testability measurement can also b...
160
Voted
WCRE
15 years 7 months ago
1995 IEEE
A legacy system is an operational, large-scale software system that is maintained beyond its first generation of programmers. It typically represents a massive economic investmen...
|
Software Engineering