TY - JOUR AU - Houel, J. AU - Kuhlmann, A. V. AU - Greuter, L. AU - Xue, F. AU - Poggio, M. AU - Gerardot, B. D. AU - Dalgarno, P. A. AU - Badolato, A. AU - Petroff, P. M. AU - Ludwig, A. AU - Reuter, Dirk AU - Wieck, A. D. AU - Warburton, R. J. ID - 7329 IS - 10 JF - Physical Review Letters SN - 0031-9007 TI - Probing Single-Charge Fluctuations at aGaAs/AlAsInterface Using Laser Spectroscopy on a Nearby InGaAs Quantum Dot VL - 108 ER - TY - JOUR AU - Chen, J. C. H. AU - Wang, D. Q. AU - Klochan, O. AU - Micolich, A. P. AU - Das Gupta, K. AU - Sfigakis, F. AU - Ritchie, D. A. AU - Reuter, Dirk AU - Wieck, A. D. AU - Hamilton, A. R. ID - 7330 IS - 5 JF - Applied Physics Letters SN - 0003-6951 TI - Fabrication and characterization of ambipolar devices on an undoped AlGaAs/GaAs heterostructure VL - 100 ER - TY - CONF AU - Höpfner, Henning AU - Li, Mingyuan AU - Ludwig, Arne AU - Ludwig, Astrid AU - Stromberg, Frank AU - Wende, Heiko AU - Keune, Werner AU - Reuter, Dirk AU - Wieck, Andreas D. AU - Gerhardt, Nils C. AU - Hofmann, Martin R. ID - 7334 T2 - Ultrafast Phenomena and Nanophotonics XVI TI - Room temperature spin relaxation in quantum dot based spin-optoelectronic devices ER - TY - JOUR AU - Li, Yan AU - Sinitsyn, N. AU - Smith, D. L. AU - Reuter, Dirk AU - Wieck, A. D. AU - Yakovlev, D. R. AU - Bayer, M. AU - Crooker, S. A. ID - 7338 IS - 18 JF - Physical Review Letters SN - 0031-9007 TI - Intrinsic Spin Fluctuations Reveal the Dynamical Response Function of Holes Coupled to Nuclear Spin Baths in (In,Ga)As Quantum Dots VL - 108 ER - TY - JOUR AU - Dumslaff, Uwe AU - Engels, Gregor AU - Kremer, Marion ID - 7339 IS - Nr. 5 JF - OBJEKTspektrum TI - IT ist nicht gleich IT: Ein Plädoyer für eine situationsbezogene Softwareentwicklung ER - TY - JOUR AU - Luckey, Markus AU - Erwig, Martin AU - Engels, Gregor ID - 7340 IS - 5 JF - Journal of Visual Languages & Computing SN - 1045-926X TI - Systematic evolution of model-based spreadsheet applications VL - 23 ER - TY - JOUR AU - Chernilovskaya, Anna AU - Gehrke, Mai AU - van Rooijen, Lorijn ID - 7342 IS - 6 JF - Logic Journal of IGPL SN - 1367-0751 TI - Generalized Kripke semantics for the Lambek-Grishin calculus VL - 20 ER - TY - JOUR AU - Grieger, Marvin AU - Güldali, Baris AU - Sauer, Stefan ID - 7344 IS - 2 JF - Softwaretechnik-Trends, Proceedings of the 14th Workshop Software-Reengineering (WSR) TI - Sichern der Zukunftsfähigkeit bei der Migration von Legacy-Systemen durch modellgetriebene Softwareentwicklung VL - 32 ER - TY - JOUR AU - Engels, Gregor AU - Whittle, Jon ID - 7345 IS - 4 JF - Software & Systems Modeling SN - 1619-1366 TI - Ten years of software and systems modeling VL - 11 ER - TY - JOUR AU - Christ, Fabian AU - Nagel, Benjamin AU - Bachman-Gmür, Reto AU - Westenthaler, Rupert ID - 7351 JF - JavaMagazin TI - Semantisches Content Management VL - 8 ER - TY - JOUR AB - 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. AU - Geisen, Silke AU - Güldali, Baris ID - 7352 IS - Agility/2012 JF - OBJEKTspektrum (Online Themenspecials) TI - Agiles Testen in Scrum – Testtypen und Abläufe ER - TY - JOUR AU - Ruth, Marcel AU - Meier, Cedrik ID - 7490 IS - 22 JF - Physical Review B SN - 1098-0121 TI - Scaling coefficient for three-dimensional grain coalescence of ZnO on Si(111) VL - 86 ER - TY - JOUR AU - Kröger, Philipp AU - Ruth, Marcel AU - Weber, Nils AU - Meier, Cedrik ID - 7491 IS - 26 JF - Applied Physics Letters SN - 0003-6951 TI - Carrier localization in ZnO quantum wires VL - 100 ER - TY - JOUR AU - Kampmeier, J. AU - Rashad, M. AU - Woggon, U. AU - Ruth, M. AU - Meier, Cedrik AU - Schikora, D. AU - Lischka, K. AU - Pawlis, A. ID - 7492 IS - 15 JF - Physical Review B SN - 1098-0121 TI - Enhanced photoluminescence of colloidal nanocrystals embedded in epitaxially grown semiconductor microstructures VL - 85 ER - TY - BOOK AU - Kremer, Marion AU - Engels, Gregor AU - Hofmann, Alexander AU - Hohwiller, Jörg AU - E. Nandico, Oliver AU - Nötzold, Thomas AU - Prott, Karl AU - Schlegel, Diethelm AU - Seidl, Andreas AU - Wolf, Thomas ID - 7507 TI - Quasar 3.0 - A Situational Approach to Software Engineering ER - TY - CHAP AB - 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. AU - Mlynarski, Michael AU - Güldali, Baris AU - Weißleder, Stephan AU - Engels, Gregor ED - Hurson, Ali ED - Memon, Atif ID - 7557 T2 - Advances in Computers TI - Model-Based Testing: Achievements and Future Challenges VL - 86 ER - TY - THES AB - 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. AU - Christ, Fabian ID - 7572 TI - Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen ER - TY - CONF AU - Gerth, Christian AU - Luckey, Markus ID - 8473 IS - 4 T2 - Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM'12) TI - Towards Rich Change Management for Business Process Models VL - 32 ER - TY - CONF AU - Huma , Zille AU - Gerth , Christian AU - Engels, Gregor AU - Juwig, Oliver ID - 8475 T2 - Proceedings of the Forum at the CAiSE'12 Conference on Advanced Information Systems Engineering TI - A UML-based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners VL - 855 ER - TY - CONF AU - Luckey , Markus AU - Mutz, Felix ID - 8476 T2 - Repository for Model-Driven Development (ReMoDD) TI - Modeling with Adapt Cases ER -