Specifications and Contract Grading in Computer Science Education. - Brian Harrington 001; Abdalaziz Galal; Rohita Nalluri; Faiza Nasiha; Anagha Vadarevu (SIGCSE (1), 2024)