@article{7352,
  abstract     = {{Mittlerweile sind viele Unternehmen dazu übergegangen, ihre Software „agil“ zu entwickeln. Die damit verbundenen Erwartungen sind vor allem ein frühes Kundenfeedback sowie eine kürzere „Time-to-Market“ durch entsprechend schnelle Release-Zyklen. Hinter den Kulissen finden sich jedoch oftmals Probleme, sodass die erwarteten Vorteile agiler Softwareentwicklung nicht oder nur teilweise zum Tragen kommen. Gründe dafür liegen selten an technischen Hürden, sondern oftmals in einer zu oberflächlichen Interpretation der Philosophie von agiler Softwareentwicklung und den damit zusammenhängenden Kernzielen: Planung und Analyse auf ein sinnvolles Maß zu reduzieren und zugleich unnötige Arbeiten zu vermeiden. Was sinnvoll und was unnötig ist, stellt dabei eine der wesentlichen Herausforderungen dar.}},
  author       = {{Geisen, Silke and Güldali, Baris}},
  journal      = {{OBJEKTspektrum (Online Themenspecials)}},
  number       = {{Agility/2012}},
  pages        = {{1--4}},
  title        = {{{Agiles Testen in Scrum – Testtypen und Abläufe}}},
  year         = {{2012}},
}

@book{7507,
  author       = {{Kremer, Marion and Engels, Gregor and Hofmann, Alexander and Hohwiller, Jörg and E. Nandico, Oliver and Nötzold, Thomas and Prott, Karl and Schlegel, Diethelm and Seidl, Andreas and Wolf, Thomas}},
  publisher    = {{Capgemini CSD Research, Offenbach 2012}},
  title        = {{{Quasar 3.0 - A Situational Approach to Software Engineering}}},
  year         = {{2012}},
}

@inbook{7557,
  abstract     = {{Software systems are part of our everyday life and they become more complex day by day. The ever-growing complexity of software and high quality requirements pose tough challenges to quality assurance. The quality of a software system can be measured by software testing. However, if manually done, testing is a time-consuming and error-prone task. Especially test case design and test execution are the most cost-intensive activities in testing. In the previous 20 years, many automation tools have been introduced for automating test execution by using test scripts. However, the effort for creating and maintaining test scripts remains. Model-based testing (MBT) aims at improving this part by systematizing and automating the test case design. Thereby, test cases or automatable test scripts can be generated systematically from test models. MBT is already known for several years, but it currently gains a great momentum due to advanced tool support and innovative methodological approaches. This chapter aims at giving an overview of MBT and summarizes recent achievements in MBT. Experiences with using the MBT approach are illustrated by reporting on some success stories. Finally, open issues and future research challenges are discussed.}},
  author       = {{Mlynarski, Michael and Güldali, Baris and Weißleder, Stephan and Engels, Gregor}},
  booktitle    = {{Advances in Computers}},
  editor       = {{ Hurson, Ali and Memon, Atif}},
  pages        = {{1 -- 39}},
  publisher    = {{Elsevier}},
  title        = {{{Model-Based Testing: Achievements and Future Challenges}}},
  doi          = {{http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6}},
  volume       = {{86}},
  year         = {{2012}},
}

@phdthesis{7572,
  abstract     = {{Software-Architekturen betrieblicher Informationssysteme bestehen aus Architekturbausteinen wie Frameworks, Komponenten und Bibliotheken. Die Entwicklung dieser Architekturen unter Einbeziehung wiederverwendbarer Architekturbausteine ist eine Voraussetzung einer industriell organisierten Software-Entwicklung. Für eine effiziente Trennung der Zuständigkeiten werden dabei häufig Architekturbausteine von Drittanbietern wiederverwendet.Frameworks als erweiterbare Architekturbausteine bieten besondere Vorteile. Sie erlauben sowohl die Wiederverwendung der Funktionalität als auch der durch das Framework vorgegebenen Software-Architektur. Beispiele sind Frameworks für Benutzungsoberflächen oder für die Anbindung von Datenbanken. Durch Implementierung anwendungsspezifischer Erweiterungen wird ein Framework für den konkreten Anwendungsfall angepasst. Eine Anwendung, deren Software-Architektur ein Framework einsetzt, benutzt das Framework über dessen Erweiterungspunkte.Im Laufe der Evolution einer solchen Anwendung entsteht häufig die Situation, dass das Framework durch eine neuere Version aktualisiert werden soll. Die Aktualisierung enthält das Risiko, dass Inkompatibilitäten zwischen bestehender Anwendung und neuer Framework-Version auftreten, die wiederum zu aufwendigen Anpassungen führen. Daher müssen mögliche Inkompatibilitäten vor der Aktualisierung erkannt und bewertet werden. Nach aktuellem Stand der Technik ist dies nicht möglich, so dass es in der industriellen Praxis zu unvorhergesehenen Problemen verbunden mit hohen Kosten kommt.Wir stellen ein Verfahren zur automatischen Kompatibilitätsanalyse Framework-basierter Anwendungen vor, mit dem das beschriebene Problem gelöst wird. Durch eine Kombination aus Codeanalyse und neuartiger Framework-Beschreibung lassen sich mögliche Inkompatibilitäten vor Durchführung der Aktualisierung automatisch berechnen. Eine prototypische Implementierung des Verfahrens im Werkzeug »Companian« demonstriert die praktische Einsetzbarkeit unseres Verfahrens.Für die Definition der benötigten Framework-Beschreibungssprache mittels Meta-Modellierung setzen wir die neuartige Modellierungstechnik der parametrisierten Meta-Modelle ein. Die Technik unterstützt unseren Ansatz einer anforderungsbasierten Wiederverwendung von Sprachen. Mit diesem Ansatz können bestehende Sprachen für Teilaspekte neu definierter Sprachen wiederverwendet werden. Unser pragmatischer Ansatz stellt dabei sicher, dass hierbei nur die Sprachen benutzt werden können, die syntaktisch und semantisch den geforderten Sprachen entsprechen.}},
  author       = {{Christ, Fabian}},
  publisher    = {{Universität Paderborn}},
  title        = {{{Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen}}},
  year         = {{2012}},
}

