Keyphrases
- object oriented design
- pattern languages
- formal specification
- object oriented systems
- software design
- object oriented
- efficient learning
- design patterns
- inductive inference
- tree patterns
- artificial intelligence
- model checking
- software engineering
- learning algorithm
- business processes
- database
- software maintenance
- source code
- query processing
- membership queries
- relational databases
- information systems