论文信息 - Beyond structured programming

Beyond structured programming

Structured programming principles are not strong enough to control complexity and guarantee high reliability of software at the module level. Stronger organizing principles and stronger properties of components are needed to make significant gains in the quality of software. Practical proposals, based on the definition of normal forms which have a mathematical/logical foundation, are suggested as a vehicle for constructing software that is both simpler and of higher quality with regard to clearly defined and justifiable criteria.

R. Geoff Dromey | Si Pan | R. Dromey | Si Pan

[1] Jeffrey D. Uuman. Principles of database and knowledge- base systems , 1989 .

[2] John A. McDermid,et al. Software Engineer's Reference Book , 1993 .

[3] Jeffrey D. Ullman,et al. Principles Of Database And Knowledge-Base Systems , 1979 .

[4] Edsger W. Dijkstra,et al. Structured programming , 1972, A.P.I.C. Studies in data processing.

[5] Ellis Horowitz,et al. Fundamentals of Computer Algorithms , 1978 .

[6] Zohar Manna,et al. Properties of Programs and the First-Order Predicate Calculus , 1969, JACM.

[7] R. Geoff Dromey,et al. Re-engineering Loops , 1996, Comput. J..

[8] Stephen Cole Kleene. Mathematical Logic , 1967 .

[9] R. G. Dromey,et al. Cornering the Chimera , 1996, IEEE Softw..

[10] Stephen N. Zilles,et al. Programming with abstract data types , 1974 .

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

[12] Edsger W. Dijkstra,et al. Predicate Calculus and Program Semantics , 1989, Texts and Monographs in Computer Science.

[13] Jeffrey D. Ullman,et al. Principles of database and knowledge-base systems, Vol. I , 1988 .