Invariants and Code Contracts in an Online Classroom Environment - Barata, Rui Pedro de Almeida (2023)