 | 2011 |
|---|
| 10 |       | Marco Müller,
Moritz Balz,
Michael Goedicke:
Enriching OSGi Service Interfaces with Formal Sequential Contracts.
Software Engineering (Workshops) 2011: 41-46 |
| 2010 |
|---|
| 9 | | Moritz Balz,
Michael Striewe,
Michael Goedicke:
Tool support for continuous maintenance of state machine models in program code.
ASE 2010: 175-176 |
| 8 |  | Moritz Balz,
Michael Goedicke:
Teaching Programming with Formal Models in Greenfoot.
CSEDU (2) 2010: 309-316 |
| 7 | | Michael Striewe,
Moritz Balz,
Michael Goedicke:
SyLaGen - An Extendable Tool Environment for Generating Load.
MMB/DFT 2010: 307-310 |
| 6 | | Moritz Balz,
Michael Goedicke:
Towards Domain-specific Modeling for Java Enterprise Applications.
MSVVEIS 2010: 30-39 |
| 5 | | Marco Müller,
Moritz Balz,
Michael Goedicke:
Representing Formal Component Models in OSGi.
Software Engineering 2010: 45-56 |
| 2009 |
|---|
| 4 | | Florian Alt,
Moritz Balz,
Stefanie Kristes,
Alireza Sahami Shirazi,
Julian Mennenöh,
Albrecht Schmidt,
Hendrik Schröder,
Michael Goedicke:
Adaptive User Profiles in Pervasive Advertising Environments.
AmI 2009: 276-286 |
| 3 | | Michael Striewe,
Moritz Balz,
Michael Goedicke:
A Flexible and Modular Software Architecture for Computer Aided Assessments and Automated Marking.
CSEDU (2) 2009: 54-61 |
| 2 | | Moritz Balz,
Michael Striewe,
Michael Goedicke:
Embedding Behavioral Models into Object-Oriented Source Code.
Software Engineering 2009: 51-62 |
| 2008 |
|---|
| 1 | | Michael Goedicke,
Moritz Balz,
Michael Striewe:
UPPAAL-Modelle als ausführbare Spezifikation in Java.
Software Engineering (Workshops) 2008: 212-218 |
Data released under the ODC-BY 1.0 license — See also our legal information page