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.-N. Robillard, K. Zeroual, "KBMS: A Knowledge-Based System for Modeling Software System Specifications", IEEE Transactions on Knowledge & Data Engineering, vol. 4, no. , pp. 238-252, June 1992, doi:10.1109/69.142015
91 ms
(Ver )