@misc{5760,
  author       = {{Yigitbas, Enes}},
  title        = {{{Entwicklung eines Monitoring- und Adaptionskonzeptes für Geschäftsprozesse in service-orientierten Systemen}}},
  year         = {{2012}},
}

@inproceedings{622,
  abstract     = {{Behavioral modeling languages are most useful if their behavior is specified formally such that it can e.g. be analyzed and executed automatically. Obviously, the quality of such behavior specifications is crucial. The rule-based semantics specification technique Dynamic Meta Modeling (DMM) honors this by using the approach of Test-driven Semantics Specification (TDSS), which makes sure that the specification at hand at least describes the correct behavior for a suite of test models. However, in its current state TDSS does not provide any means to measure the quality of such a test suite. In this paper, we describe how we have applied the idea of test coverage to TDSS. Similar to common approaches of defining test coverage criteria, we describe a data structure called invocation graph containing possible orders of applications ofDMM rules. Then we define different coverage criteria based on that data structure, taking the rule applications caused by the test suite’s models into account. Our implementation of the described approach gives the language engineer using DMM a means to reason about the quality of the language’s test suite, and also provides hints on how to improve that quality by adding dedicated test models to the test suite.}},
  author       = {{Arifulina, Svetlana and Engels, Gregor and Soltenborn, Christian}},
  booktitle    = {{Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)}},
  title        = {{{Coverage Criteria for Testing DMM Specifications}}},
  doi          = {{10.14279/tuj.eceasst.47.718}},
  year         = {{2012}},
}

@article{6250,
  author       = {{Paelke, Volker and Nebe, Karsten and Geiger, Christian and Klompmaker, Florian and Fischer, Holger Gerhard}},
  issn         = {{1682-1777}},
  journal      = {{ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences}},
  pages        = {{55--60}},
  publisher    = {{Copernicus GmbH}},
  title        = {{{Multi-Modal, Multi-Touch Interaction with Maps in Disaster Management Applications}}},
  doi          = {{10.5194/isprsarchives-xxxix-b8-55-2012}},
  volume       = {{XXXIX-B8}},
  year         = {{2012}},
}

@inproceedings{6285,
  author       = {{Paelke, Volker and Nebe, Karsten and Geiger, Christian and Klompmaker, Florian and Fischer, Holger Gerhard}},
  booktitle    = {{Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI)}},
  pages        = {{95--100}},
  publisher    = {{IARIA}},
  title        = {{{Designing Multi-Modal Map-Based Interfaces for Disaster Management}}},
  year         = {{2012}},
}

@inproceedings{6286,
  author       = {{Klompmaker, Florian and Fischer, Holger Gerhard and Jung, Helge}},
  booktitle    = {{Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI)}},
  pages        = {{141--144}},
  publisher    = {{IARIA}},
  title        = {{{Authenticated Tangible Interaction using RFID and Depth-Sensing Cameras - Supporting Collaboration on Interactive Tabletops}}},
  year         = {{2012}},
}

