{"title":"An intelligent tutoring system for teaching and learning Hoare logic","authors":"K. Goshi, Paul Wray, Yong-bo Sun","doi":"10.1109/ICCIMA.2001.970482","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":232504,"journal":{"name":"Proceedings Fourth International Conference on Computational Intelligence and Multimedia Applications. ICCIMA 2001","volume":"3 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings Fourth International Conference on Computational Intelligence and Multimedia Applications. ICCIMA 2001","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCIMA.2001.970482","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 7
Abstract
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
