204
click to vote
ICSE
15 years 8 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...
200
click to vote
PEPM
15 years 8 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...
193
click to vote
PEPM
15 years 8 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 ...
179
click to vote
AADEBUG
15 years 8 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...
178
click to vote
KBSE
15 years 8 months ago
1995 IEEE 
Cost-effective engineering and evolution of complex software must involve the different stakeholders concurrently and collaboratively. The hard problem is providing computer suppo...
|
Software Engineering