Architectural Reasoning in ArchJava.
Jonathan AldrichCraig ChambersDavid NotkinPublished in: ECOOP (2002)
Keyphrases
- knowledge base
- inference engine
- model based reasoning
- knowledge processing
- knowledge representation
- reasoning systems
- reasoning tasks
- automated reasoning
- reasoning engine
- architectural design
- software architecture
- case study
- qualitative reasoning
- meta level
- knowledge acquisition
- logic programs
- natural language
- analogical reasoning
- resource bounded
- machine learning