Keyphrases
- software engineering
- programming language
- specification language
- artificial intelligence
- object oriented
- operational semantics
- efficient implementation
- layered architecture
- information systems
- database
- implementation details
- software systems
- natural language
- logic programming
- target language
- reverse engineering
- software projects
- human computer interaction
- software development
- knowledge management
- machine learning