Formal Model and DSL for Separation of Concerns based on Views.

Mehdi Adda Hamid Mcheick Hafedh Mili

Published in: J. Object Technol. (2010)

Keyphrases

formal model
multiple views
single view
predicate calculus
database
security properties
probabilistic knowledge
information systems
high level
viewpoint
early stage
materialized views