Title :
Objectives and features of e-learning oriented programming courseware for freshmen
Author :
Kawai, Hidetoshi ; Takayama, Fumio ; Anzai, Takayuki ; Manome, Takanobu ; Yoshida, Hiroki
Author_Institution :
Deptartment of Electron. & Comput. Sci., Iwaki Meisei Univ., Fukushima, Japan
Abstract :
Iwaki Meisei University, a popular university in Japan, has developed e-Learning oriented Programming Courseware for freshmen using the authoring tool Hiplus, Hitachi Ltd., Japan, at the Department of Electronics and Computer Science. Department freshmen are required to use this Programming Courseware. This courseware consists of two parts: specification of requirement and verification of program validity. Both parts address the need for support by logical thinking in addition to production of software documents by a natural language. Using it, a modern programmer can use a dedicated algorithm which handles a newly developed object once a software requirement has been formally specified Moreover freshmen are able to assess their own learning progress due to graded exercises configured in the Programming Courseware.
Keywords :
computer based training; computer science education; courseware; distance learning; educational institutions; formal specification; formal verification; Hiplus authoring tool; Iwaki Meisei University; Web based training; e-learning oriented programming courseware; freshmen; logical thinking; program validity verification; programming education; software requirement specification; Computer science; Courseware; Distributed computing; Educational programs; Electronic learning; Learning systems; Logic programming; Natural languages; Object oriented programming; Programming profession;
Conference_Titel :
Distributed Computing Systems Workshops, 2003. Proceedings. 23rd International Conference on
Print_ISBN :
0-7695-1921-0
DOI :
10.1109/ICDCSW.2003.1203621