KBMS: a knowledge-based system for modeling software system specifications
Kacem Zeroual, P.N. Robillard · IEEE Transactions on Knowledge and Data Engineering · 1992
Recent research results in software engineering have shown that the process of formalizing and automating software specification activity is moving towards knowledge-based specification systems. A modeling approach and a knowledge-based system that assist in the requirement acquisition, development, and maintenance of such software system specifications are presented.>