@inproceedings{6288,
  author       = {{Fischer, Holger Gerhard}},
  booktitle    = {{Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems - EICS '12}},
  isbn         = {{9781450311687}},
  publisher    = {{ACM Press}},
  title        = {{{Integrating usability engineering in the software development lifecycle based on international standards}}},
  doi          = {{10.1145/2305484.2305541}},
  year         = {{2012}},
}

@inproceedings{6290,
  author       = {{Fischer, Holger Gerhard and Klompmaker, Florian}},
  booktitle    = {{Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM)}},
  publisher    = {{ISCRAM Digital Library}},
  title        = {{{Enriching Disaster Control Management based on Human-Computer Design}}},
  year         = {{2012}},
}

@inproceedings{6291,
  author       = {{Fischer, Holger Gerhard and Geis, Thomas and Kluge, Oliver and Bogner, Christian and Polkehn, Knut}},
  booktitle    = {{Jahresband Usability Professionals}},
  pages        = {{160--165}},
  publisher    = {{German UPA}},
  title        = {{{Der Qualitätsstandard für Usability Engineering der German UPA – Aktueller Stand der Arbeiten}}},
  year         = {{2012}},
}

@techreport{6312,
  author       = {{Behrenbruch, Kay and Bogner, Christian and Fischer, Holger Gerhard and Geis, Thomas and Geitner, Claudia and Heimgärtner, Rüdiger and Hofmann, Britta and Hunkirchen, Peter and Kluge, Oliver and Litzenberg, Britta and Molich, Rolf and Polkehn, Knut and Pysarenko, Yuliya and Zimmermann, Dirk}},
  title        = {{{German UPA Qualitätsstandard für Usability Engineering}}},
  year         = {{2012}},
}

@inproceedings{639,
  abstract     = {{Service-oriented computing (SOC) emerges as a promising trend solving many issues in distributed software development. Following the essence of SOC, service descriptions are dened by the service partners based on current standards, e.g., WSDL [15]. However, these standards are mostly structural and do not provide any behavioral description, which may lead to inaccurate service discovery results. There is a requirement for a rich service description language for service partners that encompasses the structural as well as behavioral information in the service description. Furthermore, service discovery based on an automatic matching of these comprehensive service descriptions is a complex task, which is further complicated through the heterogeneity of the service partners' domains in terms of dierent underlying ontologies. In this paper, we propose a rich service description language based on UML, which allows the specication of structural and behavioral features of a service. In addition, we also briefly discuss how some existing matching approaches can be extended to dene an automatic matching mechanism for rich service descriptions resolving the underlying heterogeneity.}},
  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}},
  title        = {{{A UML-based Rich Service Description for Automatic Service Discovery}}},
  year         = {{2012}},
}

@article{7339,
  author       = {{Dumslaff, Uwe and Engels, Gregor and Kremer, Marion}},
  journal      = {{OBJEKTspektrum}},
  number       = {{Nr. 5}},
  pages        = {{52 -- 57}},
  title        = {{{IT ist nicht gleich IT: Ein Plädoyer für eine situationsbezogene Softwareentwicklung}}},
  year         = {{2012}},
}

@article{7340,
  author       = {{Luckey, Markus and Erwig, Martin and Engels, Gregor}},
  issn         = {{1045-926X}},
  journal      = {{Journal of Visual Languages & Computing}},
  number       = {{5}},
  pages        = {{267--286}},
  publisher    = {{Elsevier BV}},
  title        = {{{Systematic evolution of model-based spreadsheet applications}}},
  doi          = {{10.1016/j.jvlc.2011.11.009}},
  volume       = {{23}},
  year         = {{2012}},
}

@article{7342,
  author       = {{Chernilovskaya, Anna and Gehrke, Mai and van Rooijen, Lorijn}},
  issn         = {{1367-0751}},
  journal      = {{Logic Journal of IGPL}},
  number       = {{6}},
  pages        = {{1110--1132}},
  publisher    = {{Oxford University Press (OUP)}},
  title        = {{{Generalized Kripke semantics for the Lambek-Grishin calculus}}},
  doi          = {{10.1093/jigpal/jzr051}},
  volume       = {{20}},
  year         = {{2012}},
}

@article{7344,
  author       = {{Grieger, Marvin and Güldali, Baris and Sauer, Stefan}},
  journal      = {{Softwaretechnik-Trends, Proceedings of the 14th Workshop Software-Reengineering (WSR)}},
  number       = {{2}},
  pages        = {{37--38}},
  title        = {{{Sichern der Zukunftsfähigkeit bei der Migration von Legacy-Systemen durch modellgetriebene Softwareentwicklung}}},
  volume       = {{32}},
  year         = {{2012}},
}

@article{7345,
  author       = {{Engels, Gregor and Whittle, Jon }},
  issn         = {{1619-1366}},
  journal      = {{Software & Systems Modeling}},
  number       = {{4}},
  pages        = {{463--465}},
  publisher    = {{Springer Nature}},
  title        = {{{Ten years of software and systems modeling}}},
  doi          = {{10.1007/s10270-012-0287-3}},
  volume       = {{11}},
  year         = {{2012}},
}

@article{7351,
  author       = {{Christ, Fabian and Nagel, Benjamin and Bachman-Gmür, Reto and Westenthaler, Rupert}},
  journal      = {{JavaMagazin}},
  pages        = {{96--100}},
  title        = {{{Semantisches Content Management}}},
  volume       = {{8}},
  year         = {{2012}},
}

@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}},
}