Keyphrases
- authoring tool
- formal specification
- adaptive hypermedia
- model checking
- specification languages
- intelligent tutoring systems
- specification language
- object oriented design
- learning objects
- learning design
- learning resources
- process algebra
- video games
- educational content
- ims ld
- concurrent systems
- learning content
- formal methods
- reverse engineering
- digital libraries
- ims qti
- databases
- software components
- open source
- scorm compliant
- database
- protocol specification