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)

Demonstrates that an elementary understanding of computer programing and the development and illustration of the structure of computer program analysis will be valuable assets in the understanding and teaching of mathematics and may be used as modeling devices to simulate the stages of learning. (Author)

Describes a flexible planning process for developing computer based instruction (CBI) in which the CBI design is implemented on paper between the lesson design and the program production. A four-stage model is explained, including (1) an initial flowchart, (2) storyboards, (3) a detailed flowchart, and (4) an evaluation. (16 references)…

PATN is a design for a machine problem solver which uses an augmented transition network (ATN) to represent planning knowledge. In order to explore PATN's potential as a theory of human problem solving, a linguistic approach to protocol analysis is presented. An interpretation of a protocol is taken to be a parse tree supplemented by semantic and…

This report describes a higher education enrollment projection model developed for the state of Washington. The model operates on a student flow concept quantifying students through the flows of entrances, retention, transfers, and exits. The model is based on the assumption that the manner in which students now move through the State's higher…

These guidelines for communicating effectively the details of computer model design and operation to persons with varying interests in a model recommend the development of four different types of manuals to meet the needs of managers, users, analysts and programmers. The guidelines for preparing a management summary manual suggest a broad spectrum…

Designed to assist those responsible for designing school and school district computer literacy programs, this paper suggests a practical definition of the term "computer literacy," discusses types of support and skills computer literacy teachers should possess, and offers a scope and sequence model for teaching computer literacy from kindergarten…

A brief discussion of the need to define social studies is followed by methods for developing selection criteria for microcomputer programs in the social studies, a model for lesson development on a microcomputer, and evaluation criteria. The need for educators to carefully state what should be learned is emphasized in terms of controlling the…

This Programming Design Guide (PDG) was developed to permit the offline Job Aid for Selecting Instructional Setting, which is one of 13 job aids presently available for use with the Instructional Systems Development (ISD) model, to be available in an inquiry-type, online version. It is intended to provide computer programmers with all of the…

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)

Describes a model for training instructional designers who will work as members of videodisc development teams. This model develops and integrates competencies relating to instructional design, project management, interpersonal skills, storyboarding and flowcharting, programming, video production, and interactive video system knowledge. Three…