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

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…

ToonTalk is an animated interactive world inside of which one can construct a very large range of computer programs. These programs are not constructed by typing text or arranging icons, but by taking actions in this world. Robots can be trained, birds can be given messages to deliver, and so on. This paper describes the design and preliminary…

Presents the principles of a development methodology for software design based on a nonlinear, product-driven approach that integrates quality aspects. Two examples are given to show that the flexibility needed for building high quality systems leads to integrated development environments in which methodology, product, and tools are closely…

Describes the use of a commercial hypermedia package for the development of an intelligent tutoring system (ITS) for the Army's Mobile Subscriber Remote Telephone. Time comparisons with an ITS developed by programmers are discussed; users' evaluations of the two versions are described; and questionnaires used in the study are appended. (Contains…

Proposes that object-oriented (OO) analysis, design, and programming methods, currently having a major impact on computing, will play an increasing role in shaping the paradigms of performance technology--particularly in instructional design (ID). Ties this crossover of OO from computing to ID to design trends and ongoing research in ID. (AEF)

This paper describes and evaluates the instructional uses of the Claris Works and Ultimedia Tools Series authoring programs and the following titled software programs: CNN Time Capsule: 100 Defining Moments of 1993; Windows Magazine: 1994; Ultimate Digital Studio; Data Trek Manager Series; and Cinemania '95. (AEF)

Describes Windows-based multimedia authoring programs that cost less than $1000. Discusses text support, interface variety, title creation, search and retrieval capabilities, special features, platform requirements and cost, design, royalty-free use, distribution and selling. (AEF)

Presents a Multimedia Title Development Environment (MTDE), which integrates multimedia information, tools used to produce it, and their formats and storage media as objects in an Asset Repository for use by cooperative design teams. The system's architecture and data model are described; and examples are provided of MTDE use and steps in updating…

Discusses the poor technical and design quality of many Web sites and provides tips for improving quality: use meta tags; provide page sponsor identification, links back to home page, page titles; display a paragraph describing the purpose of the Web page; avoid using frames and publishing pages under construction; check language and mechanics;…

Compares and evaluates problems encountered when designing hypermedia applications for second-language instruction using Guide 3.1 and ToolBook 1.5. The strengths and limitations of both authoring facilities are discussed and domain-specific recommendations for the optimum delivery of pedagogically-sound practice are provided. (six references)…

PLUS, an authoring system designed to develop cross-platform courseware for different computer types, was evaluated for its portability (ability to run on multiple platforms without adjustment). The procedures and computer equipment used are described, and results are presented. It is concluded that PLUS produces highly portable programs. (MSE)

Compares the features, advantages, and disadvantages of two major software options available for designing web courses: (1) component, off-the shelf software that allows for creation of audio slide lectures, course materials, discussion forums, animations, synchronous chat groups, quiz creators, and electronic mail, and (2) integrated packages…

Reports on themes emphasized at the April 1994 Computer Game Developers Conference held in Santa Clara (California), including the exploding CD-ROM marketplace and the potential and challenge of using CD-ROM's multimedia capacity to build cinema-quality stories and characters into computer games. Strategies for introducing more complex plots are…