A program stability measure

This paper contributes to the understanding of program structures in terms of its stability and reliability in a quantitative sense. Distinctions are made between the logical structure of a program and the information structure of a program. The general characteristics of a good program will not be discussed in this paper other than citing relevent references. The term stability is defined as the resistance to the amplification of changes that has been made to a given program. The information structure of a program is based on the sharing of information between the components of the program.

[1]  David Lorge Parnas,et al.  A technique for software module specification with examples , 1972, CACM.

[2]  H. Simon,et al.  The Organization of Complex Systems , 1977 .

[3]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .

[4]  David Lorge Parnas,et al.  Information Distribution Aspects of Design Methodology , 1971, IFIP Congress.

[5]  DAVID L. PARNAS,et al.  Some conclusions from an experiment in software engineering techniques , 1972, AFIPS '72 (Fall, part I).

[6]  Emanuel Parzen,et al.  Stochastic Processes , 1962 .

[7]  Norman L. Soong,et al.  The design of program logic , 1976, DAC '76.

[8]  Edsger W. Dijkstra,et al.  A constructive approach to the problem of program correctness , 1968 .

[9]  Edsger W. Dijkstra,et al.  Notes on structured programming , 1970 .

[10]  Erhan Çinlar,et al.  Introduction to stochastic processes , 1974 .

[11]  Christopher Alexander.  Notes on the Synthesis of Form , 1964 .

[12]  C. A. R. Hoare,et al.  Monitors: an operating system structuring concept , 1974, CACM.

[13]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[14]  R. N. Chanon.  On a measure of program structure , 1974, Symposium on Programming.

[15]  Edsger Wybe Dijkstra,et al.  Ewd 316: a short introduction to the art of programming , 1971 .

[16]  Daniel P. Maki,et al.  Mathematical models and applications : with emphasis on the social, life, and management sciences , 1973 .