Logo des Repositoriums

Auflistung nach Autor:in "Nestmann, Uwe"

1 - 3 von 3
  • Konferenzbeitrag
    Beweiskompetenz durch Beweisassistenz
    (20. Fachtagung Bildungstechnologien (DELFI), 2022) Karsten, Nadine; Nestmann, Uwe
    Beweiskompetenz, also die Fähigkeit mathematische Beweise sowohl verstehen als auch eigenständig führen zu können, wird üblicherweise vorrangig durch Beispiele, Feedback und Diskussion zwischen Lernenden und Lehrenden erworben. Wir setzen einen interaktiven Theorembeweiser – einen sogenannten Beweisassistenten – ein, um Lernenden ein zusätzliches möglichst direktes Feedback zu ermöglichen. Das Führen von Beweisen mit solchen Assistenten ähnelt der Entwicklung von Software mit schnellem und zuweilen spielerischem Explorieren von Lösungsansätzen. Wir erarbeiten daher die Konzeption eines dedizierten Kurses im Bereich der Theoretischen Informatik, in dem Beweiskompetenz mit passenden didaktischen Ansätzen durch Beweisassistenten effizienter und auch spielerischer vermittelt wird.
  • Konferenzbeitrag
    GI Workshop Datenmanagement und Interoperabilität im Gesundheitswesen
    (INFORMATIK 2011 – Informatik schafft Communities, 2011) Abels, Sven; Brüggemann, Stefan; Mertens, Matthias; Nestmann, Uwe; Vlachakis, Joannis
  • Konferenzbeitrag
    Service-Orientierte Unterstützung des nationalen Früherkennungsprogramms für Kinder
    (INFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 1, 2010) Sarrouh, Nadim; Blankenstein, Oliver; Nestmann, Uwe
    Wir stellen ein Konzept zur Service-Orientierten Unterstützung eines nationalen Vorsorgen-Monitorings für Kinder-Vorsorgeuntersuchungen vor. Nach einem Überblick der medizinischen Thematik und einer rudimentären Modellierung des Arbeitsablaufes, stellen wir das SECTET-Rahmenwerk zur modellgetriebenen Entwicklung sicherheitskritischer Service-Orientierter Architekturen (SOA) vor. Unserer Meinung nach eignet sich dieses Rahmenwerk ideal, um den Anforderungen an Datenschutz und Privatsphäre an eine solche SOA gerecht zu werden.