Trading legibility against implementability in requirement specifications: an experimental assessment
Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95) (1995)
Mar. 27, 1995 to Mar. 29, 1995
J.-P. Jacquot , CNRSCRIN-INRIA Lorraine, Vandoeuvre-les-Nancy, France
A. Valdenaire , CNRSCRIN-INRIA Lorraine, Vandoeuvre-les-Nancy, France
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.
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
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.