Data-Abstraction Refinement: A Game Semantic Approach.

Aleksandar S. Dimovski Dan R. Ghica Ranko Lazic

Published in: SAS (2005)

Keyphrases

data abstraction
database management
conceptual modelling
conceptual modeling
formal specification
object oriented databases
abstract data types
programming language
object oriented
database
domain specific
semantic information
high level
case study
database systems
preprocessing