Teaching Deductive Verification in Why3 to Undergraduate Students.
Sandrine BlazyPublished in: FMTea (2019)
Keyphrases
- undergraduate students
- pedagogical design
- pedagogical agents
- learning environment
- learning process
- online learning
- learning systems
- graduate students
- higher education
- e learning
- programming course
- problem based learning
- distance learning
- model checking
- learning analytics
- high school
- computer programming
- academic achievement
- machine learning
- computer technology
- learning community
- information technology
- postgraduate students