Issue No. 03 - June (1992 vol. 4)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.142015
<p>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.</p>
knowledge-based system; modeling software system specifications; software engineering; requirement acquisition; formal specification; knowledge acquisition; knowledge based systems
P. Robillard and K. Zeroual, "KBMS: A Knowledge-Based System for Modeling Software System Specifications," in IEEE Transactions on Knowledge & Data Engineering, vol. 4, no. , pp. 238-252, 1992.