Software Engineering

Focus

In the last years I have been working on an alternative approach to model-based software development called "embedded models". It is founded on the idea that models are not expressed in languages that are separated from the implementation, but in formalized program code patterns instead. By this means models and implementations are still declared at different abstraction levels, but in a consistent notation. The principle is explained in the publication "Continuous Maintenance of Multiple Abstraction Levels in Program Code" (2010) below. I also plan to finish a PhD thesis about this topic at an adequate point in time.

Publications

2010

Moritz Balz, Michael Striewe, Michael Goedicke:
Monitoring Model Specifications in Program Code Patterns
in: Proceedings of the 5th International Workshop Models@run.time, Oslo, October 5, 2010
[ Download ]

Michael Striewe, Moritz Balz, Michael Goedicke:
Enabling Graph Transformations on Program Code
in: Proceedings of the 4th International Workshop on Graph Based Tools, Enschede, The Netherlands, September 28, 2010
[ Download ]

Moritz Balz, Michael Striewe, Michael Goedicke:
Tool Support for Continuous Maintenance of State Machine Models in Program Code
in: Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010
[ Download ]

Moritz Balz, Michael Striewe, Michael Goedicke:
SyLaGen: From Academic Tool Engineering Requirements to a new Model-based Development Approach
in: Proceedings of the Third International Workshop on Academic Software Development Tools and Techniques, Antwerp, Belgium, September 20, 2010
[ Download ]

Moritz Balz, Michael Striewe, Michael Goedicke:
Continuous Maintenance of Multiple Abstraction Levels in Program Code
in: Proceedings of the 2nd International Workshop on Future Trends of Model-Driven Development - FTMDD 2010, Funchal, Portugal, June 8, 2010
[ Download ]

Moritz Balz, Michael Goedicke:
Towards Domain-specific Modeling for Java Enterprise Applications
in: Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2010, Funchal, Portugal, June 8-9, 2010
[ Download ]

Moritz Balz, Michael Goedicke:
Teaching Programming with Formal Models in Greenfoot
in: Proceedings of the 2nd International Conference on Computer Supported Education (CSEDU) 2010, Valencia, Spain, April 7-10, 2010, volume 2, pages 309-316
[ Download ]

Michael Striewe, Moritz Balz, Michael Goedicke:
SyLaGen - An Extendable Tool Environment for Generating Load
in: B. Mueller-Clostermann et al. (Eds.): Proceedings of "Measurement, Modelling and Evaluation of Computing Systems" and "Dependability and Fault Tolerance", Essen, Germany, March 15-17, 2010, LNCS 5987, pp. 307-310
[ Download ]

Marco Mueller, Moritz Balz, Michael Goedicke:
Representing Formal Component Models in OSGi
in: Proceedings of "Software Engineering 2010", Paderborn, Germany, Februar 22-26, 2010, pages 45-56
[ Download ]

2009

Florian Alt, Moritz Balz, Stefanie Kristes, Alireza Sahami Shirazi, Albrecht Schmidt, Julian Mennenoeh, Hendrik Schroeder, Michael Goedicke:
Adaptive User Profiles in Pervasive Advertising Environments
in: Proceedings of the 3rd European Conference on Ambient Intelligence, Salzburg, Austria, November 18-21, 2009 (Best Paper Award)
[ Download ]

Michael Goedicke, Michael Striewe, Moritz Balz:
Support for Evolution of Software Systems using Embedded Models
in: Proceedings of the Workshop "Design for Future - Langlebige Softwaresysteme", October 15th-16th, Karlsruhe
[ Download ]

Moritz Balz, Michael Goedicke:
Embedding Process Models in Object-Oriented Program Code
in: Proceedings of the First Workshop on Behavioural Modelling in Model-Driven Architecture (BM-MDA) 2009, Enschede
[ Download ]

Michael Striewe, Moritz Balz, Michael Goedicke:
A Flexible and Modular Software Architecture for Computer Aided Assessments and Automated Marking
in: Proceedings of the 1st International Conference on Computer Supported Education 2009, Lisboa, Portugal, volume 2, pages 54-61
[ Download ]

Moritz Balz, Michael Striewe, Michael Goedicke:
Embedding Behavioral Models into Object-Oriented Source Code
in: Proceedings of "Software Engineering 2009", Kaiserslautern, Germany
[ Download ]

2008

Michael Goedicke, Michael Striewe, Moritz Balz:
Computer Aided Assessments and Programming Exercises with JACK
ICB Report No 28, 2008 Institute for Computer Science and Business Information Systems, University of Duisburg-Essen
[ Download ]

Moritz Balz, Michael Striewe, Michael Goedicke:
Embedding State Machine Models in Object-Oriented Source Code
in: Proceedings of the Workshop Models@run.time 2008, Toulouse
[ Download ]

Michael Goedicke, Moritz Balz, Michael Striewe:
UPPAAL-Modelle als ausfuehrbare Spezifikation in Java
in: Workshop Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration, co-located at Software Engineering 2008, Munich, Germany