Introducing Formal Methods to Students Who Hate Maths and Struggle with Programming.
Nisansala YatapanagePublished in: FMTea (2021)
Keyphrases
- formal methods
- programming course
- computer programming
- introductory programming
- programming education
- reactive systems
- formal analysis
- learning environment
- safety critical
- student learning
- computer science curriculum
- knowledge based systems
- programming language
- software engineering
- formal specification
- collaborative learning
- model checker
- artificial intelligence
- model checking
- learning experience
- learning activities
- introductory computer science
- intelligent tutoring systems
- high school
- higher education
- learning styles
- computer science education
- novice programmers
- introductory programming courses
- lego mindstorms
- learning process
- computer lab
- programming skills
- high school students
- e learning
- programming environment
- intelligent tutor
- relational databases
- programming exercises
- security properties
- database
- teaching materials