115
Voted
KBSE
1998
IEEE
15 years 7 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...