Conference code: 67493; Cited By :13; Export Date: 23 February 2015; Correspondence Address: Gibson, J.P.; NUI MaynoothIreland; email: pgibson@cs.nuim.ie; References: Abadi, M., Cardelli, L., (1996) A Theory of Objects, , Springer-Verlag New York, Inc., Secaucus, NJ, USA; Abadi, M., Lamport, L., The existence of refinement mappings (1991) Theoretical Computer Science, 82 (2), pp. 253-284; Back, R.J.R., Von Wright, J., Contracts, games and refinement (2000) Theoretical Computer Science, 230 (1-2), p. 259; Bloom, B.S., Krathowl, D.R., (1956) Taxonomy of Educational Objectives, , McKay & Co; Borys, S., Spitz, H.H., Dorans, B.A., Tower of Hanoi performance of retarded young adults and nonretarded children as a function of solution length and goal state (1982) Experimental Child Psychology, 33 (1), pp. 87-110; Brainerd, C., (1978) Piaget's Theory of Intelligence, , Prentice-Hall, Englewood Cliffs, NJ; Bruner, J.S., (1966) Toward a Theory of Instruction, , Belknap Press of Harvard University, Cambridge, Mass; Frakes, W., Terry, C., Software reuse: Metrics and models (1996) ACM Computing Surveys, 28 (2), pp. 415-435; Frakes, W.B., Isoda, S., Success factors of systematic reuse (1994) IEEE Software, 11 (5), pp. 14-19; (2002) Software Reuse: Methods, Techniques, and Tools, 7th International Conference, ICSR-7, 2319. , C. Gacek, editor. Lecture Notes in Computer Science; Gannod, G.C., Cheng, B.H., A framework for classifying and comparing software reverse engineering and design recovery techniques (1999) 6th Working Conference on Reverse Engineering, pp. 77-89. , ACM Int. Conf. Series; Gardner, H., (1983) Frames of Mind: The Theory of Multiple Intelligences, , Basic Books, New York; Gibson, J.P., (1993) Formal Object Oriented Development of Software Systems Using LOTOS, , Thesis csm-114, Stirling University, Aug; Gibson, J.P., A noughts and crosses Java applet to teach programming to primary school children (2003) PPPJ '03: Proceedings of the 2nd International Conference on Principles and Pructice of Programming in Java, pp. 85-88. , New York, NY, USA, Computer Science Press, Inc; Gibson, J.P., Méry, D., Teaching formal methods: Lessons to be learned (1998) 2nd Irish Workshop on Formal Methods, , Cork, Ireland, July; Gibson, P., Méry, D., Fair objects (1999) Object-oriented Technology and Computing Systems Re-engineering, pp. 122-140; Guilford, J.P., (1967) The Nature of Human Intelligence, , McGraw-Hill, New York; Harkin, D., On the mathematical works of francois edouard anatole lucas (1957) Enseignement Mathematique, 3, pp. 276-288; Helman, P., Veroff, R., (1986) Intermediate Problem Solving and Data Structures: Walls and Mirrors, , Benjamin Cummings Publishing Company, Menlo Park, California; Hilgard, E.R., Bower, G.H., (1956) Theories of Learning, , Appleton-Century-Crofts, New York; Kay, J., Barg, M., Fekete, A., Greening, T., Hollands, O., Kingston, J.H., Crawford, K., Problem-based learning for foundation computer science courses (2000) Computer Science Education, 10 (2), pp. 109-128. , august; Kelly, J.O., Bergin, S., Dunne, S., Gaughran, P., Ghent, J., Mooney, A., Initial findings on the impact of an alternative approach to problem based learning in computer science (2004) Problem-based Learning International. Conference 2004: Pleasure by Learning, , July; McCracken, M., Almstrum, V., Diaz, D., Guzdial, M., Hagan, D., Kolikant, Y.B.-D., Laxer, C., Wilusz, T., A multi-national, multi-institutional study of assessment of programming skills of first-year CS students (2001) ITiCSE-WGR, '01: Working Group Reports from ITiCSE on Innovation and Technology in Computer Science Education, pp. 125-180. , New York, NY, USA, ACM Press; Morris, J.M., A theoretical basis for stepwise refinement and the programming calculus (1987) Science of Computer Programming, 9 (3), pp. 287-306; Nantajeewarawat, E., Wuwongse, V., Nonmonotonic inheritance through specialisation (1997) DOOD '97: Proceedings of the 5th International, Conference on Deductive and Object-oriented Databases, pp. 423-424. , London, UK, Springer-Verlag; O'Kelly, J., Gibson, J.P., Pbl: Year one analysis interpretation and validation (2005) Problem Based Learning 2005; O'kelly, J., Mooney, A., Ghent, J., Gaughran, P., Dunne, S., Bergin, S., An overview of the integration of problem based learning into an existing computer science programming module (2004) Problem-based Learning International. Conference 2004: Pleasure by Learning, , July; Papert, S., Sculley, J., (1980) Mindstorms: Children, Computers, and Powerful Ideas, , Basic Books, New York; Rada, R., (1986) Software Reuse, , Intellect Books; Schoenfeld, A.H., (1985) Mathematical Problem Solving, , Academic Press, Orlando, Fla
Tools
Tools
