TaDA: A Logic for Time and Data Abstraction.

Pedro da Rocha Pinto Thomas Dinsdale-Young Philippa Gardner

Published in: ECOOP (2014)

Keyphrases

data abstraction
conceptual modelling
database management
object oriented databases
conceptual modeling
programming language
formal specification
object oriented
abstract data types
artificial intelligence
database design
entity relationship