Teaching of formal methods: evidence of its inclusion in curricula, results, and difficulties.
Silvana MorenoDiego VallespirÁlvaro TasistroPublished in: CIbSE (2019)
Keyphrases
- formal methods
- artificial intelligence
- formal analysis
- safety critical
- formal specification
- knowledge based systems
- software engineering
- model checking
- model checker
- learning environment
- computer science
- curriculum development
- process algebra
- formal specification language
- provably correct
- computer programming
- e learning
- distance learning
- higher education
- high school
- learning systems
- online learning
- learning process
- belief functions
- professional development