Pinned Repositories
cloud-examples
mabap
maml
MAML - Münster App Modeling Language
md2-framework
MD2 – Model-driven Mobile Development
md2-testApps
Collection of test apps written in MD2's DSL
muggl
A Symbolic ATCG
muli
:horse: Project collection for Muli. Features a custom compiler and a symbolic Java virtual machine that support constraint-logic object-oriented programming.
resteasy-example
Example projects for RESTEasy service and client
tap17-muggl-javaee
The symbolic execution test-case generator Muggl extended with Java EE and JPA support. Artifact for TAP 17 conference.
tutorials
Tutorials provided by the Group for Practical Computer Science
Lehrstuhl für Praktische Informatik's Repositories
wwu-pi/tap17-muggl-javaee
The symbolic execution test-case generator Muggl extended with Java EE and JPA support. Artifact for TAP 17 conference.
wwu-pi/md2-web
Web site for MD2 framework
wwu-pi/pizzabestellsystem
wwu-pi/acse-hotel-cd2java
wwu-pi/acse-hotel-room-reservation-system
wwu-pi/acse-xtend-examples
wwu-pi/acse-xtext-gui
wwu-pi/acse-xtext-knuth-binaries
wwu-pi/acse-xtext-validation
wwu-pi/curry
wwu-pi/maml-dsl
wwu-pi/maml-editor
wwu-pi/webapp