A Specification Language for Matching Mistake Patterns with Feedback.

Jesse Harden Luke Gusukuma Austin Cory Bart Dennis G. Kafura

Published in: SIGCSE (2021)

Keyphrases

specification language
formal specification
description language
programming language
matching algorithm
data mining techniques
pattern matching
optimal solution
cooperative
relevance feedback
software environment
requirements specification