Experience integrating a formal method into a software engineering course
- 1 March 1996
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGCSE Bulletin
- Vol. 28 (1) , 271-274
- https://doi.org/10.1145/236462.236554
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Attitudes toward the teaching of formal methods of software development in the undergraduate computer science curriculumACM SIGCSE Bulletin, 1995
- Strategies for incorporating formal specifications in software developmentCommunications of the ACM, 1994
- Educating a new engineerCommunications of the ACM, 1992
- Teaching calculation and discriminationCommunications of the ACM, 1991
- Prospects for an engineering discipline of softwareIEEE Software, 1990
- Education for computing professionalsComputer, 1990
- A debate on teaching computing scienceCommunications of the ACM, 1989