The Community for Technology Leaders
Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95) (1995)
York, England
Mar. 27, 1995 to Mar. 29, 1995
ISBN: 0-8186-7017-7
pp: 181
J.-P. Jacquot , CNRSCRIN-INRIA Lorraine, Vandoeuvre-les-Nancy, France
A. Valdenaire , CNRSCRIN-INRIA Lorraine, Vandoeuvre-les-Nancy, France
ABSTRACT
Ideally, a requirement specification language should lead to highly readable text while being implementable. Unfortunately, current technology does not offer good support for features which enhance legibility such as elisions, flexible syntaxes, and more generally incomplete texts. GLIDER's designers have deliberately included those features in the language, thus forbidding some texts to be processed. This study is a rigorous assessment, both qualitative and quantitative, of this decision on the first step of processing: the parsing of terms.
INDEX TERMS
formal specification; specification languages; grammars; requirement specifications; experimental assessment; specification language; elisions; flexible syntaxes; incomplete texts; GLIDER; rigorous assessment; term parsing; formal specifications; human factor features
CITATION

J. Jacquot and A. Valdenaire, "Trading legibility against implementability in requirement specifications: an experimental assessment," Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95)(RE), York, England, 1995, pp. 181.
doi:10.1109/ISRE.1995.512560
91 ms
(Ver 3.3 (11022016))