Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -.
Antonio CeroneMarkus RoggenbachJames DavenportCasey DennerMarie FarrellMagne HaveraaenFaron MollerPhilipp KörnerSebastian KringsPeter Csaba ÖlveczkyBernd-Holger SchlingloffNikolay V. ShilovRustam ZhumagambetovPublished in: FMFun (2019)
Keyphrases
- formal methods
- higher education
- computer science
- software engineering
- artificial intelligence
- distance learning
- learning technologies
- e learning
- learning in higher education
- machine learning
- model checking
- online learning
- mobile learning
- knowledge based systems
- blended learning
- open university
- software development
- learning management systems
- researchers and practitioners
- social issues
- reverse engineering
- software systems
- formal specification
- data mining
- tertiary education
- higher education institutions
- literature review
- networked learning
- design patterns
- corporate training
- vocational education
- temporal logic