Teaching Formal Methods in Academia: A Systematic Literature Review.
Rustam ZhumagambetovPublished in: FMFun (2019)
Keyphrases
- literature review
- formal methods
- case study
- higher education institutions
- teaching methods
- knowledge based systems
- formal analysis
- model checking
- safety critical
- artificial intelligence
- fuzzy theory
- learning process
- e learning
- current issues
- information systems development
- formal specification
- online learning
- software engineering
- distance learning
- design science
- databases
- process algebra
- temporal logic
- higher education
- software development
- data sets
- modeling language
- teacher education
- business process
- learning styles
- open source
- public libraries
- formal specification language