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)

Provides overview of Ergonomics Abstracts Retrieval System (EARS), an online bibliographic search and retrieval system in the area of human factors engineering. Other online systems are described, the design of EARS based on inverted file organization is explained, and system expansions including a thesaurus are discussed. (Author/LRW)

Focuses on the role of the computer system in group decision making. Two systems used in solving negotiating problems--NEGO and MEDIATOR--and three procedures that can be utilized to develop group decision support systems are analyzed, based on multicriteria decision analysis and mathematical programming models. (Author/LRW)

This description of the development of expert systems designed to solve management problems focuses on the issue of corporate divestment as an example. Software needs are discussed, and an example of a management expert system for divestment analysis at James Madison University is briefly described. (Author/LRW)

Presents a formal model for specification of logical requirements of computer-based information systems that incorporates structural and dynamic aspects based on two separate models: the Logical Information Processing Structure and the Logical Information Processing Network. The model's role in systems development is discussed. (MBR)

This description of the design of an online library acquisition system highlights the use of database management systems in developing information retrieval systems, and software requirements for the hierarchical menu-driven operation. A conceptual view of the database is included. (LRW)

Describes the concept of an integrated environment which allows managers to evaluate and measure the performance of computer based information systems. Both system efficiency evaluation and user interaction evaluation are addressed, and MADAM, a system currently operational at the University of Southwestern Louisiana, is briefly described.…

Presents a four-stage hypothesis of information systems development based on computational capability, storage capability, communications capability, and effective voice input. Moore's Law and Mooers' Law are explained, the interface between the system and the user is discussed, and projections for the future are suggested. (21 references)…