Describes an automatic grading system for a formal methods computer science course that is able to evaluate a formal specification written in the Z language. Quality is measured by considering first, specification correctness (syntax, semantics, and satisfaction of customer requirements), and second, specification maintainability (comparison of…

Describes a tutorial tool which allows the execution of a C program to be graphically displayed. VINCE (Visual Instruction for Novices in a C Environment) is written in Java, allowing it to be used on the Web. Students can enter their own C code, or select from a menu of pre-written tutorials, each illustrating a particular aspect of programming.…

This article offers some solutions used in the assembly of the computerized Uniform Certified Public Accountancy (CPA) licensing examination as practical alternatives for operational programs producing large numbers of forms. The Uniform CPA examination was offered as an adaptive multistage test (MST) beginning in April of 2004. Examples of…

Business intelligence derived from data warehousing and data mining has become one of the most strategic management tools today, providing organizations with long-term competitive advantages. Business school curriculums and popular database textbooks cover data warehousing, but the examples and problem sets typically are small and unrealistic. The…

Jmol is free, open source software for interactive molecular visualization. Since it is written in the Java[TM] programming language, it is compatible with all major operating systems and, in the applet form, with most modern web browsers. This article summarizes Jmol development and features that make it a valid and promising replacement for…

The primary purpose of the study was to determine if a treatment that concentrates on building programs from previously written modules can improve the decomposition processes of novice programmers in the C++ programming language and, hence, programming performance. For purposes of performance analysis, a subsample of 23 students was divided into…

The University of Maryland University College (UMUC) serves a dispersed patron base, and its library has developed, over time, a circulation system for distributing physical research materials to its patrons throughout the United States. This article discusses the development of this system and its associated interface/database management system…

This paper proposes an approach to introducing object-oriented concepts to high school computer science students using the Object-Oriented Turing (OOT) language. Students can learn about basic object-oriented (OO) principles such as classes and inheritance by using and expanding a collection of classes that draw pictures like circles and happy…

This paper shows how JavaScript can be used within HTML pages to add interactive review sessions and quizzes incorporating graphics and sound files. JavaScript has the advantage of providing basic interactive functions without the use of separate software applications and players. Because it can be part of a standard HTML page, it is…

Assesses the cognitive consequences of reflective teaching practices compared to inquiry teaching practices on the acquisition and transfer of LOGO computer programming for 2nd- and 5th-grade students. Finds that children that participated in the reflective context developed beliefs about programming practices that were tightly coupled with their…

Program visualization is one of the various methods developed over the years to aid novices with their difficulties in learning to program. It consists of different graphical--often animated--and textual objects, visualizing the execution of programs. The aim of program visualization is to enhance students' understanding of different areas of…

Discusses computer programming and why it is important in library and information science (LIS) education. BASIC programming language is recommended as the most appropriate for LIS students, and an example is given of its use in a course at McGill University. (29 references) (LRW)

Standard methods of teaching an introductory course in computer science, designed to introduce computer programming as a tool for mathematicians and engineers at the university level, are unnecessarily complicated and difficult. They lack a common thread that unifies each unit of material and frequently make use of mathematical notation, technical…

With the strong link between programming and the underlying technology, the incorporation of computer technology into the teaching of a programming language course should be a natural progression. However, the abstract nature of programming can make such integration a difficult prospect to achieve. As a result, the main development tool, the…

This article describes the Australian Informatics Competition (AIC), a non-programming competition aimed at identifying students with potential in programming and algorithmic design. It is the first step in identifying students to represent Australia at the International Olympiad in Informatics. The main aim of the AIC is to increase awareness of…