Data-Abstraction Implementation, Specification, and Testing.

John D. Gannon Paul R. McMullin Richard G. Hamlet

Published in: ACM Trans. Program. Lang. Syst. (1981)

Keyphrases

data abstraction
formal specification
conceptual modelling
conceptual modeling
database management
programming language
object oriented databases
object oriented
abstract data types
databases
high level
relational databases
software engineering
test cases
model checking