DocumentCode :
3413483
Title :
An Approach to Ambiguity Analysis in Safety-Related Standards
Author :
Biscoglio, Isabella ; Coco, Alessandro ; Fusani, Mario ; Gnesi, Stefania ; Trentanni, Gianluca
Author_Institution :
Formal Methods Lab., ISTI-CNR, Pisa, Italy
fYear :
2010
fDate :
Sept. 29 2010-Oct. 2 2010
Firstpage :
461
Lastpage :
466
Abstract :
Standards for systems and software lifecycle processes have become rather popular in the last decade. Being expressed in natural language, their requirements, or clauses, are exposed to the risk of ambiguity, vagueness and subjectivity, even when safety of people and environment is the Standard´s main concern. The paper addresses some issues of this problem and presents an experimental approach to the determination and evaluation of a set of properties of the clauses, which capture the notion of the quality of their expressions. The approach adopts a rather intuitive quality model for the English language and includes the use of a tool for sentence processing. Results of a descriptive analysis of some well-known, safety-related Standards for different software application domains are shown and discussed.
Keywords :
natural languages; safety-critical software; software standards; English language; ambiguity analysis; intuitive quality model; natural language; safety related standard; sentence processing; software lifecycle process; Analysis of variance; Analytical models; Correlation; Dictionaries; IEC standards; Software; Quality; natural language analysis; standardization; standards;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Quality of Information and Communications Technology (QUATIC), 2010 Seventh International Conference on the
Conference_Location :
Porto
Print_ISBN :
978-1-4244-8539-0
Electronic_ISBN :
978-0-7695-4241-6
Type :
conf
DOI :
10.1109/QUATIC.2010.83
Filename :
5656412
Link To Document :
بازگشت