Attitudes toward the teaching of formal methods of software development in the undergraduate computer science curriculum
- 1 September 1995
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGCSE Bulletin
- Vol. 27 (3) , 53-59
- https://doi.org/10.1145/209849.209859
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Towards an introductory formal programming courseACM SIGCSE Bulletin, 1994
- Derivation of programs for freshmenACM SIGCSE Bulletin, 1994
- A methodology for teaching an integrated computer science curriculumACM SIGCSE Bulletin, 1994
- A debate on teaching computing scienceCommunications of the ACM, 1989