Keyphrases
- software engineering
- software systems
- artificial intelligence
- software architecture
- software development
- software engineers
- reverse engineering
- development process
- programming language
- formal methods
- software design
- knowledge engineering
- data sets
- human computer interaction
- logic programs
- software maintenance
- domain theory
- information systems
- software testing
- search engine
- knowledge management
- relational databases
- requirements engineering
- defeasible logic
- formal models