Seven layers of knowledge representation and reasoning in support of software development (1992)

by C Rich, Y A Feldman
Venue:IEEE Trans. Software Engineering