Integrated program verification tools in education.
Guido de CasoDiego GarbervetskyDaniel GorínPublished in: Softw. Pract. Exp. (2013)
Keyphrases
- distance learning
- e learning
- software tools
- st century
- decision support
- user friendly
- educational activities
- multimedia technology
- information infrastructure
- innovative ways
- educational technology
- virtual learning environments
- technology enhanced
- intelligent tutors
- educational tools
- educational systems
- educational software
- educational settings
- teacher education
- higher education
- case study