DocumentCode
773601
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
Volume
4
Issue
3
fYear
1992
fDate
6/1/1992 12:00:00 AM
Firstpage
238
Lastpage
252
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;
fLanguage
English
Journal_Title
Knowledge and Data Engineering, IEEE Transactions on
Publisher
ieee
ISSN
1041-4347
Type
jour
DOI
10.1109/69.142015
Filename
142015
Link To Document