Computer-Supported Assessment of Software Verification Proofs

Author

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

Author_Institution

Eur. Res. Center for Inf. Syst. (ERCIS), Univ. of Muenster, Muenster, Germany

Volume

1

fYear

2010

fDate

17-19 Sept. 2010

Abstract

Most conventional e-assessment systems are not suited for examining analytic, creative and constructive skills and the few existing ones have too limited functionality to appropriately support Computer Science assessments. On this account the e-assessment system EASy has been developed which e.g. provides relevant exercise modules for Computer Science tasks. Recently the system 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 this module and evaluate its applicability, usability and acceptance in terms of a lecture on Formal Specification.

Keywords

computer science education; educational administrative data processing; formal logic; formal verification; EASy; Hoare Logic; computer science assessment; computer-supported assessment; e-assessment system; formal specification; software verification; Computers; Estimation; E-Assessment; Evaluation; Hoare Logic; Software Verification;

fLanguage

English

Publisher

ieee

Conference_Titel

Educational and Information Technology (ICEIT), 2010 International Conference on

Conference_Location

Chongqing

Print_ISBN

978-1-4244-8033-3

Electronic_ISBN

978-1-4244-8035-7

Type

conf

DOI

10.1109/ICEIT.2010.5607766

Filename

5607766