Formal Systems, Not Methods
暂无分享,去创建一个
[1] Jim Woodcock,et al. Software engineering mathematics , 1988 .
[2] R. Kent Dybvig,et al. The Scheme Programming Language , 1995 .
[3] Peter Naur,et al. Programming as theory building , 1985 .
[4] John Howse,et al. Structuring formal specifications - a lesson relearned , 1994, Microprocess. Microsystems.
[5] P. Feyerabend. Against Method: Outline of an Anarchistic Theory of Knowledge , 1976 .
[6] Harlan D. Mills. Software engineering education , 1980 .
[7] Joseph A. Goguen,et al. Putting Theories Together to Make Specifications , 1977, IJCAI.
[8] Christopher Alexander. Notes on the Synthesis of Form , 1964 .
[9] G. Ryle,et al. 心的概念 = The concept of mind , 1962 .
[10] James E. Tomayko,et al. Software Engineering Education , 1987, Springer New York.
[11] K. Popper,et al. Conjectures and Refutations , 1963 .
[12] Jim Woodcock,et al. Software engineering mathematics : formal methods demystified , 1988 .
[13] F. Reif,et al. Problem solving and education: Issues in teaching and research , 1980 .
[14] Martin Loomes,et al. Applying software metrics to formal specifications: a cognitive approach , 1998, Proceedings Fifth International Software Metrics Symposium. Metrics (Cat. No.98TB100262).
[15] Ian J. Hayes,et al. Specification case studies , 1987 .
[16] Dines Bjørner,et al. Pinnacles of software engineering: 25 years of formal methods , 2000, Ann. Softw. Eng..
[17] Martin James Loomes. Software engineering curriculum design , 1991 .