Teaching Formal Methods to Undergraduate Students Using Maude.
Peter Csaba ÖlveczkyPublished in: WRLA@ETAPS (2022)
Keyphrases
- undergraduate students
- formal methods
- formal specification
- pedagogical design
- model checking
- artificial intelligence
- graduate students
- learning process
- knowledge based systems
- learning environment
- pedagogical agents
- software engineering
- online learning
- higher education
- educational technology
- high school
- information systems
- distance learning
- software components
- learning analytics
- databases
- recent advances
- learning systems
- knowledge representation
- database systems
- machine learning