Keyphrases
- tool support
- software development
- software tools
- design decisions
- software engineering
- higher education
- classical logic
- requirements engineering
- learning environment
- online learning
- learning process
- software projects
- cooperative learning
- e learning
- logic programming
- distance learning
- modal logic
- decision making
- computer programming
- teaching materials
- test suite
- case study
- distributed systems
- high school
- databases
- science education
- knowledge management
- cooperative
- relational databases