Reflections on Teaching Formal Methods for Software Development in Higher Education.
Mansur KhazeevHamna AslamDaniel de CarvalhoManuel MazzaraJean-Michel BruelJoseph Alexander BrownPublished in: FISEE (2019)
Keyphrases
- higher education
- formal methods
- software development
- development lifecycle
- software engineering
- learning in higher education
- distance learning
- hong kong
- learning technologies
- e learning
- online learning
- formal specification
- blended learning
- software systems
- model checking
- software components
- mobile learning
- technology enhanced
- tertiary education
- artificial intelligence
- problem based learning
- knowledge based systems
- hybrid learning
- learning management systems
- development process
- online education
- web based teaching
- open university
- teaching practices
- higher education institutions
- software architecture
- reverse engineering
- learning analytics
- case study
- online teaching
- information systems
- vocational education
- faculty members
- learning process
- modeling language
- learning algorithm