Abstract
This paper reports on a survey related to current views concerning the feasibility and importance of teaching formal methods of software development at the undergraduate level. Principle areas of interest considered include formal logic, formal specification, and formal proofs of correctness of programs. After alluding to several points of contact with current literature on this topic, the paper reports on a questionnaire designed by the authors that was mailed to computer science departments of selected colleges and universities in the United States and Canada. The principle goal of the survey is to determine attitudes of computer science faculty concerning the teaching of formal methods at the undergraduate level.
- [1] Richard Denman, David Z.A. Naumann, Walter Potter, and Gary Richter. "Derivation of Programs for Freshmen", SIGCSE Bulletin, 26(1): 116-120, March 1994. Google Scholar
Digital Library
- [2] E.W. Dijkstra et al. "A Debate On Teaching Computing Science", Comm. ACM, 32(12):1397- 1414, 1989. Google Scholar
Digital Library
- [3] Kung-Kiu Lau, Vicky J. Bush, and Pete J. Jinks. "Towards an Introductory Formal Programming Course", SIGCSE Bulletin, 26(1): 121-125, March 1994. Google Scholar
Digital Library
- [4] John T. Paxton, Rockerd J. Ross, and J. Denbigh Starkey. "A Methodology for Teaching an Integrated Computer Science Curriculum", SIGCSE Bulletin, 26(1):1-5, March 1994. Google Scholar
Digital Library
Index Terms
Attitudes toward the teaching of formal methods of software development in the undergraduate computer science curriculum: a survey
Recommendations
Computer Science Teaching Knowledge: A Framework and Assessment (Abstract Only)
SIGCSE '17: Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science EducationEducators, researchers, politicians, tech companies, and others continue to advocate for the importance of K-12 students learning computer science in our increasingly tech-driven society. One way school districts in the United States address this ...
ACM Undergraduate Curricular Guidance in Computer Science: The First Two Years
ITiCSE '16: Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science EducationUnder the auspices of the ACM Education Board, the Committee for Computing Education in Community Colleges (CCECC) is updating the 2009 ACM associate-degree curricular guidance in computer science with inclusion of contemporary cybersecurity concepts. ...
Teaching how to teach computational thinking
ITiCSE 2018: Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science EducationComputational Thinking is argued to be an essential skill for the workforce of the 21st century. As a skill, Computational Thinking should be taught in all schools, employing computational ideas integrated into other disciplines. Up until now, questions ...






Comments