• laufend

    Model-driven Mobile Development

    MD² (MD2) is a model-driven framework for cross-platform development of mobile applications. Based on a textual DSL, MD2 generates runnable native apps for Android and iOS.


    Projektstatus laufend
    Projektzeitraum 01.10.2012- 01.10.2025
    Webseite http://wwu-pi.github.io/md2-web/
    Schlüsselwörter Model-Driven Software Development, Domain Specific Language, iOS, Android

     

    Der Muenster-Generator für Glass-box-Testfälle

    Das Testen von Software-Komponenten ist ein aufwändiger Prozess, der durch den Einsatz geeigneter Werkzeuge unterstützt werden kann. Mit Muggl arbeiten wir an einem solchen Werkzeug. Der Muenster generator of glass-box test cases dient der automatischen Erzeugung vonTestfällen. Dazu führt Muggl Java Bytecode symbolisch aus und sucht dabei nach Ausführungspfaden durch ein Programm. Um diese Aufgabe effizient bearbeiten zu können, kommen Technicken wie Constraint Solving, die Erzeugung von Entscheidungspunkten sowie Backtracking zum Einsatz. Als Ergebnis wird ein Satz von Testfällen in Form von JUnit-Tests erstellt, die direkt genutzt werden können.


    Projektstatus laufend
    Projektzeitraum 01.11.2003- 01.02.2025
    Webseite http://pi-forschung.uni-muenster.de/de/muggl
    Schlüsselwörter Softwaretests, Glass-Box Testing, Automatische Testfallgenerierung,

     

    Algorithmic Skeletons - The Muenster Skeleton Library (Muesli)

    Experience shows that the development of parallel programs is an elaborate and time-consuming task. The Muenster Skeleton Library (Muesli) is a collection of high-level concepts that facilitate the development of parallel programs. The library contains so-called algorithmic skeletons, i.e. frequently recurring parallel programming patterns, which can be easily and efficiently combined to develop parallel applications.


    Projektstatus laufend
    Projektzeitraum 01.02.2002- 31.01.2025
    Webseite http://muesli.uni-muenster.de/
    Schlüsselwörter High Level Parallel Programming; Algorithmic Skeletons

     

    Kunden-Verwaltungs-System


    Projektstatus laufend
    Projektzeitraum 01.04.2017- 30.11.2017
    Förderer matchInn UG (haftungsbeschränkt)
    Schlüsselwörter Informatik; Wirtschaftsinformatik

     

    Münsteraner Skelett-Bibliothek


    Projektstatus laufend
    Projektzeitraum seit 10.10.2001
    Webseite http://pi-forschung.uni-muenster.de/node/14
    Schlüsselwörter Parallele Programmierung, Programmiermuster

     

  • abgeschlossen

    9th International Symposium on High-Level Parallel Programming and Applications


    Projektstatus abgeschlossen
    Projektzeitraum 04.07.2016- 05.07.2016
    Förderer Teilnehmerbeiträge
    Schlüsselwörter Wirtschaftsinformatik; Praktische Informatik

     

    DAAD Austauschprogramm: PPP Spanien - Testfallgenerierung mit kooperierenden Constraint-Solvern

    Ziel ist die Entwicklung eines Werkzeugs zur automatischen Erzeugung von Testfällen für in der Programmiersprache Java geschriebene Programme, durch das der Kontroll- und/oder Datenfluss in einem System betrachteter Java-Klassen überdeckt wird und ggf. vorhandene Fehler aufgedeckt werden.


    Projektstatus abgeschlossen
    Projektzeitraum 01.01.2014- 31.12.2015
    Förderer Deutscher Akademischer Austausch Dienst
    Projektnummer 57049954
    Schlüsselwörter Java, Testfall, Kontrollfluss-Überdeckung, Datenflussüberdeckung, symbolische Berechnung, Constraint-Löser.

     

    Wirtschaftliche und plattformübergreifende Entwicklung von Business Apps


    Projektstatus abgeschlossen
    Projektzeitraum 01.09.2011- 31.08.2012
    Förderer Förderkreis der Angewandten Informatik an der Westfälischen Wilhelms-Universität Münster e. V.
    Schlüsselwörter Business Apps

     

    Testen von Software


    Projektstatus abgeschlossen
    Projektzeitraum 01.09.2008- 30.10.2010
    Förderer Wirtschaft
    Schlüsselwörter Software-Entwicklung, Testverfahren

     

    Computergestützte Hochschullehre in hybriden Systemen


    Projektstatus abgeschlossen
    Projektzeitraum 01.05.2005- 30.04.2010
    Förderer Bundesministerium für Bildung und Forschung
    Projektnummer 01PI05003
    Schlüsselwörter E-Learning, Hybridität

     

    cHL-hybrid - Integration von Forschungs- und Lehrprozessen


    Projektstatus abgeschlossen
    Projektzeitraum 01.09.2006- 31.05.2008
    Förderer Bundesministerium für Bildung und Forschung
    Projektnummer 01PI05003
    Schlüsselwörter E-Learning, Integration, Prozesse

     

    cHL-hybrid - Referenztechnologien


    Projektstatus abgeschlossen
    Projektzeitraum 01.05.2005- 31.05.2008
    Förderer Bundesministerium für Bildung und Forschung
    Projektnummer 01PI05003
    Schlüsselwörter E-Learning

     

    cHL-hybrid - Integration der Lehr- und Lernprozesse mit administrativen Prozessen


    Projektstatus abgeschlossen
    Projektzeitraum 01.05.2005- 30.04.2007
    Förderer Bundesministerium für Bildung und Forschung
    Projektnummer 01PI05003
    Schlüsselwörter E-Leanrning, Enterprise Application Integration