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...

Celý popis

Podrobná bibliografia

Vydané v:	2009 2nd IEEE International Conference on Computer Science and Information Technology s. 41 - 45
Hlavní autori:	Quan, T.T., Nguyen, P.H., Bui, T.H., Huynh, L.V., Do, A.T.
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.08.2009
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!