An Authoring Tool for Informal and Formal Requirements Specifications.
Reiner HähnleKristofer JohannissonAarne RantaPublished in: FASE (2002)
Keyphrases
- authoring tool
- requirements specification
- functional requirements
- formal specification
- learning objects
- intelligent tutoring systems
- learning design
- learning resources
- video games
- ims ld
- written in natural language
- adaptive hypermedia
- scorm compliant
- software requirements
- formal language
- requirements engineering
- educational content
- reactive systems
- high level
- design requirements
- content creation
- software engineering
- formal methods
- design process
- computer based learning environments
- operational semantics
- class diagram
- web services
- ims qti