A framework for automatic verification of programing exercises

Programming skill is crucial for all Computer Science students which can only be mastered through intensive exercise practice. Apart from traditional face-to-face manner of teaching programming, with the recent advancement of Internet and advanced program verification techniques, Web-based tutoring...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2009 2nd IEEE International Conference on Computer Science and Information Technology S. 41 - 45
Hauptverfasser:	Quan, T.T., Nguyen, P.H., Bui, T.H., Huynh, L.V., Do, A.T.
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.08.2009
Schlagworte:	Animation automatic program verification Automatic testing axiomatic theorem proving Computer science Computer science education Educational programs Inspection Internet model checking programming exercises Programming profession Solids Visual effects
ISBN:	1424445191, 9781424445196
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!