Title :
Specifying quality requirements in a formally defined language standard
Author :
Woodman, Mark ; Henry, Roger
Author_Institution :
Dept. of Comput., Open Univ., Milton Keynes, UK
fDate :
30 Aug-3 Sep 1993
Abstract :
The forthcoming programming language standard for Modula-2 is the first to use a formal notation to express its language requirements. While the precision that a mathematical model brings should itself ensure high quality in conforming implementations, it is remarkable that considerable effort has been expended in adding explicit quality-attributes to the standard. The paper reports on how this has been achieved and suggests that standards based on formal models offer clear opportunities for the incorporation of quality-related requirements
Keywords :
Modula; formal specification; software quality; standards; Modula-2; formal notation; formally defined language standard; programming language standard; quality requirements; Computer languages; Computer science; IEC standards; ISO standards; Mathematical model; Natural languages; Program processors; Software libraries; Standards organizations; Writing;
Conference_Titel :
Software Engineering Standards Symposium, 1993. Proceedings., 1993
Conference_Location :
Brighton
Print_ISBN :
0-8186-4240-8
DOI :
10.1109/SESS.1993.263939
