More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme
James Noble, David Streader, Isaac Oscar Gariano, Miniruwani Samarakoon
Topics & Concepts
Computer scienceCorrectnessSoftware engineeringFormal methodsProgramming languageDesign by contractFormative assessmentSoftware developmentFormal verificationSoftwareSoftware constructionMathematics educationMathematicsTeaching and Learning ProgrammingSpreadsheets and End-User ComputingLogic, programming, and type systems