Formal Foundations for Aspects.

Radha Jagadeesan

Published in: FoSSaCS (2007)

Keyphrases

artificial intelligence
cooperative
formal methods
search engine
digital libraries
trade off
formal model
operational semantics
mathematical theory
main aspects
dynamic aspects