The Community for Technology Leaders
Green Image
<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.
94 ms
(Ver 3.3 (11022016))