Helping specifien evaluate their specifications (1984)

by J M WING
Venue:In Pmceedings of the 2nd Software Engineering Conference