A Workshop on Formal Methods Education: An Aggregation of Opinions.
Steven D. JohnsonPublished in: Int. J. Softw. Tools Technol. Transf. (1999)
Keyphrases
- formal methods
- formal analysis
- personal experiences
- safety critical
- knowledge based systems
- process algebra
- model checking
- provably correct
- software engineering
- computing education
- distance learning
- model checker
- higher education
- formal specification
- artificial intelligence
- e learning
- temporal properties
- educational technology
- machine learning
- social media
- computer science education
- database systems
- st century
- security properties
- information and communication technologies
- knowledge acquisition
- knowledge management
- case study
- development lifecycle