Specification and validation of a concurrent system: an educational project.
Gérard BerthelotLaure PetrucciPublished in: Int. J. Softw. Tools Technol. Transf. (2001)
Keyphrases
- pilot project
- learning community
- tertiary education
- high level
- project based learning
- case study
- curriculum development
- multimedia
- learning analytics
- project management
- e learning
- formal specification
- technology enhanced
- educational settings
- data collection and analysis
- educational modeling languages
- educational materials
- collaborative virtual environments
- open educational resources
- multi user environment
- engineering education
- primary school
- formal methods
- educational technology
- software projects
- distance education
- business processes
- data collection
- software development