摘要: This paper surveys the problems of achieving data reliability, and finds them more severe than those program reliability. It then outlines some conceptual methodological tools which are available for solution these problems, including concept type, direct product, union, sequence, recursion mapping. touches on topdown design programs, argues that references or pointers to be avoided. concludes with an annotated bibliography further reading.
acm.org
sci-hub.se 参考文章(6)
William A Wulf, ALPHARD: Toward a Language to Support Structured Programs ,(1974)
David Lorge. Parnas, Information distribution aspects of design methodology ifip congress. pp. 339- 344 ,(2012) , 10.1184/R1/6606470.V1
B. H. Liskov, A design methodology for reliable software systems Proceedings of the December 5-7, 1972, fall joint computer conference, part I on - AFIPS '72 (Fall, part I). pp. 191- 199 ,(1972) , 10.1145/1479992.1480018
George H. Mealy, Another look at data Proceedings of the November 14-16, 1967, fall joint computer conference on - AFIPS '67 (Fall). pp. 525- 534 ,(1967) , 10.1145/1465611.1465682
N. Wirth, The programming language pascal Acta Informatica. ,vol. 1, pp. 35- 63 ,(1971) , 10.1007/BF00264291
C. A. R. Hoare, Proof of correctness of data representations Acta Informatica. ,vol. 1, pp. 271- 281 ,(1972) , 10.1007/BF00289507