DocumentCode
596179
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
Volume
1
fYear
2012
fDate
4-7 Dec. 2012
Firstpage
553
Lastpage
558
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Conference (APSEC), 2012 19th Asia-Pacific
Conference_Location
Hong Kong
ISSN
1530-1362
Print_ISBN
978-1-4673-4930-7
Type
conf
DOI
10.1109/APSEC.2012.136
Filename
6462709
Link To Document