
- 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.Google Scholar
- 2 Denning, P.J., "Educating a New Engineer", Comm. ACM, Vol. 35, No. 12, December 1992, pp. 82-97. Google Scholar
Digital Library
- 3 Dijkstra, E.W., "On the Cruelty of Really Teaching Computing Science", Comm. ACM, Vol. 32, No. 12, December 1989, pp. 1398-1404. Google Scholar
Digital Library
- 4 Fraser, M.D., K. Kumar, V.K. Vaishnavi, "Strategies for Incorporating Formal Specifications in Software Development", Comm. ACM, VoI. 37, No. I0, October 1994, pp. 74-86. Google Scholar
Digital Library
- 5 Gries, D., "Teaching Calculation and Discrimination: A More Effective Curriculum", Comm. ACM, Vol. 34, No. 3, March 1991, pp. 44-55. Google Scholar
Digital Library
- 6 Hall, A., "Is Software Engineering?", Proceedings of the Software Engineering Education Conference, Springer- Verlag, pp. 5-7. Google Scholar
Digital Library
- 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.Google Scholar
- 8 Parnas, D.L., "Education for Computing Professionals", IEEE Computer, Vol. 23, No. 1, January 1990, pp. 17-22. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 10 Shaw. M., "Prospects for an Engineering Discipline of Software", IEEE Computer, November 1990, pp. 15-24. Google Scholar
Digital Library
- 11 Sommerville, Ian, Software Engineering, 4th edition, Addison-Wesley Publishing Company, 1992. Google Scholar
Digital Library
- 12 Spivey, J.M., The Z Notation: A Reference Manual, 2nd edition, Prentice Hall International Series in Computer Science, 1992. Google Scholar
Digital Library
Index Terms
Experience integrating a formal method into a software engineering course
Recommendations
An introductory software engineering course for software engineering program
CSEET '11: Proceedings of the 2011 24th IEEE-CS Conference on Software Engineering Education and TrainingOne important issue in undergraduate software engineering curriculum is how to help students establish the concept of software engineering at the beginning of software engineering undergraduate program and to provide a reasonable basis of knowledge and ...
Software Engineering Practicum Course Experience
CSEET '10: Proceedings of the 2010 23rd IEEE Conference on Software Engineering Education and TrainingThe CMU Silicon Valley Software Engineering Practicum course is a curriculum capstone which provides the practicum student the opportunity to interact with an actual client. The client has a real problem and is in need of a software developed solution. ...
What makes a good software engineer?
TRI-Ada '89: Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deploymentSince the term “software engineering” was coined some 20+ years ago, [4] a number of definitions for both the practice and the practitioner, a “software engineer,” have been proposed. The definition from a recent report on undergraduate software ...






Comments