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…

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

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

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…

The availability of digital multimedia technology poses new challenges to researchers, authors, and educators, even as it creates new opportunities for communication. VideoScheme, a prototype video programming environment is described, along with its applications in research, authoring and education. In terms of research, VideoScheme can help…

Describes and compares two methods for developing multimedia courseware for use on the Internet: an authoring tool called Shockwave, and an object-oriented language called Java. Topics include vector graphics, browsers, interaction with network protocols, data security, multithreading, and computer languages versus development environments. (LRW)

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…

This book is a practical guide on how to create a Web document complete with images, links, tables, and forms, and how to make it appealing according to the principles of design and style. Step-by-step instructions for working through a series of practice exercises are provided to be used in the creation of a document using text and image files…

Summer 1995 saw the release, with considerable media attention, of draft versions of Sun Microsystems' Java computer programming language and the HotJava browser. Java has been heralded as the latest "killer" technology in the Internet explosion. Sun Microsystems and numerous companies including Microsoft, IBM, and Netscape have agreed…

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…

The choice of multimedia authoring systems influences the development and cost of multimedia projects. Provides a method of selecting authoring systems and organizes selection criteria into two classes for analysis: functional (authoring metaphor, interactivity, scripting language, testing paradigm, object orientation, multimedia component…