论文信息 - SAFE: A Programming Language for Software Quality - 字舞流文

SAFE: A Programming Language for Software Quality

A heavy responsibility for ensuring the quality of programs currently rests with programmers. Existing languages do little to reduce this burden.

R. Geoff Dromey | B. K. Oliver | R. Dromey | B. Oliver

[1] John W. Backus,et al. Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.

[2] Marvin Minsky,et al. Form and Content in Computer Science , 1987 .

[3] Robert W. Floyd,et al. The paradigms of programming , 1979, CACM.

[4] P. J. Landin,et al. The next 700 programming languages , 1966, CACM.

[5] W. Edwards Deming,et al. Out of the Crisis , 1982 .

[6] R. Geoff Dromey,et al. A Model for Software Product Quality , 1995, IEEE Trans. Software Eng..