Another approach for resisting student resistance to formal methods.
Daniel ZingaroPublished in: ACM SIGCSE Bull. (2008)
Keyphrases
- formal methods
- model checking
- formal analysis
- safety critical
- knowledge based systems
- student learning
- provably correct
- model checker
- artificial intelligence
- learning environment
- intelligent tutoring systems
- process algebra
- formal specification
- learning styles
- tutoring system
- reactive systems
- student model
- software engineering
- databases
- data mining
- learning process
- machine learning
- development lifecycle