Computer-Supported Assessment of Software Verification Proofs - Towards High-Quality E-Assessments in Computer Science Education

Usener Claus A., Gruttmann Susanne, Majchrzak Tim A., Kuchen Herbert

Zitieren als

Usener, C. A., Gruttmann, S., Majchrzak, T. A., & Kuchen, H. (2010). Computer-Supported Assessment of Software Verification Proofs — Towards High-Quality E-Assessments in Computer Science Education. In Proceedings of the Int. Conf. on Educational and Information Technology (ICEIT), Chongqing.

Details

Publikationstyp
Forschungsartikel in Sammelband (Konferenz)

Begutachtet
Ja

Publikationsstatus
Veröffentlicht

Jahr
2010

Konferenz
Int. Conf. on Educational and Information Technology (ICEIT)

Konferenzort
Chongqing

Buchtitel
Proc. of the 2010 Int. Conf. on Educational and Information Technology (ICEIT)

Verlag
IEEE Computer Society

Sprache
Englisch