Teaching formal methods in the context of software engineering.
Shaoying LiuKazuhiro TakahashiToshinori HayashiToshihiro NakayamaPublished in: ACM SIGCSE Bull. (2009)
Keyphrases
- formal methods
- software engineering
- formal analysis
- safety critical
- artificial intelligence
- model checking
- process algebra
- knowledge based systems
- model checker
- learning environment
- formal specification
- e learning
- context aware
- software systems
- provably correct
- learning process
- security properties
- higher education
- object oriented
- development process
- online learning
- database systems
- development lifecycle