DocumentCode
1976006
Title
Evaluation of Ontology-Based Checking of Software Requirements Specification
Author
Dang Viet Dzung ; Ohnishi, Atsushi
Author_Institution
Grad. Sch. of Sci. & Eng., Ritsumeikan Univ., Kusatsu, Japan
fYear
2013
fDate
22-26 July 2013
Firstpage
425
Lastpage
430
Abstract
Knowledge-based software engineering, especially ontology-based method has potential to facilitate requirements engineering. However, the effect of ontology method depends on usage contexts and experiences of software engineers. This paper illustrates the evaluation of ontology-based checking method of requirements specification by two comparative experiments: in each experiment, two groups of subjects checked a same list of requirements but one group used ontology and the other group did not. The working method of two groups exchanged in the second experiment: the group using ontology in the first experiment worked freely in the second experiment and vice versa. In major cases in both experiments, the group using ontology had better results than the group working freely did. Through the experiments, the authors can show the effectiveness of the ontology in checking software requirements specification.
Keywords
formal specification; formal verification; ontologies (artificial intelligence); ontology-based checking method; requirements engineering; software engineers experiences; software engineers usage contexts; software requirements specification; Cognition; Educational institutions; Harmonic analysis; Measurement; Natural languages; Ontologies; Software; checking requirements specification; requirements ontology;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference (COMPSAC), 2013 IEEE 37th Annual
Conference_Location
Kyoto
Type
conf
DOI
10.1109/COMPSAC.2013.70
Filename
6649857
Link To Document