Sign in

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

Mehdi AddaHamid McheickHafedh 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