@inproceedings{8473,
  author       = {{Gerth, Christian  and Luckey, Markus }},
  booktitle    = {{Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM'12)}},
  number       = {{4}},
  pages        = {{32--34}},
  publisher    = {{FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI)}},
  title        = {{{Towards Rich Change Management for Business Process Models}}},
  volume       = {{32}},
  year         = {{2012}},
}

@inproceedings{8475,
  author       = {{Huma , Zille  and Gerth , Christian  and Engels, Gregor and Juwig, Oliver }},
  booktitle    = {{Proceedings of the Forum at the CAiSE'12 Conference on Advanced Information Systems Engineering}},
  pages        = {{90----97}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{A UML-based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners}}},
  doi          = {{http://ceur-ws.org/Vol-855/paper11.pdf}},
  volume       = {{855}},
  year         = {{2012}},
}

@inproceedings{8476,
  author       = {{Luckey , Markus  and Mutz, Felix }},
  booktitle    = {{Repository for Model-Driven Development (ReMoDD)}},
  title        = {{{Modeling with Adapt Cases}}},
  year         = {{2012}},
}

@inproceedings{8477,
  author       = {{Geisen , Silke  and Luckey , Markus  and Engels, Gregor}},
  booktitle    = {{Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement und Vorgehensmodelle}},
  pages        = {{111--120}},
  publisher    = {{Shaker Verlag}},
  title        = {{{Ein Ansatz zur dynamischen Qualitätsmessung,  -bewertung und Anpassung von Software Engineering Methoden}}},
  year         = {{2012}},
}

@inproceedings{8478,
  author       = {{Arifulina, Svetlana }},
  booktitle    = {{Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))}},
  pages        = {{23--26}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Towards a Framework for the Integration of Modeling Languages}}},
  volume       = {{935}},
  year         = {{2012}},
}

@inproceedings{8479,
  author       = {{Güldali , Baris  and Sauer, Stefan and Löhr, Perdita }},
  booktitle    = {{Proceedings of the Workshop Modellbasierte und Modellgetriebene Softwaremodernisierung (MMSM 2012)}},
  number       = {{2}},
  pages        = {{5--6}},
  publisher    = {{Softwaretechnik-Trends}},
  title        = {{{Entwicklung eines Softwarewerkzeugs für die modellgetriebene Migration betrieblicher Informationssysteme}}},
  volume       = {{32}},
  year         = {{2012}},
}

