Instantiating Specifications Grading in Computer Science Courses.
David L. LargentPublished in: SIGCSE (2) (2022)
Keyphrases
- computer science courses
- learning outcomes
- delay insensitive
- high level
- specification language
- classical logic
- functional requirements
- bounded model checking
- concurrent systems
- design requirements
- reactive systems
- automatic assessment
- control flow
- data sets
- finite state machines
- software systems
- collaborative learning
- artificial neural networks
- learning environment
- reinforcement learning
- information retrieval
- databases