Attitudes toward the teaching of formal methods of software development in the undergraduate computer science curriculum: a survey

Authors:
Thomas V. Palmer;James C. Pleasant
Affiliations:
Holston Valley Hospital, P.O. Box 238, Kingsport, TN;Department of Computer and Information Sciences, East Tennessee State University, Johnson City, TN
Venue:
ACM SIGCSE Bulletin
Year:
1995

Citing 4
Cited 2

A debate on teaching computing science

Communications of the ACM
A methodology for teaching an integrated computer science curriculum

SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Derivation of programs for freshmen

SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Towards an introductory formal programming course

SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education

Experience integrating a formal method into a software engineering course

SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Balancing insight and effort: the industrial uptake of formal methods

Formal methods and hybrid real-time systems

Quantified Score

Hi-index	0.00

Visualization

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.