@inproceedings{8480,
  author       = {{Mussbacher , Gunter  and Alam , Omar  and Alhaj , Mohammed  and Ali , Shaukat  and Amálio , Nuno  and Barn , Balbir  and Bræk , Rolv  and Clark , Tony  and Combemale , Benoit  and Cysneiros , Luiz Marcio  and Fatima , Urooj  and France , Robert  and Georg , Geri  and Horkoff , Jennifer  and Kienzle , Jörg  and Leite , Julio Cesar  and Lethbridge , Timothy C.  and Luckey , Markus  and Moreira , Ana  and Mutz , Felix  and A. Oliveira, A. Padua  and C. Petriu , Dorina  and Schöttle, Matthias  and Troup, Lucy  and Werneck, Vera M. B. }},
  booktitle    = {{Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012)}},
  publisher    = {{ACM}},
  title        = {{{Assessing composition in modeling approaches}}},
  doi          = {{https://dl.acm.org/citation.cfm?id=2459032}},
  year         = {{2012}},
}

@inproceedings{8483,
  author       = {{Luckey , Markus  and Thanos , Christian  and Gerth, Christian  and Engels, Gregor}},
  booktitle    = {{Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO'12}},
  title        = {{{Multi-Staged Quality Assurance for Self-Adaptive Systems}}},
  year         = {{2012}},
}

@inproceedings{8484,
  author       = {{Geisen, Silke }},
  booktitle    = {{Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium}},
  pages        = {{7--12}},
  publisher    = {{Petra Hofstedt, Claus Lewerentz (BTU Cottbus)}},
  title        = {{{Ein Ansatz zur Anpassung von Software Engineering Methoden im laufenden Projekt}}},
  volume       = {{Report 01/12}},
  year         = {{2012}},
}

@inproceedings{8548,
  author       = {{Liebendörfer, Michael and Hochmuth, Reinhard}},
  booktitle    = {{Beiträge zum Mathematikunterricht 2012 : Vorträge auf der 46. Tagung für Didaktik der Mathematik}},
  pages        = {{545--548}},
  publisher    = {{WTM-Verlag}},
  title        = {{{Mathematikinteresse im 1. Studiensemester}}},
  volume       = {{1}},
  year         = {{2012}},
}

@inproceedings{8552,
  author       = {{Biehler, Rolf and Hoppenbrock, Axel and Klemm, Juliane and Liebendörfer, Michael and Wassong, Thomas}},
  booktitle    = {{CETL-MSOR Conference 2011}},
  title        = {{{Training of student teaching assistants and e-learning via math-bridge – Two projects at the German Centre for Higher Mathematics Education}}},
  year         = {{2012}},
}

@article{8556,
  abstract     = {{We consider the space of complete rank two collineations. Starting from its description as a limit of GIT-quotients of a Grassmanian G(2, n) by a certain {\textbackslash}documentclass\{article\}{\textbackslash}usepackage\{amssymb\}{\textbackslash}begin\{document\}{\textbackslash}pagestyle\{empty\}\${\textbackslash}mathbb \{C\}{\textasciicircum}*\${\textbackslash}end\{document\}-action, we determine the Cox ring by means of toric ambient modifications.}},
  author       = {{Hausen, Jürgen and Liebendörfer, Michael}},
  issn         = {{1522-2616}},
  journal      = {{Mathematische Nachrichten}},
  number       = {{8-9}},
  pages        = {{974--980}},
  title        = {{{The Cox ring of the space of complete rank two collineations}}},
  doi          = {{10.1002/mana.201100043}},
  volume       = {{285}},
  year         = {{2012}},
}

@article{5183,
  author       = {{Bodden, Eric and Lam, Patrick and Hendren, Laurie}},
  issn         = {{0164-0925}},
  journal      = {{ACM Transactions on Programming Languages and Systems}},
  number       = {{2}},
  pages        = {{1--52}},
  publisher    = {{Association for Computing Machinery (ACM)}},
  title        = {{{Partially Evaluating Finite-State Runtime Monitors Ahead of Time}}},
  doi          = {{10.1145/2220365.2220366}},
  volume       = {{34}},
  year         = {{2012}},
}

@inproceedings{565,
  abstract     = {{In model-driven development of multi-layer systems (e.g. application, platform and infrastructure), each layer is usually described by separate models. When generating analysis models or code, these separate models rst of all need to be linked. Hence, existing model transformations for single layers cannot be simply re-used. In this paper, we present a modular approach to the transformation of multi-layer systems. It employs model weaving to dene the interconnections between models of dierent layers. The weaving models themselves are subject to model transformations: The result of transforming a weaving model constitutes a conguration for the models obtained by transforming single layers, thereby allowing for a re-use of existing model transformations. We exemplify our approach by the generation of analysis models for component-based software.}},
  author       = {{Besova, Galina and Walther, Sven and Wehrheim, Heike and Becker, Steffen}},
  booktitle    = {{Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS)}},
  pages        = {{776--792}},
  title        = {{{Weaving-based configuration and modular transformation of multi-layer systems}}},
  doi          = {{10.1007/978-3-642-33666-9_49}},
  year         = {{2012}},
}

@inproceedings{6720,
  author       = {{Böttcher, Stefan and Hartel, Rita and Heindorf, Stefan}},
  booktitle    = {{ADC}},
  pages        = {{137--144}},
  publisher    = {{Australian Computer Society}},
  title        = {{{Optimized XPath evaluation for Schema-compressed XML data}}},
  volume       = {{124}},
  year         = {{2012}},
}

@inproceedings{6742,
  author       = {{Böttcher, Stefan and Bokermann, Dennis and Hartel, Rita}},
  booktitle    = {{8th International Conference on Signal Image Technology and Internet Based Systems (SITIS'12)}},
  isbn         = {{9781467351522}},
  publisher    = {{IEEE}},
  title        = {{{Generalizing and Improving SQL/XML Query Evaluation}}},
  doi          = {{10.1109/sitis.2012.72}},
  year         = {{2012}},
}