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)

This paper presents five designs (three one-group and two two-group) which can be effectively employed to study computer-based methods in non-laboratory settings, including actual classroom implementation, where a non-treatment control design may not be feasible. These designs are sequential analysis, value-added analysis, non-equivalent dependent…

Because of the need for models to illustrate some possible answers to practical courseware development questions, a specific, three-section model incorporating the Corrective Feedback Paradigm (PCP) is advanced for applying theory to courseware. The model is reconstructed feature-by-feature against a framework of a hypothetical, one-to-one,…

MINDS (Multiple Intelligent Node Document Servers) is a distributed system of knowledge-based query engines for efficiently retrieving multimedia documents in an office environment of distributed workstations. By learning document distribution patterns and user interests and preferences during system usage, it customizes document retrievals for…

Presents Checkland's soft systems methodology, discusses it in terms of the systems approach, and illustrates how it was used to relate evidence of user survey to practical problems of library management. Difficulties in using methodology are described and implications for library management and information science research are presented. (8…

While individualized learning strategies typically provide large amounts of instructional support, they also reply heavily on learner judgement to determine the amount of support required to achieve an objective. Frequently, these strategies result in high achievers selecting too much support and low achievers selecting too little. Interest in…

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…