Keyphrases
- aspect oriented
- object oriented
- programming language
- software development
- business applications
- crosscutting concerns
- development process
- software product line
- aspect oriented programming
- logic programming
- classical logic
- object oriented programming
- cross cutting concerns
- meta level
- real world
- database
- automated reasoning
- programming course
- logical framework
- predicate logic
- modal logic
- query processing
- artificial intelligence
- concurrent programming