Formal methods for legacy systems
暂无分享,去创建一个
[1] Donald E. Knuth,et al. fundamental algorithms , 1969 .
[2] M. P. Ward,et al. Program Analysis by Formal Transformation , 1996, Comput. J..
[3] Jayme Luiz Szwarcfiter,et al. A Structured Program to Generate all Topological Sorting Arrangements , 1974, Information Processing Letters.
[4] Martin Ward. Proving program refinements and transformations , 1986 .
[5] Martin Ward. Abstracting a Speciication from Code , 1993 .
[6] Martin P. Ward. Abstracting a specification from code , 1993, J. Softw. Maintenance Res. Pract..
[7] Keith H. Bennett,et al. A transformation system for maintenance-turning theory into practice , 1992, Proceedings Conference on Software Maintenance 1992.
[8] Frank W. Calliss. Problems with automatic restructurers , 1988, SIGP.
[9] William M. Waite,et al. An efficient machine-independent procedure for garbage collection in various list structures , 1967, CACM.
[10] Carroll Morgan,et al. Programming from specifications , 1990, Prentice Hall International Series in computer science.
[11] Martin P. Ward. Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm , 1996, IEEE Trans. Software Eng..
[12] Martin P. Ward. Reverse Engineering through Formal Transformation: Knuths 'Polynomial Addition' Algorithm , 1994, Comput. J..