A tool for helping teach a programming method

ITiCSE06 - Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education

Volumn 2006, Issue , 2006, Pages 212-216

  Dony, Isabelle ^a   Le Charlier, Baudouin ^a  

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

Author keywords

Formal specification; Invariant; Program construction; Program verification; Programming course; Programming errors

Indexed keywords

FORMAL SPECIFICATION; INVARIANTS; PROGRAM CONSTRUCTION; PROGRAM VERIFICATION; PROGRAMMING COURSE; PROGRAMMING ERRORS;

COMPUTER AIDED SOFTWARE ENGINEERING; CURRICULA; ERROR ANALYSIS; FEEDBACK; LEARNING SYSTEMS; STUDENTS;

STRUCTURED PROGRAMMING;

EID: 33748957335     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. Blast, http://www.eecs.berkeley.edu/blast.
2. The mozart programming system. http://www.mozart-oz.org.
3. The pvs specification and verification system. http://pvs.csl.sri.com.
4. R. C. Backhouse. Program Construction and Verification. Prentice-Hall, 1986.
5. L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll. An overview of jml tools and applications. International Journal on Software Tools for Technology Transfer, 7, 2005.
6. D. Detlefs, K. Rustan, M. Leino, G. Nelson, and J. Saxe. Extended static checking. Technical Report Research Report 159, Compaq Systems Research Center, 1998.
7. E. Dijkstra. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, 1976.
8. E. Dijkstra and W. Feijen. A Method of Programming. Addison-Wesley, 1988.
9. I. Dony and B. Le Charlier. A program verification system based on oz. In Proc. second International Conference MOZ 2004, volume 3389, Charleroi, Belgium, 2004. LNCS.Springer.
10. R. Floyd. Assigning meanings to programs. In Proc. of Symposia in Applied Mathematics, volume 19, pages 19-32. Mathematical Society, 1967.
11. D. Gries. The Science of Programming. Springer-Verlag, 1981.
12. T. Henzinger, R. Jhala, R. Majumbar, and G. Sutre. Lazy abstraction. In In proc. of the 29th Annual Symposium on Principles of Programming Language, pages 58-70. ACM Press, 2002.
13. C. Hoare. An axiomatic definition of semantics. Communications of the ACM, 12(10), 1969.
14. K.-K. Lau. A beginner's course on reasoning about imperative programs. In Teaching Formal Methods Proc. CologNET/FME Symposium TFM 2004, volume 3294, Ghent, Belgium, 2004. LNCS.Springer.
15. B. Le Charlier. Introduction à l'algorithmique et à la programmation. http://www.icampus.info.ucl.ac.be/SINF1150/.
16. B. Le Charlier. Méthodes de conception de programmes. http://www.icampus.info.ucl.ac.be/INGI2122/.
17. P. Van Roy and S. Haridi. Concepts, Techniques, and Models of Computer Programming with Practical Applications in Distributed Computing and Intelligent Agents. The MIT Press, 2004.