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. >
['Kacem Zeroual', 'Pierre N. Robillard']
KBMS: a knowledge-based system for modeling software system specifications