155
Voted
ICSE
15 years 3 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...
149
click to vote
PEPM
15 years 3 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 ...
134
click to vote
PEPM
15 years 3 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...
130
click to vote
AADEBUG
15 years 4 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...
127
Voted
UIST
15 years 3 months ago
1995 ACM
A fundamental issue in user interface design is the effective use of available screen space, commonly referred to as the screen real estate problem. This paper presents a new dist...
|
Software Engineering