|
Title:
|
FORMATIVE E-ASSESSMENT OF SOFTWARE VERIFICATION SKILLS IN HIGHER EDUCATION |
|
Author(s):
|
Susanne Gruttmann, Claus A. Usener, Tim A. Majchrzak, Herbert Kuchen |
|
ISBN:
|
978-972-8939-17-5 |
|
Editors:
|
Miguel Baptista Nunes and Maggie McPherson |
|
Year:
|
2010 |
|
Edition:
|
Vol. I |
|
Keywords:
|
E-Assessment, Computer Science Education, Formative Assessment, Hoare Logic, Computer-Supported Exercises |
|
Type:
|
Full Paper |
|
First Page:
|
27 |
|
Last Page:
|
36 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
Conventional e-assessment systems often are not suited for examining analytic, creative and constructive skills; the few existing ones have very limited functionality. On this account the e-assessment system EASy, which focuses on the examination of formative assessments, has been developed. Besides exercise modules for multiple-choice questions, programming exercises and mathematical proofs the system recently has been extended by a module for the computer-supported examination of software verification proofs based on the Hoare Logic. In this work we discuss the module for automated assessment of these proofs. To demonstrate the feasibility of our approach, the applicability, usability and acceptance of the Hoare-Logic module have been evaluated in a lecture on formal specification. |
|
|
|
|
|
|
