Presents a database system development model in which theoretical support in the form of automated theorem proving is brought to bear on the problem of enforcing integrity, i.e., ensuring that the database system represents only those states and transitions that are possible in the world it models. (MBR)

Examines various types of link list structures built on top of the traditional random access files for application to a database query technique involving multiple keys, and shows how the technique can improve performance of traditional random access files for the Grants Information System. (Author/CMV)

Presents a historical perspective of videodisc technology and technical examination of Optical Disc Corporation's (ODC) LaserVision system, an audio/video communication system which stores composite signals on videodisc. Also discussed are premastering, mastering, and replication steps in videodisc production; videodisc player design and…

Discusses the multilevel information system (MLIS), a retrieval system that integrates functions typical for database management systems and retrieval-oriented systems and provides several levels of data accessing, each developed for a different class of users. Twenty-two sources are cited. (FM)

MCAID is a relatively machine-independent technique for writing computer-aided instructional material consisting of descriptive text, multiple choice questions, and the ability to call compiled subroutines to perform extensive calculations. It was specially developed to incorporate test-authoring around complex mathematical models to explore a…

Describes the User Template Mode, a system in which a user, by means of a simple catechism, can initially select all the desired parameters and options from a set of generalized building blocks. Thereafter, he need only invoke the template to obtain his customized interactive display automatically. (Author/VT)

Written for training directors and human resource developers who have had experience and now need a systematic way to plan new programs, this book presents a new way of thinking about human learning and of organizing programs which has been developed from the systems engineering field. A first chapter explains what is meant by "systems"…

An extensive computer based education system (CBES) built around the IBM Coursewriter III program product at Ohio State University is described. In this system, numerous extensions have been added to the Coursewriter III language to provide capabilities needed to implement sophisticated instructional strategies. CBES design goals include lower CPU…

This document methodically traces the development of the fundamental concepts of systems thinking in education from Harbert to contemporary innovators. The discussion explains narrative models, concentrating on educational flowcharting techniques and mathematical models related to developments in engineering and physical science. The presentation…

This report discusses an iterative methodology for logical database design (LDD). The methodology includes four phases: local information-flow modeling, global information-flow modeling, conceptual schema design, and external schema modeling. These phases are intended to make maximum use of available information and user expertise, including the…

Provides a summary of a series of research and development projects which investigated the reasons for failure in educational technology-based systems of instruction. Develops a new approach to the design of such systems and their subsequent implementation and control. A 17-item bibliography is included. (Author/CHC)

The training requirements analysis model (TRAMOD) described in this report represents an important portion of the larger effort called the Digital Avionics Information System (DAIS) Life Cycle Cost (LCC) Study. TRAMOD is the second of three models that comprise an LCC impact modeling system for use in the early stages of system development. As…

Computer routines to sort the weekly log records submitted by teachers participating in the Southwest Regional Laboratory's communications skills monitoring program are described. Written in Univac FORTRAN V, Weekly Log Record Sort (WLSORT) sorts log records on magnetic tape to enable subsequent computer programs to interpret the input data by…

Computer routines designed to determine if a song already exists in a song file data base are described. Written in FORTRAN IV, SONG FILE DATA MATCH compares the note sequence of songs in the data base and the one to be added to it. Information is then presented to the user which analyzes the sequence of notes and compares them to other songs.…

Describes a systems development process to organize and report the data needed to prepare a microcomputer program for evaluating library instruction programs in high school libraries and media centers. A flow chart illustrating the sample program and seven references are included. (JL)