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

fYear

2003

fDate

19-22 May 2003

Firstpage

616

Lastpage

621

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Distributed Computing Systems Workshops, 2003. Proceedings. 23rd International Conference on

Print_ISBN

0-7695-1921-0

Type

conf

DOI

10.1109/ICDCSW.2003.1203621

Filename

1203621