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)

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)

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)

Discusses computer managed learning (CML), both as part of an innovative educational strategy and as a means to support the classroom teacher, and argues that introduction of the computer in support of education can best be started at the bottom, i.e., with simple administrative tasks. One such introduction is described. (Author/JL)

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 the use of a graduate student in computer science to develop an automated fiscal reporting system to handle budgetary problems associated with funded research projects at the Texas A&M College of Medicine. The roles of graduate students, faculty members, and system users in the project are described. (Author/JL)

The relationship between data and their use in a planning, management and evaluation system in a higher education institution is discussed. Elements of the institutional planning process are detailed as well as the budgeting process and a method for relating fiscal resources to institutional goals and objectives. (Author/SF)