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…

Describes development of the Courseware Engineering Methodology (CEM), created to guide novices in designing effective courseware. Discusses CEM's four models: pedagogical (concerned with the courseware's pedagogical aspects), conceptual (dealing with software engineering), interface (relating to human-computer interaction), and hypermedia…

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

This paper describes a multimedia authoring system called MOPed-II. Like other authoring systems, MOPed-II reduces the time and expense of producing end-user applications by eliminating much of the programming effort they require. However, MOPed-II reflects an approach to authoring tools for educational multimedia which is different from most…

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…

This paper presents the use of an XML grammar for two complementary projects--CHAMELEON (Cooperative Hypermedia Adaptive MultimEdia Learning Objects) and EIT (Enabling Informal Teamwork). Areas of applications are modular courseware documents and the collaborative authoring process of didactical units. A number of requirements for a suitable…

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…

Discusses how, despite many obstacles, open-source software has the potential to strongly influence the future of software development and support in the academic world. (EV)

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 service is described to help enable digital libraries for education, such as the NSDL (National Science Mathematics Engineering and Technology Education Digital Library), to serve as collaboration spaces for the creation, modification and use of active learning experiences. The goal is to redefine the line between those activities that fall…

CPU SIM, an interactive low-level computer simulation package that runs on the Macintosh computer, is described. The program is designed for instructional use in the first or second year of undergraduate computer science, to teach various features of typical computer organization through hands-on exercises. (MSE)

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