Contribution of standard programming languages to software quality
作者:
B.A.Wichmann,
期刊:
Software Engineering Journal
(IET Available online 1994)
卷期:
Volume 9,
issue 1
页码: 3-12
年代: 1994
DOI:10.1049/sej.1994.0002
出版商: IEE
数据来源: IET
摘要:
The paper examines the contribution that a standard programming language can make to the quality of the software written in that language. By means of an example, we show that there is a substantial difference in languages and their implementations in the assurance provided of the correctness of the resulting program. Demonstrating that a program is correct with respect to the semantics of the language is a useful step in quality assurance.
点击下载:
PDF
(1302KB)
返 回