A semantic driven approach for requirements consistency verification. (2015)

• Record Type: Journal Article
• Authors: Gargiulo, Francesco; Gigante, Gabiella; Ficco, Massimo
• Is Part Of: International journal of high performance computing and networking. Volume 8:Number 3(2015)
• Page Start: 201
• Page End: 211
• Publication Date: 2015
• Subjects: requirements engineering -- requirements verification -- consistency -- resource description framework -- RDF -- semantic distances -- ontology -- semantics -- software development -- software quality -- software engineering -- natural language; High performance computing -- Periodicals; Computer networks -- Periodicals; High performance computing; Periodicals; 004.05
• Languages: English
• ISSNs: 1740-0562

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.