Koellmann, Carsten; Goedicke, Michael:
Automation of Java Code Analysis for Programming Exercises
Third International Workshop on Graph Based Tools (GraBaTs 2006) ; September 21-22, 2006, Natal, Brazil
In: Electronic Communications of the EASST, Band 1 (2006)
2006Artikel/Aufsatz in ZeitschriftOpen Access
InformatikFakultät für Wirtschaftswissenschaften » Fachgebiet Informatik » Spezifikation von Softwaresystemen
Damit verbunden: 1 Publikation(en)
Titel in Englisch:
Automation of Java Code Analysis for Programming Exercises
Konferenz
Third International Workshop on Graph Based Tools (GraBaTs 2006) ; September 21-22, 2006, Natal, Brazil
Autor*in:
Koellmann, Carsten;Goedicke, MichaelUDE
LSF ID
5091
ORCID
0009-0004-2383-6764ORCID iD
Sonstiges
der Hochschule zugeordnete*r Autor*in
Erscheinungsjahr:
2006
Open Access?:
Open Access
Sprache des Textes:
Englisch

Abstract in Englisch:

In this paper we present a tool environment for semi-automatic verification of basic programming exercises. We describe how graph transformation can be used for analysis of code structures and present an example from a current course.