• in progress

    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.


    Project status in progress
    Project time 01.10.2012- 01.10.2025
    Website http://wwu-pi.github.io/md2-framework/
    Keywords Model-Driven Software Development, Domain Specific Language, iOS, Android

     

    The Münster Generator of Glass-box Test Cases

    Testing is a task that requires much effort, yet it is essential for developing software. Automated test case generation (TCG) promises to relieve humans of manual work. We introduce Muggl (the Muenster generator of glass-box test cases), which is developed at our institute. Muggl generates test cases for Java bytecode.


    Project status in progress
    Project time 01.11.2003- 01.02.2025
    Website http://pi-forschung.uni-muenster.de/de/muggl
    Keywords Testing, Glass-box testing, Automated test case generation.

     

    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.


    Project status in progress
    Project time 01.02.2002- 31.01.2025
    Website http://muesli.uni-muenster.de/
    Keywords High Level Parallel Programming; Algorithmic Skeletons

     

    Muli – The Münster Logic-Imperative Language

    Object-oriented programming languages prevail in the development of enterprise software, but they do not particularly support the implementation of software which includes solving complicated search problems with dynamically appearing constraints. We propose the constraint-logic object-oriented language Muli. It facilitates an integrated implementation of business applications that involve search. Muli extends Java by logic variables and encapsulated search and leverages a symbolic virtual machine and constraint solvers.


    Project status in progress
    Project time since 01.11.2015
    Keywords Programming paradigm integration; Symbolic execution; Constraint-logic programming

     

  • definitely finished

    ProLeap - EXIST-Gründerstipendium


    Project status definitely finished
    Project time 01.01.2017- 31.05.2018
    Funding source BMWi - University-Based Business Start-Ups
    Project number 03EGSNW489
    Keywords Existenzgründung; Start-up; Ausgründung

     

    Customer-Management-System


    Project status definitely finished
    Project time 01.04.2017- 30.11.2017
    Funding source matchInn UG (haftungsbeschränkt)
    Keywords Informatik; Wirtschaftsinformatik

     

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


    Project status definitely finished
    Project time 04.07.2016- 05.07.2016
    Funding source Teilnehmerbeiträge
    Keywords Wirtschaftsinformatik; Praktische Informatik

     

    Test-Case Generation using Cooperating Constraint Solvers

    The aim is the development of a tool for the automatic generation of test cases for programs written in Java. The set of generated test cases should cover all control and/or data flows of a considered system of Java classes.


    Project status definitely finished
    Project time 01.01.2014- 31.12.2015
    Funding source German Academic Exchange Service
    Project number 57049954
    Keywords test case, control-flow coverage, dataflow coverage, symbolic computation, constraint solver.

     

    Wirtschaftliche und plattformübergreifende Entwicklung von Business Apps


    Project status definitely finished
    Project time 01.09.2011- 31.08.2012
    Funding source Förderkreis der Angewandten Informatik an der Westfälischen Wilhelms-Universität Münster e. V.
    Keywords Business Apps

     

    Software Tests


    Project status definitely finished
    Project time 01.09.2008- 30.10.2010
    Funding source Wirtschaft
    Keywords Software development, Testing

     

    Computer-supported learning in hybrid systems


    Project status definitely finished
    Project time 01.05.2005- 30.04.2010
    Funding source Federal Ministry of Education and Research
    Project number 01PI05003
    Keywords E-Learning, Hybrid Systems

     

    cHL-hybrid - Integration of Research- and Learning Processes


    Project status definitely finished
    Project time 01.09.2006- 31.05.2008
    Funding source Federal Ministry of Education and Research
    Project number 01PI05003
    Keywords E-Learning, Integration, Processes

     

    cHL-hybrid - Reference Technologies


    Project status definitely finished
    Project time 01.05.2005- 31.05.2008
    Funding source Federal Ministry of Education and Research
    Project number 01PI05003
    Keywords E-Learning

     

    cHL-hybrid - Integration of teaching and learning processes with administrative processes


    Project status definitely finished
    Project time 01.05.2005- 30.04.2007
    Funding source Federal Ministry of Education and Research
    Project number 01PI05003
    Keywords Enterprise Application Integration, E-Learning