Descriptor
| Models | 2 |
| Specifications | 2 |
| Systems Development | 2 |
| Costs | 1 |
| Databases | 1 |
| Flow Charts | 1 |
| Interviews | 1 |
| Library Automation | 1 |
| Library Research | 1 |
| Library Technical Processes | 1 |
| Programing | 1 |
| More ▼ | |
Source
| Information Processing and… | 1 |
Author
| Stemple, D. W. | 1 |
Publication Type
| Reports - Research | 2 |
| Journal Articles | 1 |
Education Level
Audience
| Researchers | 1 |
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewedStemple, D. W.; And Others – Information Processing and Management, 1986
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)
Descriptors: Databases, Flow Charts, Models, Programing
DAMANS and Associates, Rockville, MD. – 1982
Eight appendices provide information related to a study which was conducted to determine the feasibility of introducing new automatic techniques to Army library technical processing activities; to examine and recommend appropriate systems and configurations for library automation; and to determine costs of implementing the recommendations. The…
Descriptors: Costs, Interviews, Library Automation, Library Research
