Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2014/05/01 Vol. E97-DNo. 5 ;
pp. 1028-1038 Type of Manuscript: Special Section PAPER (Special Section on Knowledge-Based Software Engineering) Category: Keyword: requirements verification, requirements ontology, checking requirements specification,