Interactive use of a computer in the preparation of structured progams

PhD ThesisAn experimental system providing assistance in the task of program construction, validation and description is presented. This system (Pearl) encourages a particular top-down approach to programming such that programs so developed exhibit a multi-level, hierarchical structure. Amongst several tools provided by the system is one ·"hich enables programs to be exercised even though they may be eXercised in terms of abstract operations and data types. The whole system is designed to be used in an interactive environment. Programs are developed by the programmer with appropriate assistance and guidance from the computer. Contemporary programming tools and methods are surveyed and their relevance to the development of high quality software is discussed. In particular attention is given to programming methodologies,design representations and issues of program correctness. The practicality of the system is demonstrated i!l a mmber of examples.Science Research Council

NASA historical data book. Volume 2: Programs and projects 1958-1968

This is Volume 2, Programs and Projects 1958-1968, of a multi-volume series providing a 20-year compilation of summary statistical and other data descriptive of NASA's programs in aeronautics and manned and unmanned spaceflight. This series is an important component of NASA published historical reference works, used by NASA personnel, managers, external researchers, and other government agencies

Advanced vehicle systems assessment. Volume 5: Appendices

An appendix to the systems assessment for the electric hybrid vehicle project is presented. Included are battery design, battery cost, aluminum vehicle construction, IBM PC computer programs and battery discharge models

An investigation into variability within archaeologically recovered assemblages of faunal remains : the influence of pre-depositional taphonomic processes.

SIGLEAvailable from British Library Document Supply Centre- DSC:DX95528 / BLDSC - British Library Document Supply CentreGBUnited Kingdo

A Holmes and Doyle Bibliography, Volume 6: Periodical Articles, Subject Listing, By De Waal Category

This bibliography is a work in progress. It attempts to update Ronald B. De Waal’s comprehensive bibliography, The Universal Sherlock Holmes, but does not claim to be exhaustive in content. New works are continually discovered and added to this bibliography. Readers and researchers are invited to suggest additional content. Volume 6 presents the periodical literature arranged by subject categories (as originally devised for the De Waal bibliography and slightly modified here)

A Holmes and Doyle Bibliography, Volume 9: All Formats—Combined Alphabetical Listing

This bibliography is a work in progress. It attempts to update Ronald B. De Waal’s comprehensive bibliography, The Universal Sherlock Holmes, but does not claim to be exhaustive in content. New works are continually discovered and added to this bibliography. Readers and researchers are invited to suggest additional content. This volume contains all listings in all formats, arranged alphabetically by author or main entry. In other words, it combines the listings from Volume 1 (Monograph and Serial Titles), Volume 3 (Periodical Articles), and Volume 7 (Audio/Visual Materials) into a comprehensive bibliography. (There may be additional materials included in this list, e.g. duplicate items and items not yet fully edited.) As in the other volumes, coverage of this material begins around 1994, the final year covered by De Waal's bibliography, but may not yet be totally up-to-date (given the ongoing nature of this bibliography). It is hoped that other titles will be added at a later date. At present, this bibliography includes 12,594 items