A semantic driven approach for requirements consistency verification
by Francesco Gargiulo; Gabiella Gigante; Massimo Ficco
International Journal of High Performance Computing and Networking (IJHPCN), Vol. 8, No. 3, 2015

Abstract: Consistency and completeness are the main quality attributes to be guaranteed in software development. Software engineering community has largely studied consistency, together with completeness, in the last decade, to improve quality of software products and to reduce costs. Different approaches have been defined to detect and manage inconsistencies in software life cycle. The adoption of ontologies seems promising to achieve the proper level of formalism and to argue on quality properties. This paper presents a survey of the main approaches to consistency in different tasks of software engineering, focusing on the requirement engineering tasks, and proposes an ontological engineering approach to detect inconsistencies among a set of requirements written in natural language.

Online publication date: Tue, 18-Aug-2015

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of High Performance Computing and Networking (IJHPCN):
Login with your Inderscience username and password:

Username:        Password:          Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com