Ziel des Fachmasters ist es, dass der Masterstudierende während Studiums bis zum Abschluss Probleme lokalisieren, erkennen, identifizieren und lösen kann. Um das ProfEPT abzuschließen, es notwendig, am Ende Kurses ein Lehrprodukt zu erstellen liefern, im Unterrichtsbereich sofort anwendbar ist. Kodular eine Website, die ermöglicht, Anwendungen auf Basis Android-Systems mit Blöcken als Programmi...

Die RCT-Studie ZEPPELIN untersucht die Wirksamkeit des Programms «PAT – Mit Eltern lernen» rund um Zürich. 132 Familien mit psychosozialen Belastungen (z.B. Armut und Migration) wurden während der ersten drei Lebensjahre ihrer Kinder zu Hause unterstützt. 116 Kontrollgruppe erhielten neben den allgemeinen Angeboten Gemeinden keine Intervention. Dieser Beitrag zeigt, dass frühe Förderung auch zw...

Zusammenfassung Im Rahmen des Programms 360° – Fonds für Kulturen der neuen Stadtgesellschaft Kulturstiftung Bundes hat die Stadtbibliothek Köln zusammen mit einer Beratungsorganisation eine Diversity-Schulungsreihe Mitarbeitende konzipiert und durchgeführt. dieses Prozesses entstand aus dem Kreis Teilnehmenden Wunsch, sich als relevant identifizierten Thema „Diversität in Kinderbüchern“ weiter...

Die Entwicklung und Wartung von nebenläufigen Programmen ist schwierig und fehleranfällig. Fehlende oder falsche Synchronisation kann zu komplizierten Fehlerszenarien führen, die dem Quelltext nur schwer anzusehen sind, jedoch katastrophale Auswirkungen auf die Programmausführung haben können. Durch statische Programmanalyse können alle Quelltextpositionen identifiziert werden, an denen bestimm...

The Department of Computer Science at the University of Applied Sciences in Trier has been using and further developing a system for automatic software evaluation (ASB) for several years. The ASB system is a web application which allows students to submit solutions to programming exercises within a set time frame. The solutions can be automatically evaluated with the help of various measures. T...

This thesis examines an approach that combines model checking and software testing to improve the reliability of software systems. It employs the Moped model checker [Sch02], which computes reachability analyses on pushdown systems, and jMoped [Suw04], which translates Java programs into said pushdown systems. Both Moped and jMoped have been adapted in this work to compute the coverage of reach...

Zusammenfassung Vielerorts werden lokale Onlinemarktplätze ins Lebens gerufen, um innerstädtische Einzelhändler*innen vor dem Hintergrund des Strukturwandels, der coronabedingt verstärkt wurde, digital besser aufzustellen. Anhand eBay Deine Stadt, einer Initiative für von eBay, die seit 2020 in Deutschland bislang über 30 Städten und Regionen etabliert beleuchtet Artikel Strukturen Akteur*innen...

Zusammenfassung Der DigitalPakt Schule soll das deutsche Bildungswesen flächendeckend modernisieren, zeigt jedoch bisher Anlaufschwierigkeiten. Die bereitgestellten Fördermittel werden zögerlich abgerufen und die Kritiker:innen des Programms immer lauter. Diese Arbeit setzt genau an diesem Punkt diskutiert Ursachen Einflüsse, dazu beitragen, dass verfügbare Technologien von Schulen nicht oder n...