• 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