Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, but the test data generation is not automated. No matter that automatic test data generation techniques and tools are available.
We have researched how the Java PathFinder software model checker can be adopted to the specific needs of test data generation in automatic assessment. Practical problems considered are: how to derive test data directly from students' programs (i.e., without annotation) and how to visualize and how to abstract test data automatically for students? Interesting outcomes of our research are that with minor refinements generalized symbolic execution with lazy initialization (a test data generation algorithm implemented in PathFinder) can be used to construct test data directly from students' programs without annotation, and that intermediate results of the same algorithm can be used to provide novel visualizations of the test data.
Abstract thinking is a vital skill when learning computer science. Object technology and the concepts it is based upon make this skill even more crucial. However, previous research works show that students in top universities as well as experienced practitioners in industry encounter difficulties in thinking in abstract terms while practicing object oriented development. In this paper we suggest an iterative teaching methodology for supporting students in learning object oriented concepts. The suggested methodology is based on familiarizing students with modeling languages and tools at the early stages of their learning and iterating between model and code. We theoretically examine the contribution of modeling languages, in particular UML, to abstract thinking and consequently to the understanding of object oriented concepts and present some observations acquired during a trial execution of this methodology in a university course.
This article presents an approach to using open-source tools and open-source projects to add realistic and practical examples to a course on software design in a professional master's program of software engineering. Students are encouraged to use object-oriented, open-source software projects available on the Internet, and to analyze their design attributes using open-source tools, to hopefully improve their designs using documented design patterns and other design strategies. The proposed approach provides a variety of realistic examples for study, which can vary from semester to semester, without the instructor having to prepare complicated realistic examples or to rely on over-simplified examples in textbooks. Because the course and the approach are relatively new, a quantifiable assessment of the pedagogical approach has not been presented. However, the argument is made that realistic examples provide for better learning, and evidence is provided to show the feasibility of the approach. The instructor's role is more of a mentor than a traditional teacher, as every open-source project is different from a design perspective.
The ``digital society'' provides not only with new technology, but also with new concepts. Information plays a central role and becomes a valuable good, but knowledge cannot be reduced to information, and one aim for educators is to contribute in a ``knowledge society'', not only an ``information society''. A knowledge society is structured in networks, enriching the traditional hierarchies; a knowledge society promotes a kind of ``collective intelligence''. In such a society, open and distance learning has new dimensions and faces new challenges: collaboration and individualization, dealing with time and space, dealing with presence and distance, and contributing to lifelong learning. The Stellenbosch Declaration gives the main trends for ICT in education in a knowledge society, according to six major issues: digital solidarity, learners and lifelong learning, decision-making strategies, networking, research, teachers.
A web application has been developed using the Microsoft .NET technology, which allows to use the Mathematica software from any personal computer connected to Internet.
It is not necessary to have the Mathematica software in the own computer, therefore the requirements are limited to have a web browser.
All the power of a high level package for numerical and symbolic calculation can be used with no need to spend great amounts of money in individual licenses.
This allows students to use this software from their houses, by means of a simple interface, in any subject or project with mathematical calculations, even to attend virtual laboratories.
The article aims at raising the problem of culture in the context of globalisation, at characterising influence of globalisation and globalisation culture on human values and relation as expression of their spiritual world. In this context, a question of intermediary communication influence on individual's spiritual becoming is also raised. On the basis of own research data, the author defines peculiarities of internalisation level of upper secondary learners' spiritual values, observed in 1998, 2001 and 2005. On the basis of comparison, information regarding cognitive, emotional and behaviour level of internalisation and tendencies of its changes are analysed. The possibilities of teaching process, as a relevant factor of education, internalising values are concretised and the role of mathematics in this process is defined.
As part of a wide-ranging phenomenographic study of computing teachers, we explored their varying understandings of the lab practical class and discovered four distinct categories of description of lab practicals. We consider which of these categories appear comparable with non-lecture classes in other disciplines, and which appear distinctive to computing. An awareness of this range of approaches to conducting practical lab classes will better enable academics to consider which is best suited to their own purposes when designing courses.
The ongoing, unprecedented growth of ICT, coupled with the globalisation of the economy, has created a huge challenge for education. This rapid growth of infusing ICT in education is confronting stakeholders with the effectiveness and the impact of these technological applications. This paper explores the impact of ICT implementation on Hong Kong classroom practice since the inception of the government IT initiatives with particular emphasis on teachers' perceived changes in teaching and learning, and how it interacts with a variety of contextual factors such as leadership and school climate. To deepen our understanding of how ICT acts as a lever to bring about changes in student learning, this study also relates changes in learning to various factors like frequency and types of ICT tools used in classroom teaching, and the kinds of instructional strategies. It is hoped that the findings will inform educational practitioners and researchers of the emerging pedagogical practices with ICT.
This paper deals with the process of expanding the virtual secondary education school network, aiming to provide daily basis, online teaching. The context of this research is the ESR funded Eastern Finland Educational Network Project, which is a network of 36 high schools providing courses via web-based learning environments. The project is a shared activity between teachers and researchers. The aim of the present study is to investigate teachers' technological pedagogical content knowledge by finding out what kind of pedagogical solutions the teachers use while designing and carrying out online teaching. In this study thirteen online courses were analysed and based on the analysis, four different course design patterns were found. The most general approach in course designs seems to be teacher centred, focusing on well guided individual learning processes. There seems to be need for development of teacher technological pedagogical content knowledge, to support approaches of more collaborative course designs.
The use of Information and Communication Technology (ICT) in education is one important competence that student teacher should develop in their academic studies. To be capable of using ICT in education, students should study both pedagogical and technical issues. In order to affect student teachers' willingness to use ICT in education, more attention should be paid to their learning experiences. In this research, student teachers' attitudes toward the use of ICT in education were studied before and after the web-based course. Based on students' learning experiences, attitudes and evaluations of the web-based learning environment, dimensions of a successful web-based learning environment were examined. According to the results, ``motivation and accuracy'', ``learner-interface interaction'' and ``learner control and self-directed learning''are the dimensions of a learning environment that encourages student teachers' to use ICT in education. A well designed learning environment also gave a realistic overview and knowledge of the possibilities and limitations of the use of ICT in education.