Martin-Luther-Universität Halle-Wittenberg

Logo des Lehrstuhls Software-Engineering und Progammiersprachen

Weiteres

Login für Redakteure





Projekte

Entwicklung hocheffizienter Pumpensysteme

gefördert durch BMWi (2013-2017)

[ mehr ... ]

Verbundprojekt: Entwicklung effizienter elektronischer Systeme und Online-Diagnosefunktionen für Anlagen und Geräte - ELSY -; Teilvorhaben: Formale Beschreibung und Methoden für hydromechatronisches Co-Design

gefördet durch BMBF (2012-2015)

[ mehr ... ]

RealTime SCM: RealTime Supply Chain Management und Grobplanung

gefördert durch BMBF (2012-2013)

[ mehr ... ]

MindMapAPS - Prozessorientierte Konzepte zur intuitiven Bedienung
von Advanced Planning und Scheduling und ERP Systemen

gefördert durch BMBF (2008-2010)

[ mehr ... ]

Optimierung in Compilern für Gerätebeschreibungssprachen

Industrielles Drittmittelprojekt gefördert durch die Firma Codewrights GmbH, Karlsuhe, 2005-2006

[ mehr ... ]

Integration of Scheduling Techniques into Compilers for Parallel Languages

gefördert durch den DAAD 2002-2004

[ mehr ... ]

Verifix: Construction of Correct Compilers (Karlsruhe)

gefördert durch die Deutsche Forschungsgemeinschaft 1995-2003

[ mehr ... ]   

Zum Seitenanfang