andLt;![CDATA[Attitudes Toward the Teaching of Formal Methods of Software Development in the Undergraduate Computer Science Curriculum]]andGt;
Document Type
Article
Publication Date
9-1-1995
Description
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.
Citation Information
Palmer, Thomas V.; and Pleasant, James C.. 1995. andLt;![CDATA[Attitudes Toward the Teaching of Formal Methods of Software Development in the Undergraduate Computer Science Curriculum]]andGt;. ACM SIGCSE Bulletin. Vol.27(3). 53-59. https://doi.org/10.1145/209849.209859 ISSN: 0097-8418