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…

Various schools are struggling with the introduction of Object Oriented (OO) programming concepts and GUI (graphical user interfaces) within the traditional COBOL sequence. OO programming has been introduced in some of the curricula with languages such as C++, Smalltalk, and Java. Introducing OO programming into a typical COBOL sequence presents…

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,…

This paper describes the use of simple 4DOS batch files to automate the creation and maintenance of an infrastructure to assist students in creating and maintaining HTML World Wide Web pages. Background is provided on Web pages, DOS, 4DOS, and batch files. The assumptions made in creating the infrastructure are summarized, and program statements…

Purposes of this study were to determine: (1) if analogies and elaboration and placement of the analogies help novices learning a computer-programming language; (2) if students' mathematics ability influences programming learning; and (3) the interaction effects between analogy and mathematics ability. Subjects were 156 college students. Results…

Describes two QuickBASIC programs that provide students direct experience with interpreting correlation scatter-plots. Maintains that the programs can be used in classroom exercises to highlight factors that influence the size of a Pearson correlation coefficient. (CFR)

Describes a QuickBASIC program for demonstrating the differences between main effects and interactions in factorial designs. The program can be used in conjunction with a traditional lecture to improve student understanding and develop skills in recognizing main effects and interactions from graphic displays. (CFR)

This paper discusses the use at the University of Windsor (Ontario) of a small World Wide Web-based tool for course delivery and administration called HAL (HTML-based Administrative Lackey), written in the Scheme programming language. This tool was developed by the author to provide Web-based services for a large first-year undergraduate course in…