Formal Specification of an Abstract Database: Design and Implementation

摘要

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)