Enabling expressive aspect oriented modular reasoning by translucid contracts.
Mehdi BagherzadehPublished in: SPLASH/OOPSLA Companion (2010)
Keyphrases
- aspect oriented
- object oriented
- crosscutting concerns
- software development
- development process
- business applications
- aspect oriented programming
- knowledge base
- automated reasoning
- reasoning process
- reasoning systems
- databases
- expert systems
- derivation rules
- spatial reasoning
- knowledge representation languages
- highly expressive
- cross cutting concerns
- model based reasoning
- reasoning tasks
- software engineering
- knowledge representation
- query language
- database systems
- artificial intelligence