Academic Journals Database
Disseminating quality controlled scientific knowledge

iiOSProTrain: An Interactive Intelligent Online System for Programming Training

Author(s): Tho Thanh Quan | Phung H Nguyen | Thang H Bui | Thuan Dinh Le | An Nhu Nguyen | Duc L.N. Hoang | Vu Huu Nguyen | Binh Thien Nguyen

Journal: Journal of Advances in Information Technology
ISSN 1798-2340

Volume: 3;
Issue: 1;
Start page: 10;
Date: 2012;
Original page

Keywords: intelligent tutoring systems | programming training | formal methods | program verification | courter-examples | error-flows

Programming is a crucial skill which is required to be mastered for students on all disciplines of the Computer Science field. For novice students, they always desire explanation and help for all errors encountered in their own solutions. With the recent advancement of Internet technologies, online tutoring systems are increasingly considered. Various systems and applications have been introduced for teaching programming. In this paper, we introduce a tutoring system known as iiOSProTrain (interactive intelligent Online System for Programming Training) for teaching students programming. In iiOSProTrain, we employ two popular formal methods, which are theorem proving and model checking, for verifying students’ works and giving them detailed feedback. The usage of formal methods renders our system the following advantages, as compared to similar systems. First, iiOSProTrain can give an absolute confirmation on the correctness of the submitted programs. More importantly, iiOSProTrain adopts the concept of structured error-flow to give students traceable feedbacks on their mistakes, thus allowing them to track and correct the logic errors in a flexible and convenient manner. Currently, iiOSProTrain is deployed at Faculty of Computer Science and Engineering, Ho Chi Minh University of Technology, Vietnam for teaching first year students on programming methodologies.
Why do you need a reservation system?      Affiliate Program