Requirements Engineering (RE) is a key discipline for the success of software projects. Consistency, completeness, and accuracy are the requirements quality properties to be guaranteed by the verification task in RE. An overview of the actual trends in RE is briefly summarized, focusing more closely on the requirements verification quality properties. Completeness results is the most difficult property to guarantee. It is hard to capture the software behavior against the whole external context. In the last years, research has focused its attention to the application of semantic Web techniques to the different tasks of RE. 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 concepts that need to be accounted for requirement verification, and proposes an ontological engineering approach to demonstrate the overlapping of requirements against the external context.

A semantic driven approach for requirements consistency verification

FICCO, Massimo
2015-01-01

Abstract

Requirements Engineering (RE) is a key discipline for the success of software projects. Consistency, completeness, and accuracy are the requirements quality properties to be guaranteed by the verification task in RE. An overview of the actual trends in RE is briefly summarized, focusing more closely on the requirements verification quality properties. Completeness results is the most difficult property to guarantee. It is hard to capture the software behavior against the whole external context. In the last years, research has focused its attention to the application of semantic Web techniques to the different tasks of RE. 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 concepts that need to be accounted for requirement verification, and proposes an ontological engineering approach to demonstrate the overlapping of requirements against the external context.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11386/4776168
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 0
social impact