Towards typesafe weaving for modular reasoning in aspect-oriented programs.
Eric BoddenPublished in: FOAL (2012)
Keyphrases
- aspect oriented
- object oriented
- software development
- aspect oriented programming
- business applications
- knowledge representation
- crosscutting concerns
- automated reasoning
- development process
- knowledge base
- reasoning systems
- legal reasoning
- derivation rules
- real world
- software product line
- reasoning process
- reasoning tasks
- model based diagnosis
- test set
- information processing
- relational databases
- modular structure
- training set
- case study