Teaching Formal Methods and Discrete Mathematics.
Mathieu JaumeThéo LaurentPublished in: F-IDE (2014)
Keyphrases
- formal methods
- computer programming
- mathematics education
- formal analysis
- teaching mathematics
- model checking
- middle school students
- knowledge based systems
- safety critical
- computer assisted instruction
- software engineering
- artificial intelligence
- process algebra
- model checker
- middle school mathematics
- formal specification
- provably correct
- learning systems
- computer science
- word problems
- modeling language
- college level
- high school
- higher education
- science education
- reactive systems
- cooperative learning
- e learning
- teacher education
- learning process