Teaching Them Early: Formal Methods in School
暂无分享,去创建一个
[1] B. Randell,et al. Software Engineering: Report of a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7-11 Oct. 1968, Brussels, Scientific Affairs Division, NATO , 1969 .
[2] James H. Davenport,et al. Teaching of Computing to Mathematics Students: Programming and Discrete Mathematics , 2019, CEP.
[3] Zbigniew Michalewicz,et al. Puzzle-Based Learning , 2008 .
[4] Faron Moller,et al. A university-based model for supporting computer science curriculum reform , 2018, Journal of Computers in Education.
[5] Jonathan P. Bowen,et al. Engineering Trustworthy Software Systems , 2016, Lecture Notes in Computer Science.
[6] Orin Chein,et al. Problem Solving Through Recreational Mathematics , 1999 .
[7] Roland Carl Backhouse. Algorithmic Problem Solving , 2011 .
[8] Carroll Morgan. (In-)Formal Methods: The Lost Art - A Users' Manual , 2014, SETSS.
[9] Faron Moller,et al. Technocamps: Advancing Computer Science Education in Wales , 2015, WiPSCE.
[10] Brian Randell,et al. Software engineering : report on a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7th to 11th October 1968 , 1969 .
[11] W. Wayt Gibbs,et al. Software's Chronic Crisis , 1994 .
[12] Stuart I. Feldman,et al. A Conversation with Alan Kay , 2004, ACM Queue.