The Formal Specification of an Abstract Database: Design and Implementation.
NAVAL POSTGRADUATE SCHOOL MONTEREY CA
Pagination or Media Count:
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
- Computer Programming and Software
- Computer Hardware