Experience integrating a formal method into a software engineering course

SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education)

Volumn 28, Issue 1, 1996, Pages 271-274

  Kelley Sobel, Ann E ^a  

^a MIAMI UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTER SOFTWARE; ENGINEERING EDUCATION; INDUSTRIAL APPLICATIONS; MATHEMATICAL MODELS; PROBLEM SOLVING; SPECIFICATIONS; STANDARDS; SYSTEMS ANALYSIS; TEACHING;

FORMAL METHODS EDUCATION; FORMAL SPECIFICATIONS; GROUP PROJECT; INDUSTRIALIZATION; INSTRUCTOR; STUDENTS; SYSTEM VERIFICATION;

SOFTWARE ENGINEERING;

EID: 0029722352     PISSN: 00978418     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/236462.236554     Document Type: Article

References (12)

1. Craigen, Dan, Susan Gerhart, and Ted Raison, "An International Survey of Industrial Applications of Formal Methods". Volume I and II, National Institute of Standards and Technology, GCR 93/626, March 1993.
2. Denning, P.J., "Educating a New Engineer", Comm. ACM, Vol. 35, No. 12, December 1992, pp. 82-97.
3. Dijkstra, E.W., "On the Cruelty of Really Teaching Computing Science", Comm. ACM, Vol. 32, No. 12, December 1989, pp. 1398-1404.
4. Fraser, M.D., K. Kumar, V.K. Vaishnavi, "Strategies for Incorporating Formal Specifications in Software Development", Comm. ACM, Vol. 37, No. 10, October 1994, pp. 74-86.
5. Gries, D., "Teaching Calculation and Discrimination: A More Effective Curriculum", Comm. ACM, Vol. 34, No. 3, March 1991, pp. 44-55.
6. Hall, A., "Is Software Engineering?", Proceedings of the Software Engineering Education Conference, Springer-Verlag, pp. 5-7.
7. Owre, S., N. Shankar, and J.M. Rushby. User Guide for the PVS Specification and Verification System , Computer Science Laboratory, SRI International, Menlo Park, CA, March 1993.
8. Parnas, D.L., "Education for Computing Professionals", IEEE Computer , Vol. 23, No. 1, January 1990, pp. 17-22.
9. Palmer, T.V. and J.C. Pleasant, "Attitudes Toward the Teaching of Formal Methods of Software Development in the Undergraduate Computer Science Curriculum: A Survey", SIGCSE Bulletin , Vol. 27, No. 3, September 1995, pp. 53-59.
10. Shaw, M., "Prospects for an Engineering Discipline of Software", IEEE Computer , November 1990, pp. 15-24.
11. Sommerville, Ian, Software Engineering , 4th edition, Addison-Wesley Publishing Company, 1992.
12. Spivey, J.M., The Z Notation: A Reference Manual , 2nd edition, Prentice Hall International Series in Computer Science, 1992.