An Overview of RDM: Rational Design Methodology

The Rational Design Methodology (RDM) is a software design method that has been derived from a collection of concepts, models, and techniques taken from ten or more years of reaearch on programming methodologies. RDM unifies this work into a systematic method for design and documentation of sequential programs. The unique features of RDM are: The combined use of data abstraction and Dijkstra’s constructive approach to program design. The encapsulation of objects, their abstract data types and programs by an abstract machine. The structure of program design as a hierarchy of abstract machines representing refinements of abstract data types.

[1]  Antonio Pizzarello,et al.  Introduction to the WELLMADE design methodology , 1978, ICSE '78.

[2]  David Gries An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs , 1976, IEEE Transactions on Software Engineering.

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

[4]  Douglas T. Ross,et al.  Structured Analysis for Requirements Definition , 1977, IEEE Transactions on Software Engineering.

[5]  Charles T. Zahn,et al.  A control statement for natural top-down structured programming , 1974, Symposium on Programming.

[6]  Lawrence Robinson,et al.  SPECIAL Reference Manual. , 1977 .

[7]  Antonio Pizzarello,et al.  Abstraction and Refinement in RDM , 1979, The Use of Formal Specification of Software.

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

[9]  F. T. Baker,et al.  Chief Programmer Team Management of Production Programming , 1972, IBM Syst. J..

[10]  Tony Hoare,et al.  Notes on Data Structuring , 1972 .

[11]  Mary Shaw,et al.  An introduction to the construction and verification of Alphard programs , 1976, ICSE '76.

[12]  C. A. R. Hoare,et al.  Proof of correctness of data representation , 1975, Language Hierarchies and Interfaces.

[13]  John V. Guttag,et al.  Abstract data types and the development of data structures , 1977, CACM.

[14]  Randall Rustin,et al.  Debugging Techniques in Large Systems , 1972 .

[15]  Ernest A. Hershey,et al.  PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems , 1976, IEEE Transactions on Software Engineering.

[16]  Edsger W. Dijkstra,et al.  Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.

[17]  Glenford J. Myers,et al.  Structured Design , 1974, IBM Syst. J..

[18]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

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

[20]  Robert N. Reinstedt,et al.  A management approach to the development of computer-based systems , 1976, ICSE '76.

[21]  Edsger W. Dijkstra,et al.  The structure of the “THE”-multiprogramming system , 1968, CACM.