Communications of the ACM · 2002 · 22 citations · 2 references
ComputingComputer ScienceInstructionFormal MethodsComputer Science EducationMathematical ProgrammingMathematical InquiryMathematical Modeling In EducationMathematical PedagogyProgramming ConceptsProgramming InstructionUndergraduate Curriculum
How formal methods can be presented in a popular---but mathematically sound---manner to undergraduate students of various disciplines.
2
What (else) should CS educators know?
Judith Gal‐Ezer, David Harel · Communications of the ACM · 1998 · 115 citations · Full text