Logo des Repositoriums

Auflistung nach Autor:in "Widera, Manfred"

1 - 3 von 3
  • Konferenzbeitrag
    Automatic analysis of programming assignments
    (DeLFI 2003, Tagungsband der 1. e-Learning Fachtagung Informatik, 16.-18. September 2003 in Garching bei München., 2003) Beierle, Christoph; Kula, Marjaa; Widera, Manfred
    In a virtual university, advanced support for all aspects of handling assignments is needed. Homework assignments are particularly in need of help because communication between teachers and learners as well as between learners is not as easy as in presence universities. In this paper, we present an overview of the $AT(x)$ approach (analyze-and-test) for automatically analyzing and testing programs. We describe how $AT(x)$ is used for giving feedback to students working on programming exercises. The $AT(x)$ framework is instantiated to $AT(P)$ and $AT(S)$ aiming at programs written in Prolog and Scheme, respectively.
  • Workshopbeitrag
    Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen
    (DeLFI 2005: 3. Deutsche e-Learning Fachtagung Informatik, 13. - 16. September 2005 in Rostock, Germany, 2005) Beierle, Christoph; Isberner, Malte; Kern-Isberner, Gabriele; Messing, Barbara; Widera, Manfred
  • Zeitschriftenartikel
    Strukturorientiertes Testen funktionaler Programme
    (Softwaretechnik-Trends Band 26, Heft 2, 2006) Widera, Manfred