Academia.edu no longer supports Internet Explorer.
To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.
1997
This paper describes our experiences in devising a lightweight, informal methodology for problem solving in introductory, university level, computer science. We first describe the original context of the experiment and the background to the methodology. We then give the details of the steps of the Problem Solving Cycle-Understanding, Designing, Writing and Reviewing-and the lessons we learned about our teaching from devising the material.
Abstract. Electronic government is a challenging domain for software engineering, with complex requirements involving agility, transparency, accuracy, and accessibility. The techniques of semantic frameworks—metadata-based, modeldriven development—may help to address these challenges. Data semantics and model transformations are prime application areas for formal methods, and so electronic government is an exciting new domain for education and training in formal methods.
Formal Methods in Computer Science …
Assisted Calculational Proofs and Proof Checking Based on Partial Orders2008 •
In this paper we share our experience with teaching features presented in the new standard for the C++ language (known as C++11) in our introductory CS1 programming course. Since 2010 we have been successfully teaching rvalue references, move semantics and perfect forwarding as a part of the intermediate CS2 course in object-oriented programming (OOP), so, considering the current requirements and trends in education, we decided to reorganize the introductory course from classical imperative-first approach to multiparadigm programming with early exposure to objects, templates and threads. This involves teaching elements form the STL library and the new C++11 standard, emphasizing facilities that we consider to be easier to use, and therefore easier to learn by beginners, than their older alternatives. However, not everything went smoothly. We experienced some serious difficulties, so in this paper we try to explain and offer solutions to overcome them.
1997 •
Proceedings. Frontiers in Education. 36th Annual Conference
Multi-Institutional Computer Science Education Research: A Review of Recent Studies of Novice Understanding2006 •
… taken care of, I would like …
Textoo: Learning Object Oriented Modeling using the EnunciateProceedings of Koli Calling 2005, Fifth Koli Calling Conference on Computer Science Education.
ViSCoS Mobile: Learning Computer Science on the Road2005 •
2017 •
It is a fact that programming is difficult to learn. On the other hand, programming skills are essential for each specialty in the field of computing and must be covered in the curriculum, regardless of the profile. Our experience in the last 3-4 years shows a noticeable downward trend in students' results in computer specialties. In this article, we comment on the reasons that have led to such a decline and we are looking for solutions by experimenting with motivated students from other areas of knowledge and comparing their progress in mastering basic concepts and mechanisms of programming with that of computer specialists.
Now that the conference is successfully …
VIP, a Visual Interpreter for Learning Introductory Programming with C+Innovation in Teaching and Learning in Information and Computer Sciences
Learning to Program: Going Pair-Shaped2007 •
Informatics in Education
Experience in Teaching C++11 within the Undergraduate Informatics CurriculumProceedings of the 7th International Conference On Virtual Learning NOVEMBER 2-3, 2012 MODELS & METHODOLOGIES, TECHNOLOGIES, SOFTWARE SOLUTIONS Phase II - Period 2010-2020: e-Skills for the 21st Century, pg. 125
Using Serious Games in adult education -Serious Business for Serious People-the MetaVals game case studyACM Sigcse Bulletin
Developing a computer science-specific learning taxonomy2007 •
2010 •
2006 •
Proceedings of the 4th International Conference on Informatics in Secondary Schools Evolution and Perspectives Teaching Fundamentals Concepts of Informatics
Towards a Methodical Approach for an Empirically Proofed Competency Model2009 •
Koli Calling 2009
Quick introduction to programming with an integrated code editor, automatic assessment and visual debugging tool–work in progress2010 •
2000 •
Teaching and Learning Report
Contemporary developments in teaching and learning introductory programming: Towards a research proposal2002 •
Computer Science Education
Designing for deeper learning in a blended computer science course for middle school students2015 •
International Institute of informatics and systemics (IIIS, www.iiis.org)
International Conferences on Education, Informatics, and Cybernetics (ICEIC 2011); and Integrating Research, Education and Problem Solving (IREPS 2011)Working group reports on ITiCSE on Innovation and technology in computer science education - ITiCSE-WGR '06
Research perspectives on the objects-early debate2006 •
2012 •
Lecture Notes in Computer Science
A second year course on data structures based on functional programming1995 •
Lecture Notes in Computer Science
Transitioning to OOP/Java — A Never Ending Story2008 •
Proceedings of the 8th International Conference on Computing Education Research - Koli '08
Educational research and design of the virtual learning environment2008 •
Journal of Computing Sciences in …
Merging worlds: when virtual meets physical: an experiment with hybrid learning2009 •
Proceedings of the 2008 international workshop on Functional and declarative programming in education - FDPE '08
Htdp and dmda in the battlefield2008 •
1979 •