Accession Number:

ADA164865

Title:

The Formal Specification of an Abstract Database: Design and Implementation.

Descriptive Note:

Master's thesis,

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Personal Author(s):

Report Date:

1985-12-01

Pagination or Media Count:

364.0

Abstract:

The technique of problem solving abstraction provides an appropriate tool for specifying an interface between the layers of computer hardware and software. Based on this methodology, the types of support and function calls that should be provided to application programs running on micro computers are described with respect to a database resource. The database is integrated with an abstract processor called AM, a machine which focuses on eliminating the problems with portability and reusability of software, imposed by insufficient resource abstraction. Keywords Thesis Interface standards. Author

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE