An EVES Data Abstraction Example.

Mark Saaltink Sentot Kromodimoeljo Bill Pase Dan Craigen Irwin Meisels

Published in: FME (1993)

Keyphrases

data abstraction
database management
conceptual modelling
conceptual modeling
formal specification
object oriented
programming language
object oriented databases
abstract data types
model checking
information systems
database
decision making
knowledge discovery
data types
incomplete information