Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists.
Léo CreuseClaire DrossChristophe GarionJérôme HuguesJoffrey HuguetPublished in: FMTea (2019)
Keyphrases
- computer scientists
- researchers and practitioners
- computer science
- model checking
- social scientists
- higher education
- computer programming
- high school
- e learning
- learning process
- abductive inference
- distance learning
- learning environment
- cooperative learning
- educational technology
- problem based learning
- learning analytics
- computational systems
- information overload
- blended learning
- teaching methods
- computer vision and image processing
- challenges facing
- learning systems
- object oriented