A Verification Method of Elicited Software Requirements Using Requirements Ontology
Dang Viet Dzung, Atsushi Ohnishi · 2012
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.