Transform Your Computer Science Course with Specifications Grading.

David L. Largent Christian Roberson

Published in: SIGCSE (2020)

Keyphrases

machine learning
functional requirements
database
search algorithm
formal specification
data sets
operational semantics