Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering - A White Paper.
Antonio CeroneMarkus RoggenbachJames DavenportCasey DennerMarie FarrellMagne HaveraaenFaron MollerPhilipp KoernerSebastian KringsPeter Csaba ÖlveczkyBernd-Holger SchlingloffNikolay ShilovRustam ZhumagambetovPublished in: CoRR (2020)
Keyphrases
- formal methods
- higher education
- computer science
- software engineering
- artificial intelligence
- learning technologies
- online learning
- e learning
- distance learning
- knowledge based systems
- open university
- formal specification
- blended learning
- software systems
- tertiary education
- object oriented
- software development
- learning management systems
- model checking
- social issues
- researchers and practitioners
- learning in higher education
- corporate training
- data mining
- design patterns
- expert systems
- machine learning
- software architecture
- reverse engineering
- mobile learning
- learning strategies
- active learning
- learning algorithm
- vocational education
- databases