Moritz Balz

According to our database1, Moritz Balz authored at least 13 papers between 2008 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Embedding model specifications in object-oriented program code: a bottom-up approach for model-based software development.
PhD thesis, 2011

Enriching OSGi Service Interfaces with Formal Sequential Contracts.
Proceedings of the Software Engineering 2011, 2011

Enriching Java Enterprise interfaces with formal sequential contracts.
Proceedings of the Third Workshop on Behavioural Modelling, 2011

2010
Towards Domain-specific Modeling for Java Enterprise Applications.
Proceedings of the Modelling, 2010

Representing Formal Component Models in OSGi.
Proceedings of the Software Engineering 2010, 2010

Monitoring Model Specifications in Program Code Patterns.
Proceedings of the 5th Workshop on Models@run.time, Oslo, Norway, October 5th, 2010, 2010

SyLaGen - An Extendable Tool Environment for Generating Load.
Proceedings of the Measurement, 2010

Tool support for continuous maintenance of state machine models in program code.
Proceedings of the ASE 2010, 2010

Teaching Programming with Formal Models in Greenfoot.
Proceedings of the CSEDU 2010 - Proceedings of the Second International Conference on Computer Supported Education, Valencia, Spain, April 7-10, 2010, 2010

2009
Embedding Behavioral Models into Object-Oriented Source Code.
Proceedings of the Software Engineering 2009: Fachtagung des GI-Fachbereichs Softwaretechnik 02.-06.03. 2009 in Kaiserslautern, 2009

A Flexible and Modular Software Architecture for Computer Aided Assessments and Automated Marking.
Proceedings of the CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009, 2009

Adaptive User Profiles in Pervasive Advertising Environments.
Proceedings of the Ambient Intelligence, 2009

2008
UPPAAL-Modelle als ausführbare Spezifikation in Java.
Proceedings of the Software Engineering 2008, 2008


  Loading...