Software engineering as a model of understanding for learning and problem solving

Proceedings of the 1st International Computing Education Research Workshop, ICER 2005

Volumn , Issue , 2005, Pages 87-97

  Gibson, J Paul ^a   O'Kelly, Jackie ^a  

^a NATIONAL UNIVERSITY OF IRELAND   (Ireland)

Author keywords

Computing Education Research

Indexed keywords

COMPUTATION THEORY; DATA ACQUISITION; LEARNING SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING; STUDENTS;

COMPUTING EDUCATION RESEARCH; PROBLEM BASED LEARNING; UNIVERSITY UNDERGRADUATES;

SOFTWARE ENGINEERING;

EID: 33745185995     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1089786.1089795     Document Type: Conference Paper

References (30)

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1996.
2. M. Abadi and L. Lamport. The existence of refinement mappings. Theoretical Computer Science, 82(2):253-284, 1991.
3. R. J. R. Back and J. von Wright. Contracts, games and refinement. Theoretical Computer Science, 230(1-2):259, 2000.
4. B. S. Bloom and D. R. Krathowl. Taxonomy of educational objectives. McKay & Co, 1956.
5. S. Borys, H. H. Spitz, and B. A. Dorans. Tower of Hanoi performance of retarded young adults and nonretarded children as a function of solution length and goal state. Experimental Child Psychology, 33(1):87-110, 1982.
6. C. Brainerd. Piaget's Theory of Intelligence. Prentice-Hall, Englewood Cliffs, NJ, 1978.
7. J. S. Bruner. Toward a theory of instruction. Belknap Press of Harvard University, Cambridge, Mass, 1966.
8. W. Frakes and C. Terry. Software reuse: metrics and models. ACM Computing Surveys, 28(2):415-435, 1996.
9. W. B. Frakes and S. Isoda. Success factors of systematic reuse. IEEE Software, 11(5):14-19, 1994.
10. C. Gacek, editor. Software Reuse: Methods, Techniques, and Tools, 7th International Conference, ICSR-7. Lecture Notes in Computer Science, Vol. 2319, 2002.
11. G. C. Gannod and B. H. Cheng. A framework for classifying and comparing software reverse engineering and design recovery techniques. In 6th Working Conference on Reverse Engineering, pages 77-89. ACM Int. Conf. Series, 1999.
12. H. Gardner. Frames of mind: the theory of multiple intelligences. Basic Books, New York, 1983.
13. J. P. Gibson. Formal Object Oriented Development of Software Systems Using LOTOS. Thesis csm-114, Stirling University, Aug. 1993.
14. J. P. Gibson. A noughts and crosses Java applet to teach programming to primary school children. In PPPJ '03: Proceedings of the 2nd international conference on Principles and pructice of programming in Java, pages 85-88, New York, NY, USA, 2003. Computer Science Press, Inc.
15. J. P. Gibson and D. Méry. Teaching formal methods: Lessons to be learned. In 2nd Irish Workshop on Formal Methods, Cork, Ireland, July 1998.
16. P. Gibson and D. Méry. Fair objects. Object-oriented technology and computing systems re-engineering, pages 122-140, 1999.
17. J. P. Guilford. The Nature of Human Intelligence. McGraw-Hill, New York, 1967.
18. D. Harkin. On the mathematical works of Francois Edouard Anatole Lucas. Enseignement mathematique, 3:276-288, 1957.
19. P. Helman and R. Veroff. Intermediate Problem Solving and Data Structures: Walls and Mirrors. Benjamin Cummings Publishing Company, Menlo Park, California, 1986.
20. E. R. Hilgard and G. H. Bower. Theories of learning. Appleton-Century- Crofts, New York, 1956.
21. J. Kay, M. Barg, A. Fekete, T. Greening, O. Hollands, J. H. Kingston, and K. Crawford. Problem-based learning for foundation computer science courses. Computer Science Education, 10(2): 109-128, august 2000.
22. J. O. Kelly, S. Bergin, S. Dunne, P. Gaughran, J. Ghent, and A. Mooney. Initial findings on the impact of an alternative approach to problem based learning in computer science. In Problem-Based Learning International. Conference 2004: Pleasure by Learning, July 2004.
23. M. McCracken, V. Almstrum, D. Diaz, M. Guzdial, D. Hagan, Y. B.-D. Kolikant, C. Laxer, L. Thomas, I. Utting, and T. Wilusz. A multi-national, multi-institutional study of assessment of programming skills of first-year CS students. In ITiCSE-WGR, '01: Working group reports from ITiCSE on Innovation and technology in computer science education, pages 125-180, New York, NY, USA, 2001. ACM Press.
24. J. M. Morris. A theoretical basis for stepwise refinement and the programming calculus. Science of Computer Programming, 9(3):287-306, 1987.
25. E. Nantajeewarawat and V. Wuwongse. Nonmonotonic inheritance through specialisation. In DOOD '97: Proceedings of the 5th International, Conference on Deductive and Object-Oriented Databases, pages 423-424, London, UK, 1997. Springer-Verlag.
26. J. O'Kelly and J. P. Gibson. Pbl: year one analysis interpretation and validation. In Problem Based Learning 2005, 2005.
27. J. OKelly, A. Mooney, J. Ghent, P. Gaughran, S. Dunne, and S. Bergin. An overview of the integration of problem based learning into an existing computer science programming module. In Problem-Based Learning International. Conference 2004: Pleasure by Learning, July 2004.
28. S. Papert and J. Sculley. Mindstorms: children, computers, and powerful ideas. Basic Books, New York, 1980.
29. R. Rada. Software Reuse. Intellect Books, 1986.
30. A. H. Schoenfeld. Mathematical Problem Solving. Academic Press, Orlando, Fla, 1985.