Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods.
Pamela FleischmannMitja KulczynskiDirk NowotkaThomas WilkePublished in: FMTea (2019)
Keyphrases
- formal methods
- formal specification
- formal analysis
- safety critical
- knowledge based systems
- model checking
- software engineering
- model checker
- e learning
- learning environment
- online learning
- higher education
- temporal properties
- artificial intelligence
- provably correct
- computer programming
- security properties
- development lifecycle
- learning process
- process algebra
- learning systems
- formal specification language
- distance learning
- modeling language
- expert systems
- high level
- information systems