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 is the fourth in a series of eight reports of a research study for the National Agricultural Library (NAL) on the effective utilization of bibliographic data bases in machine-readable form. It describes the general functional and software requirements of an NAL system using external sources of bibliographic data. Various system design…

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)

The offices of Information Resource Management and Institutional Research at Virginia Tech developed a set of guidelines for information management. This article describes the historical evolution, the forces that motivated the development of the guidelines, and the consensus-building activities that led to the acceptance of the guidelines.…