An intelligent tutoring system for teaching and learning Hoare logic

Significant areas of the computer science curriculum are constantly and rapidly changing as new technologies (e.g., multimedia, WWW, Java) are adopted. This presents a challenge to our current education system: Intelligent Tutoring Systems (ITSs) for teaching and learning in Computer Science must be able to assist not only their student users but also the teachers in developing and managing courses to the best advantage of the students. We developed an ITS for teaching and learning Hoare logic. In this paper, we describe the practical use of the system in a computation theory course.