Formal systems, not methods

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3294, Issue , 2004, Pages 47-64

  Loomes, Martin ^a   Christianson, Bruce ^a   Davey, Neil ^a  

^a UNIVERSITY OF HERTFORDSHIRE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CURRICULA; EDUCATION; STUDENTS; TEACHING;

DIFFERENT CLASS; FORMAL SYSTEMS; GENERIC APPROACH; HERTFORDSHIRE; UNDERGRADUATE STUDENTS;

FORMAL METHODS;

EID: 35048857344     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30472-2_4     Document Type: Article

References (18)

1. Alexander, C: Notes on the Synthesis of Form, Harvard University Press (1964)
2. Bjørner, D: Pinnacles of software engineering: 25 years of formal methods. Annals of Software Engineering 10 (2000) 11-66
3. Boute, R. T: Some Fundamental Concepts in Computer Science for Telecommunication Engineers. BTM, Antwerp (June, 1980)
4. Burstall, R. M. And Goguen, J.A: Putting theories together to make specifications. Proceedings of the Fifth International Joint Conference on Artificial Intelligence. (1977)
5. Feyerabend P: Against method : outline of an anarchistic theory of knowledge, NLB (1975)
6. Hayes, I.(editor): Specification Case Studies. Prentice-Hall. (1987)
7. Jones, J., Loomes M., Shaw, R: An Education Programme for Practising Software Engineers, Proceedings of Software Engineering 86 (1986)
8. Kent Dybvig, R: The Scheme Programming Language (third edition). The MIT Press. (2003)
9. Kozmetsky, George: The significant role of problem solving in education. In D.T. Tuma and F. Reif, editors, Problem Solving and Education: Issues in Teaching and Research (1980) 151-157 Laurence Erlbaum.
10. Loomes, M. J.: Software Engineering Curriculum Design, University of Surrey PhD Thesis (1991), available from the author m.j.loomes@herts.ac.uk
11. Mills,Harlan D.: Software engineering education. Proceedings of the IEEE. (September, 1980) 1158-1162
12. Mitchell, R., Loomes, M., Howse: Structuring Formal Specifications - A Lesson Relearned, Microprocessors and Microsystems 18(10) , 593-599, ButterworthHeine, ISSN 0141-9331 (1994)
13. Naur, Peter: Programming as theory building. Microprocessing and Microprogramming. 15 (1985) 253-261. Invited keynote address at Euromicro 84, Copenhagen, Denmark.
14. Popper, Karl R: Conjectures and Refutations. Routledge and Kegan Paul. (1963)
15. Ryle, G: The concept of mind. Peregrin Books. (1949)
16. Woodcock, Jim.and Loomes, Martin: Software Engineering Mathematics. Pitman. (1988)
17. Vinter, R., Loomes, M.J., Kornbrot, D: Applying Software Metrics to Formal Specification: A Cognitive Approach, , Proceedings of the 5th. International Software Metrics Symposium, IEEE Computer Science Press, pp216-223 (1998)
18. Vygotsky, L.S: The collected works of LS Vygotsky, Volume 1, New York Plenum (1987)