Keyphrases
- formal methods
- software engineering education
- software engineering
- artificial intelligence
- software development
- software systems
- educational technology
- knowledge based systems
- model checking
- formal specification
- development process
- object oriented
- latest developments
- design patterns
- reverse engineering
- computer science
- virtual world
- online learning
- development lifecycle
- database systems