The symbiosis of concurrency and verification: teaching and case studies.
Jan Bækgaard PedersenPeter H. WelchPublished in: Formal Aspects Comput. (2018)
Keyphrases
- case study
- problem based learning
- e learning
- distance learning
- lessons learned
- higher education
- database systems
- concurrency control
- formal verification
- high school
- web based collaborative learning environments
- computer programming
- teaching materials
- data sets
- online learning
- real world
- learning process
- development process
- blended learning
- educational technology
- face verification
- open source
- learning systems
- data flow
- database management systems
- web based learning
- learning analytics
- elementary school
- secondary school
- signature verification
- design process
- educational software
- dynamic allocation