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)

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

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…

This report submitted by Advocate Team No. 1 to the U.S. Office of Education, Division of Research and Development Resources (formerly Division of Manpower and Institutions) presents a proposed evaluation system for R&D institutions and programs. It includes: (1) an organizational framework within which the evaluation system could function; (2)…

This report defines the functions of computer-managed learning (CML) as (1) test generation, correction, and analysis; (2) record keeping and reporting; (3) routing learners through a set of learning activities; and (4) charting learner progress for a variety of purposes. It then describes the hardware characteristics and configuration of three…

This paper presents a nontraditional definition of competency and describes in detail a comprehensive model for the development of competency-based curricula based on that definition. The model was developed through the anasynthesis procedure and was validated through application in the development of competency-based curricula for three programs…

Software design is still a craft; techniques are based on the way things have been done, not on basic theorems or design principles. Suggests that academic software design needs to be more like a science or technology and that a taxonomy of design solutions or classification method is required. Describes two case studies. (MLW)

Described are the principles and processes of Instructional Systems Development (ISD). The ISD procedures have been used by the military and industry for a number of years, and this report provides a framework designed for a quick understanding of ISD without the need to locate and research voluminous government publications and other references.…

Characteristics of student financial aid systems are reported and a framework for evaluating student financial aid systems and classifying major data processing designs is presented. The goals of a student financial aid system are discussed, including improved service to students, increased utilization of available funds, compliance with…