Title :
A Verification Method of Elicited Software Requirements Using Requirements Ontology
Author :
Dang Viet Dzung ; Ohnishi, Atsushi
Author_Institution :
Grad. Sch. of Sci. & Eng., Ritsumeikan Univ., Kusatsu, Japan
Abstract :
This paper briefly presents a checking method of elicited software requirements using requirements ontology, and introduces two extensions of the method. The first is capability of checking attributes of functional requirements (who, when, where, why, how), and the second is permission of requirements verifiers to specify new rules. The method is illustrated with examples, supported by a checking tool, and evaluated with experiments.
Keywords :
formal verification; ontologies (artificial intelligence); checking method; checking tool; elicited software requirements; requirements ontology; verification method; Educational institutions; Grammar; Measurement; Ontologies; Portals; Software; checking elicited requirements; requirements ontology; software requirements verification;
Conference_Titel :
Software Engineering Conference (APSEC), 2012 19th Asia-Pacific
Conference_Location :
Hong Kong
Print_ISBN :
978-1-4673-4930-7
DOI :
10.1109/APSEC.2012.136
