This paper provides operational semantics for imperative programming languages that legitimize the phraseology used in the statement and proof of a fundamental theorem of program correctness. Some of the phrases used in the theorem are normally undefined, but intuitively appealing. This paper attempts to give precise meaning to the questionable…

This report describes DVI (Digital Video Interactive) technology, current authoring languages and tools, and the reasons for developing new tools and applications. The work described was performed by Betac Corporation as part of a Phase II Small Business Innovation Research project. Section I provides background information on DVI. DVI technology…

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 "Glass-box Interpreter" a low-level program visualization tool called Bradman designed to provide a conceptual model of C program execution for novice programmers and makes visible aspects of the programming process normally hidden from the user. Presents an experiment that tests the efficacy of Bradman, and provides…

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…

Describes a software system that allows teachers and students in practically any subject to make interactive expert systems of quizzes on the Internet. Discusses the design of the system, including building a database of questions and answers; integrating text files of questions and answers with JavaScript-HTML pages; and the JavaScript and HTML…

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

Novices in programming face many problems affecting their learning process and programming success. Learning to program includes using the programming environment, learning a programming language's syntax and semantics, understanding a problem and translating it into an executable plan, developing algorithms and programs, and testing and debugging…

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…

This paper provides an analysis of old and new programming tools for development of client/server programs, particularly World Wide Web-based programs. The focus is on development of educational systems that use interactive shared workspaces to provide portable and expandable solutions. The paper begins with a short description of relevant terms.…

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…