Stepwise program refinement techniques can be used to simplify program verification. Programs are better understood since their main properties are clearly stated, and verification of rather complex algorithms is reduced to proving simple statements connecting successive program specifications. Additionally, it is easy to analyse similar…

Authorship attribution of source code is the task of deciding who wrote a program, given its source code. Applications include software forensics, plagiarism detection, and determining software ownership. A number of methods for the authorship attribution of source code have been presented in the past. A review of those existing methods is…

Practical abilities are important for students from majors including Computer Science and Engineering, and Electrical Engineering. Along with the popularity of ACM International Collegiate Programming Contest (ACM/ICPC) and other programming contests, online judge (OJ) websites achieve rapid development, thus providing a new kind of programming…

Web 2.0 and specifically Social Networking Software have become ubiquitous tools for communication over the last five years. Across many disciplines, practitioners and researchers have been exploring these technologies with the hope of tapping into their perceived potential. Not least in this endeavor is the field of Education. Educators and…

As India aspires to become the information and communication technology (ICT) leader in the world, the education of its children is a primary concern. While India's policymakers expect ICT to usher in promising education changes, there is a limited understanding of how computers are used and negotiated in India's schools. This dissertation is an…

Student retention in Computer Science is becoming a serious concern among Educators in many colleges and universities. Most institutions currently face a significant drop in enrollment in Computer Science. A number of different tools and strategies have emerged to address this problem (e.g., BlueJ, Karel Robot, etc.). Although these tools help to…

Purpose: The purpose of this scientific monograph is to show new and creative approaches to different school subjects in primary and secondary level. Methodology: Interdisciplinary and international comparative approaches were used. Now according to the 7th Framework Program, the preferred form of Science Education (www.scientix.eu) is preferred…

Evaluation models are being developed for assessing artificial intelligence (AI) systems in terms of similar performance by groups of people. Natural language understanding and vision systems are the areas of concentration. In simplest terms, the goal is to norm a given natural language system's performance on a sample of people. The specific…

A study of 89 computer programming students in two instructional groups found that those using Visual Basic (VB) mastered programming design concepts as well as those using traditional BASIC. Concludes that VB is an excellent choice for a first programming course (high school or university) emphasizing sequence, selection, iteration, variables,…

The information-based technologies and the accompanying managerial sciences have come to symbolize the ideology of progress and operate as a material instrumentality in social governance systems. Developing countries have incorporated the technologies, but have lacked a developed knowledge or service sector; the linkage of…

The IADIS CELDA 2012 Conference intention was to address the main issues concerned with evolving learning processes and supporting pedagogies and applications in the digital age. There had been advances in both cognitive psychology and computing that have affected the educational arena. The convergence of these two disciplines is increasing at a…