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á bibliografie

Vydáno v:	2009 2nd IEEE International Conference on Computer Science and Information Technology s. 41 - 45
Hlavní autoři:	Quan, T.T., Nguyen, P.H., Bui, T.H., Huynh, L.V., Do, A.T.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.08.2009
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!