Integrating formal methods tools into undergraduate computer science curriculum

Proceedings - Frontiers in Education Conference, FIE

Volumn , Issue , 2006, Pages

  Skevoulis, Sotiris ^a   Makarov, Vladimir ^a  

^a PACE UNIVERSITY   (United States)

Author keywords

Class invariant; Formal methods; Integrated environments; Z formal notation

Indexed keywords

COMPUTER SCIENCE CURRICULUM; DIFFICULT CONCEPTS; EDUCATIONAL MATERIALS; FORMAL ANALYSIS; LEARNING EXPERIENCES; PIONEER (CO); SOFTWARE ANALYSIS; SOFTWARE TOOLS; STUDENT PERFORMANCE; TEACHING MODELS; UNDERGRADUATE (UG); UNDERGRADUATE CURRICULUM; UNDERGRADUATE STUDENTS;

COMPUTER SCIENCE; COMPUTER SOFTWARE; COMPUTERS; CURRICULA; EDUCATION; EDUCATION COMPUTING; INTEGRATION; PROJECT MANAGEMENT; SOFTWARE DESIGN; STUDENTS; TEACHING;

FORMAL METHODS;

EID: 48749103203     PISSN: 15394565     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FIE.2006.322570     Document Type: Conference Paper

References (13)

1. Craigen D, Gerhart S. and Ralson T, An international Survey of Industrial Applications of Formal Methods, Volume I and II, National Institute of Stardands and Technology, GCR/93/626, March 1993
2. Dean C, Hincey M. Teaching and Learning Formal Methods Academic Press 1996,
3. Skevoulis S. A Light-Weight Approach to Formal Methods. Proceedings of the Software Engineering Symposium, DePaul University. May 1997, Chicago, IL .
4. Rushby J. Mechanized Formal Methods: Where Next?. The World Congress in Formal Methods, Toulouse, France, September 1999. Springer-Verlag Lecture Notes in Computer Science, vol. 1708, pp 48-51.
5. Jia X. An approach to animating Z specifications. In Proc. 19th Annual Int'l Computer Software and Applications Conf., Dallas, Texas, USA, Aug. 1995.
6. Jia X. A Tutorial of ZTC and ZANS - A Z Animation System, June 1999. Available via anonymous ftp at ise.cs.depaul.edu.
7. Sobel, A. Final Results of Incorporating an Operational Formal Method into a Software Engineering Curriculum. In Proceeding of the IEEE Frontiers in Education, November 1999
8. Jia X and Skevoulis S. A generic approach of static analysis for detecting runtime errors in java programs. In Proc. 23th Annual Int'l Computer Software and Applications Conf., pages 74-79, Phoenix, Arizona, USA, Oct. 1999
9. Dijkstra. E. Guarded commands, nondeterminacy and formal derivation of program. Communications of ACM, 18(8):453 458, 1975
10. Z/Eves. Secure and Dependable Systems. ORA Canada.
11. The Z Notation, A Reference Manual, J.M. Spivey, Second Edition,1992, Prentice Hall International
12. Accessible on the WWW at http://www.cafme.org
13. Neville Dean, Raymond T. Boute (Eds.): Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings. Lecture Notes in Computer Science 3294 Springer 2004, ISBN 3-540-23611-2