Title :
KBMS: a knowledge-based system for modeling software system specifications
Author :
Zeroual, Kacem ; Robillard, Pierre-N
Author_Institution :
Dept. de Math et d´´Inf., Sherbrooke Univ., Que., Canada
fDate :
6/1/1992 12:00:00 AM
Abstract :
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
Keywords :
formal specification; knowledge acquisition; knowledge based systems; knowledge-based system; modeling software system specifications; requirement acquisition; software engineering; Application software; Artificial intelligence; Guidelines; Humans; Knowledge based systems; Production; Software engineering; Software maintenance; Software systems; Software tools;
Journal_Title :
Knowledge and Data Engineering, IEEE Transactions on
