D. W. Valentine, -CS educational research: a meta-analysis of SIGCSE technical symposium proceedings, Proc. of the 35 th SIGCSE Symposium, pp.255-259, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00761633

P. Huggins, -Universities failing to provide adequate background DP -Computerworld, p.3, 1970.
URL : https://hal.archives-ouvertes.fr/hal-00762904

A. Vv, -Shut down or restart? The way forward for computing in UK schools -The Royal Society Education Section, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00788037

C. Ghezzi and D. Mandrioli, -The challenges of software engineering education -Proc, of the Intl. Conf. on Software Engineering Education in the Modern Age, pp.115-127, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00512380

V. Dagien?, Informatics education for new millennium learners -Informatics in Schools, pp.9-20, 2011.

D. Kereki and I. F. , Work in progress — Transversal competencies contributions to Computer Science 1 course, 2011 Frontiers in Education Conference (FIE), pp.3-4, 2011.
DOI : 10.1109/FIE.2011.6142704

A. B. Tucker and P. Wegner, -Computer science and engineering: the discipline and its impact - In Handbook of Computer Science and Engineering, Boca Raton, 1996.
URL : https://hal.archives-ouvertes.fr/in2p3-00909183

J. Elstgeest and W. Harlen, -Environmental Science in the Primary Curriculum, 1990.

D. L. Morton, J. Gabriel, and . Electronics, The Life Story of a Technology, 2007.

M. Shane, E. A. Trivedi, M. Shenai, and K. , -An improved approach to application-specific power electronics education: curriculum development, IEEE Transactions on Education, vol.44, issue.3, pp.282-288, 2001.
URL : https://hal.archives-ouvertes.fr/halshs-00679400

D. Laurillard, Rethinking University Teaching: A Framework for the Effective Use of Educational Technology -Routledge, 1993.

H. Abelson, K. Bruce, A. Van-dam, A. Tucker, and P. Wegner, The first-course conundrum, Communications of the ACM, vol.38, issue.6, pp.116-117, 1995.
DOI : 10.1145/203241.203266

T. Hatziapostolou, P. Kefalas, and A. Sotiriadou, -Promoting computer science programmers to potential students: 10 myths for computer science, Proc. of the Informatics Education Europe III Conference, pp.125-133, 2008.
URL : https://hal.archives-ouvertes.fr/jpa-00254325

K. B. Bruce, Controversy on how to teach CS 1, ACM SIGCSE Bulletin, vol.36, issue.4, pp.29-34, 2005.
DOI : 10.1145/1041624.1041652

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.
DOI : 10.1145/363235.363259

. R. Hindley and J. P. Seldin, -Lambda-Calculus and Combinators: An Introduction, 2008.
DOI : 10.1017/CBO9780511809835
URL : https://hal.archives-ouvertes.fr/hal-01081937

L. Molková, Theory and Practice of Relational Algebra: Transforming Relational Algebra to SQL -Lambert Academic Publishing, 2012.

C. A. Gunter and J. C. Mitchell, -Theoretical Aspects of Object-Oriented Programming, Types, Semantics, and Language Design, 1994.
URL : https://hal.archives-ouvertes.fr/hal-00306182

F. Golshani, S. Panchanathan, and O. Friesen, A logical foundation for an information engineering curriculum, 30th Annual Frontiers in Education Conference. Building on A Century of Progress in Engineering Education. Conference Proceedings (IEEE Cat. No.00CH37135), pp.3-8, 2000.
DOI : 10.1109/FIE.2000.897639

S. Demeyer, Research methods in computer science -Proc, of the 27 th IEEE International Conference on Software Maintenance, p.600, 2011.

P. J. Denning, -The science in computer science -Comm, pp.35-38, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00556375

T. C. Lethbridge, J. D. Diaz-herrera, R. J. Leblanc, and J. B. Thompson, Improving software practice through education: Challenges and future trends, Future of Software Engineering (FOSE '07), pp.12-28, 2007.
DOI : 10.1109/FOSE.2007.13

P. J. Denning and P. Wegner, Introduction to What is Computation, The Computer Journal, vol.55, issue.7, pp.803-804, 2012.
DOI : 10.1093/comjnl/bxs065

L. Floridi, -Philosophy and Computing: An Introduction -Routledge, 1999.
URL : https://hal.archives-ouvertes.fr/hal-01425515

P. Rocchi, -Logic of Analog and Digital Machines -Nova Science Publishers, 2012.
URL : https://hal.archives-ouvertes.fr/in2p3-00608259

P. Rocchi, -Lectures on CS taught to introduce students with different background -Proc, of the Informatics Education Europe III Conference, pp.115-124, 2008.
URL : https://hal.archives-ouvertes.fr/in2p3-00608259