DocumentCode
1852409
Title
A Tool to Verify the Consistency of Requirements Concern Model
Author
Liu Hua-Xiao ; Wang Shou-Yan ; Jin Ying
Author_Institution
Coll. of Comput. Sci. & Technol., Jilin Univ., Changchun, China
fYear
2013
fDate
21-23 June 2013
Firstpage
1955
Lastpage
1958
Abstract
The completeness and consistency of requirements model is the basis for the success of a software project, and the verification of requirements models is a key activity in a software life cycle. We have developed a tool based on JENA to verify the consistency of concerns model under the framework of aspect oriented document driven requirements engineering, and a case study to prove the effectiveness of our tool is given at last.
Keywords
aspect-oriented programming; formal specification; formal verification; JENA; aspect oriented document driven requirements engineering; consistency verfication; requirements concern model; software life cycle; software project; Analytical models; Computational modeling; Feature extraction; Object oriented modeling; Ontologies; Software systems; Aspect-oriented requirements analysis; JENA; consistency verify; ontology;
fLanguage
English
Publisher
ieee
Conference_Titel
Computational and Information Sciences (ICCIS), 2013 Fifth International Conference on
Conference_Location
Shiyang
Type
conf
DOI
10.1109/ICCIS.2013.511
Filename
6643430
Link To Document