Transform Your Computer Science Course with Specifications Grading.

David L. Largent Christian Roberson Carlo Sgro

Published in: SIGCSE (2021)

Keyphrases

specification language
delay insensitive
multiscale
information retrieval
genetic algorithm
case study
high level
formal specification
control flow
discrete fourier transform
automatic assessment
concurrent systems