A closer look at programming expertise: Critical survey of some methodological issues

Information and Software Technology

Volumn 38, Issue 1, 1996, Pages 37-46

  Návrat, Pavol ^a  

^a SLOVAK UNIVERSITY OF TECHNOLOGY   (Slovakia)

Author keywords

Abstraction; Development method; Generalization; Meta levels; Programming knowledge

Indexed keywords

COMPUTATION THEORY; FORMAL LOGIC; PROBLEM SOLVING; SOFTWARE ENGINEERING; SURVEYS; SYSTEMS ANALYSIS;

ABSTRACTION; META LEVELS; PROGRAMMING KNOWLEDGE;

COMPUTER PROGRAMMING;

EID: 0029712786     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/0950-5849(95)01043-2     Document Type: Article

References (34)

1. Návrat, P. and Mladá, I. 'What knowledge is the knowledge based programming based on? An inquiry into knowledge sources', in Plander, I. (ed.), Proc. Artificial Intelligence and Information-Control Systems of Robots 89, 1989, North-Holland, pp. 187-190.
2. Smith, D. R. 'KIDS: A semiautomatic program development system', IEEE Trans. on Soft. Eng., 16 (1990) 1024-1043.
3. Sollohub, C. 'Programming templates: Professional programmer knowledge needed by the novice', Computer Science Education, 3 (1991) 255-266.
4. Dale, N. and Walker, H. M. 'A classification of data types', Computer Science Education, 3 (1992) 223-232.
5. Rösel, A. and Bailes, P. 'Identifying foundations of software engineering expertise', SIGCSE Bulletin, 24 (1992) 52-63.
6. Jonckers, V. A Framework for Modeling Programming Knowledge PhD thesis, Vrije Universiteit Brusel, Dienst Artificiele Intelligentie, 1987
7. Bertels, K., Vanneste, P. and De Backer, C. 'A cognitive model of programming knowledge for procedural languages', in Tomek, I. (ed.) Computer Assisted Learning 92, Proc. of the 4th Int. Conf. ICCAL92 Springer-Verlag, 1992, pp. 124-135.
8. Gegg-Harrison, T. S. 'Learning Prolog in a schema based environment', Instructional Science, 20 (1991) 173-192.
9. Kaminski, D. M. 'A knowledge base approach to learning to program in Prolog', in Tomek, I. (ed.) Computer Assisted Learning 92, Proc. of the 4th Int. Conf. ICCAL92, Springer-Verlag, 1992, pp. 332-342.
10. Brusilovsky, P. L. 'Towards an intelligent environment for learning introductory programming', in Lemut, E., Boulay, B. du and Dettori, G. (eds), Cognitive Models and Intelligent Environments for Learning Programming, Springer-Verlag, 1992, pp. 114-124.
11. Manna, Z. and Waldinger, R. The Deductive Foundations of Computer Programming, Addison-Wesley, 1992.
12. Turski, W. M. and Maibaum, T. S. E. The Specification of Computer Programs, Addison-Wesley, 1987.
13. Davies, S. P. and Castel, A. M. 'Embodying theory in intelligent tutoring systems: an evaluation of plan-based accounts of programming skill', Computers and Education, 20 (1993) 89-96.
14. Návrat, P. 'Hierarchies of programming concepts: abstraction, generality, and beyond', ACM SIGCSE Bulletin, 26 (1994) 17-21.
15. Liskov, B. and Guttag, J. Abstraction and Specification in Program Development, MIT Press, 1986.
16. Newmarch, J. 'A plan-based approach to Prolog recursion', SIGCSE Bulletin, 25 (1993) 12-18.
17. Goldberg, A. and Robson, D. Smalltalk-80 The Language, Addison-Wesley, 1989.
18. Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F. and Lorensen, W. Object-oriented Modelling and Design, Prentice-Hall, 1991.
19. Tucker, A. B. 'A summary of the ACM/IEEE-CS joint curriculum task force report: Computing curricula 1991', Comm. of the ACM, 34 (1991) 69-84.
20. Dale, N. and Lilly, S. C. Pascal Plus Data Structures, Algorithms, and Advanced Programming, D. C. Heath and Co., 1991.
21. Nance, D. W. Pascal: Understanding Programming and Problem Solving, West Publ. Co., St Paul, 1992.
22. Siklossy, L. and Sykes, D. A. 'Automatic program synthesis from example problems', in Advance Papers of the 4th Int. Joint. Conf. on Artificial Intelligence, Tbilisi, 1975, pp. 268-273.
23. Koffman, E. B. Pascal: Problem Solving and Program Design, Addison-Wesley, 1992.
24. Dijkstra, E. W. Discipline of Programming, Prentice-Hall, 1976.
25. Bieliková, M. Contribution to Knowledge Based Building of Software System Configuration, PhD thesis, Slovak Technical University, Bratislava, 1995.
26. Akkermans, H., Wielinga, B. and Schreiber, G. 'Steps in constructing problem solving methods', in Aussenac, N., Boy, G., Gaines, B., Linster, M., Ganascia, J.-G. and Kodratoff, Y. (eds), Knowledge Acquisition for Knowledge-Based Systems - Proc. 7th European Workshop EKAW'93, Springer-Verlag, 1993, LNCS No 723, pp. 45-65.
27. Ohsuga, S. 'How can knowledge-based systems solve large-scale problems? Model-based decomposition and problem solving', Knowledge-Based Systems, 6 (1993) 38-62.
28. Meyer, U. 'Techniques for partial implementation of imperative languages', SIGPLAN Notices, Proc. Symposium on Partial Evaluation and Semantics Based Program Manipulation, 26 (1991) 94-105.
29. Cavalieri, M., Lamma, E., Mello, P. and Natali, A. 'Meta-programming in Prolog through direct introspection: a comparison with meta-interpretation techniques', in Rogers, M. and Abramson, H. (eds), Proc. Meta-Programming in Logic Programming, London, Massachusetts, 1989, pp. 399-415.
30. Bieliková, M. and Návrat, P. 'A programming technique of implementing multi-level logic programs', Technical report, Slovak Technical University, Bratislava, 1995.
31. Ferber, J. 'Computational reflection in class based object oriented languages', SIGPLAN Notices, Proc. OOPSLA'89, 24 (1989) 317-326.
32. Carré, B. and Dekker, L. 'Inheriting object-oriented features through meta-programming', in Mrázik, A. (ed), Proc. EastEurOOPe 91 East European Conference on Object-Oriented Programming, Bratislava, 1991, pp. 126-135.
33. Gašparovič, L. and Návrat, P. 'Extalk-Smalltalk based expert systems development tool', in Mrázik, A. (ed.), Proc. East EurOOPe 91 East European Conference on Object-Oriented Programming, Short Papers, Bratislava, 1991, pp. 65-73.
34. Bryant, A. and Evans, A. 'OO oversold', Inf. and Soft. Technol., 36 (1994) 35-42.