Requirements engineering: A perspective through theory-building
暂无分享,去创建一个
[1] E. Martin,et al. Macmillan dictionary of life sciences , 1983 .
[2] M.M. Lehman,et al. Programs, life cycles, and laws of software evolution , 1980, Proceedings of the IEEE.
[3] P. H. Sönksen,et al. The directorate information system at St Thomas' hospital: a study in domain analysis , 1994, Proceedings of IEEE International Conference on Requirements Engineering.
[4] I. Lakatos,et al. Proofs and Refutations: Frontmatter , 1976 .
[5] Meir M. Lehman. Programs, life cycles, and laws of software evolution , 1980 .
[6] G. Ryle,et al. 心的概念 = The concept of mind , 1962 .
[7] C. A. R. Hoare,et al. Programming: Sorcery or Science? , 1984, IEEE Software.
[8] E. Mayr,et al. Toward a New Philosophy of Biology , 1988 .
[9] Enid Mumford,et al. Systems Design Ethical Tools for Ethical Change , 1996 .
[10] Diana Kornbrot,et al. Cognitive and Organisational Aspects of Design , 1994 .
[11] Joseph A. Goguen,et al. Putting Theories Together to Make Specifications , 1977, IJCAI.
[12] C. Britton,et al. Coding or comprehension? The essence of software system design , 1993 .
[13] T. Kuhn,et al. The Structure of Scientific Revolutions. , 1964 .
[14] Janis A. Bubenko,et al. Extending the Scope of Information Modelling , 1993, International Workshop on the Deductive Approach to Information Systems and Databases.
[15] Christopher Alexander. Notes on the Synthesis of Form , 1964 .
[16] M. Sachs. Objective Knowledge , 1974 .
[17] I. Lakatos. PROOFS AND REFUTATIONS (I)*† , 1963, The British Journal for the Philosophy of Science.
[18] Martin James Loomes. Software engineering curriculum design , 1991 .
[19] Martin J. Loomes,et al. Formal Methods: No Cure for Faulty Reasoning , 1997 .
[20] Peter Naur,et al. Programming as theory building , 1985 .
[21] Joseph A. Goguen,et al. Formality and Informality in Requirements Engineering , 1996, ICRE.