1. How to submit my research paper? What’s the process of publication of my paper?
The journal receives submitted manuscripts via email only. Please submit your research paper in .doc or .pdf format to the submission email: jait@etpub.com.
2.Can I submit an abstract?
The journal publishes full research papers. So only full paper submission should be considered for possible publication. Papers with insufficient content may be rejected as well, make sure your paper is sufficient enough to be published...[Read More]

iiOSProTrain: An Interactive Intelligent Online System for Programming Training

Tho T. Quan, Phung H. Nguyen, Thang H. Bui, Thuan D. Le, An N. Nguyen, Duc L.N Hoang, Vu H. Nguyen, Binh T. Nguyen
Hochiminh City University of Technology, Vietnam
Abstract— 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.

Index Terms— intelligent tutoring systems, programming training, formal methods, program verification, courterexamples, error-flows

Cite: Tho T. Quan, Phung H. Nguyen, Thang H. Bui, Thuan D. Le, An N. Nguyen, Duc L.N Hoang, Vu H. Nguyen, Binh T. Nguyen, "iiOSProTrain: An Interactive Intelligent Online System for Programming Training," Journal of Advances in Information Technology, Vol. 3, No. 1, pp. 10-20, February, 2012.doi:10.4304/jait.3.1.10-20
Copyright © 2013-2019. JAIT. All Rights Reserved
Creative Commons LicenseThis work is licensed under a Creative Commons Attribution 3.0 Unported License.