This article describes the system ProofWeb developed for teaching logic to undergraduate computer science students. The system is based on the higher order proof assistant Coq, and is made available to the students through an interactive web interface. Part of this system is a large database of logic problems. This database will also hold the…

Recent surveys of information technology management professionals show that understanding business domains in terms of business productivity and cost reduction potential, knowledge of different vertical industry segments and their information requirements, understanding of business processes and client-facing skills are more critical for…

How does early feedback change the programming problem solving in an online environment and help students choose correct approaches? This study was conducted in a sample of students learning programming in an online course entitled Introduction to C++ and OOP (Object Oriented Programming) using the ANGEL learning management system platform. My…

When teaching Geographical Information Systems (GIS) it is important to explain the theoretical elements, but it is also necessary to illustrate the basic functions with examples. To help students it is advisable to separate the teaching of fundamentals from the practical application of complex GIS software. A simple programming language like Logo…

The value and the pitfalls of project and group work are well recognized. The principles and elements which apply to projects in general, apply to project-based courses. Thoughtful and detailed planning, understanding of the stakeholders and their needs, a good design, appropriate testing, monitoring and quality control and continual management…

There is an active research community concentrating on visualizations of algorithms taught in CS1 and CS2 courses. These visualizations can help students to create concrete visual images of the algorithms and their underlying concepts. Not only "fundamental algorithms" can be visualized, but also algorithms used in compilers. Visualizations that…

Pedagogical beliefs and attitudes significantly determine the professional skills and practice of teachers. Many professional development programs for teachers aim to the elaboration of the pedagogical knowledge in order to improve teaching quality. This paper presents the study of pedagogical beliefs of computer science teachers in Greece. The…

In the last few decades, analogy, which is considered as a special case for reasoning, has attracted a great deal of attention from cognitive scientists. Although analogy was rarely applied in previous decades, now it is often considered by educators and researchers as a strategy to provide creative solutions and poetic writing (Paris & Glynn,…

Introduction to data management classes are often times students' first exposure to advanced material in these areas. Many factors are likely to influence success in these classes, but empirical investigations have focused on relatively few variables. In this study, we extend this research by examining the relative contributions of the previously…

This study explored the development of student's conceptual understandings of limit and derivative when utilizing specifically designed computational tools. Fourteen students from a secondary Advanced Placement Calculus AB course learned and explored the limit and derivative concepts from differential calculus using visualization tools in the…

This paper reports on the design, implementation and assessment of a new approach course structure based on the combination of three cooperative methodologies. The main goal is to reduce the percentage of non-passed students focusing the learning process on students by offering different alternatives and motivational activities based on working in…

The research presented in this article deals with the difficulties and mental processes involved in the definition, implementation, and use of abstract data types encountered by 12th grade advanced-level computer science students. Research findings are interpreted within the theoretical framework of "reducing abstraction" [Hazzan 1999]. The…

This paper researches the computer languages taught in the first, second and third programming courses in Computer Information Systems (CIS), Management Information Systems (MIS or IS) curricula as well as in Computer Science (CS) and Information Technology (IT) curricula. Instructors teaching the first course in programming within a four year…

The ability to work effectively in teams has been a key competence for information systems engineers for a long time. Gradually, more attention is being paid to developing this generic competence as part of academic curricula, resulting in two questions: how to best promote team competencies and how to implement team projects successfully. These…

This paper examines the effectiveness of a technique that first appeared as a Teaching Tip in the Journal of Information Systems Education. In this approach the same problem is used in every programming assignment within a course, but the students are required to use different programming techniques. This approach was used in an intermediate C++…