This paper overviews the Modeling Turnpike (mTurnpike) project, which investigates a generic model-driven development framework that supports various domain-specific solutions (i.e...
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...
In large projects, software developers struggle with two sources of complexity ? the complexity of the code itself, and the complexity of the process of producing it. Both of thes...
Knowledge transfer is one of the key problem areas in knowledge management. This paper focuses on the transfer of knowledge about the software development process. There is an aim...
Per Backlund, Christina Hallenborg, Guomundur Hall...
Software program families have a long tradition and will gain momentum in the future. Today’s research tries to move software development to a new quality of industrial producti...
Thomas Leich, Sven Apel, Laura Marnitz, Gunter Saa...