An Overview of RDM: Rational Design Methodology
暂无分享,去创建一个
[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.