Detecting of requirements inconsistency : An ontology-based approach

Proceedings - Fifth International Conference on Computer and Information Technology, CIT 2005

Volumn 2005, Issue , 2005, Pages 869-875

  Zhu, Xuefeng ^a,b   Jin, Zhi ^a,c  

^a INSTITUTE OF COMPUTING TECHNOLOGY   (China)

^b UNIVERSITY OF CHINESE ACADEMY OF SCIENCES   (China)

^c CHINESE ACADEMY OF SCIENCES   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; INFORMATION THEORY; REQUIREMENTS ENGINEERING; SEMANTICS; SOFTWARE AGENTS; SOFTWARE ENGINEERING;

HETEROGENEOUS SOFTWARE SYSTEM; ONTOLOGY-BASED METHOD; REQUIREMENTS INCONSISTENCY; STATE TRANSITION DIAGRAMS;

INFORMATION RETRIEVAL;

EID: 33746879237     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CIT.2005.96     Document Type: Conference Paper

References (11)

1. B.Nuseibeh, S.Easterbrook, A.Russo. Leveraging In-consistency in Software Development. IEEE Computer, Vol.33, No.4, pp:24-29, 2000
2. M.Jackson. The Meaning of Requirements, Annuals of Software Engineering, Vol.3, pp:5-21, 1997
3. Z.Jin, R.Lu, D.Bell. Automatically MultiParadigm Requirements Modeling and Analyzing: An Ontology-Based Approach. Science in China(Series F), Vol.46, No.4 pp:279-297, 2003
4. V.Lamsweerde, R.Darimont, E.Letier. Managing Conflict in Goal-Driven Requirements Engineering. IEEE Transactions on Software Engineering, Vol.24, No. 11, pp:908-926, 1998
5. G.Spanoudakis, A.Finkelstein. Reconciling Requirements: A Method for Managing Interference, Inconsistency and Conflict. Annuals of Software Engineering, Vol.3, pp:433-457, 1997
6. A.Finkelstein, D.Gabbay, A.Hunter, B.Nuseibeh. In-consistency Handling in Multi-Perspective Specifications. IEEE Transactions on Software Engineering. Vol.20, No.8, pp:569-578, 1994
7. C.Heitmeyer, R.Jeffords, D.Kiskis. Automated Consistency Checking Requirements Specifications. ACM Transactions on Software Engineering and Methodlogy, Vol.5, No.3, pp:231-261, 1996
8. th International Conference on Object-Oriented Information Systems, pp:464-479, Springer Verlag, 1998
9. st Conference on Current Trends in Theory and Practice of Computer Science, Lecture Notes in Computer Science, Volume 3381, pp: 340-349, Springer Verlag, Jan 2005
10. th IEEE International Conference on Engineering of Complex Computer Systems, pp:402-410, IEEE Computer Society Press, Shanghai China, June, 2005.
11. R.Lu, Z.Jin. Formal Ontology: Foundation of Domain Knowledge Sharing and Reusing. Journal of Computer Science and Technology, Vol.17, No.5, pp:535-548, 2002