TY - JOUR AU - Mehta, M. AU - Reuter, Dirk AU - Wieck, A. D. AU - Michaelis de Vasconcellos, S. AU - Zrenner, A. AU - Meier, C. ID - 7990 IS - 14 JF - Applied Physics Letters SN - 0003-6951 TI - An intentionally positioned (In,Ga)As quantum dot in a micron sized light emitting diode VL - 97 ER - TY - JOUR AU - Reuter, Dirk AU - Roescu, R AU - Zeitler, U AU - Maan, J C AU - Wieck, A D ID - 7991 JF - Journal of Physics: Conference Series SN - 1742-6596 TI - Capacitance-voltage spectroscopy on InAs quantum dot valence band states in tilted magnetic fields VL - 245 ER - TY - JOUR AU - Rizo, P J AU - Pugzlys, A AU - Slachter, A AU - Denega, S Z AU - Reuter, Dirk AU - Wieck, A D AU - van Loosdrecht, P H M AU - van der Wal, C H ID - 7992 IS - 11 JF - New Journal of Physics SN - 1367-2630 TI - Optical probing of spin dynamics of two-dimensional and bulk electrons in a GaAs/AlGaAs heterojunction system VL - 12 ER - TY - CONF AU - Mlynarski, Michael ID - 8023 T2 - Proceedings of 3rd International Conference on Software Testing, Verification and Validation TI - Holistic Model-Based Testing for Business Information Systems ER - TY - CONF AU - Christ, Fabian AU - Bals, Jan-Christopher AU - Engels, Gregor AU - Gerth, Christian AU - Luckey, Markus ID - 8024 T2 - Proceedings of the 48th International Conference on Objects, Models, Components and Patterns (TOOLS'10), Málaga (Spain) TI - A Generic Meta-Model-based Approach for Specifying Framework Functionality and Usage VL - 6141 ER - TY - CONF AU - Engels, Gregor AU - Lewerentz, Claus AU - Schäfer, Wilhelm AU - Schürr, Andy AU - Westfechtel, Bernhard ID - 8025 T2 - Graph Transformations and Model-Driven Engineering TI - Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl VL - 5765 ER - TY - CONF AU - Engels, Gregor AU - Salger, Frank ID - 8026 T2 - In Proceedings of the ACM/IEEE 32nd International Conference on Software Engineering (ICSE), New Ideas and Emergent Results program, May 2010, Cape Town (South Africa) TI - Knowledge Transfer in Global Software Development - Leveraging Acceptance Test Case Specifications ER - TY - CONF AU - Gimnich, Rainer AU - Kaiser, Uwe AU - Momm, Christof AU - Quante, Jochen AU - Riediger, Volker AU - Sauer, Stefan AU - Trifu, Mircea AU - Winter, Andreas ED - Doberkat, Ernst-Erich ED - Kelter, Uwe ID - 8027 IS - 2 TI - Proceedings 12. Workshop Software-Reengineering (WSR) & 2. Workshop Design for Future 2010 (DFF) VL - 30 ER - TY - CONF AB - Version management of process models requires that changes can be resolved by applying change operations. Conflict detection is an important part of version management and the minimization of the number of detected conflicts also reduces the overhead when resolving changes. As not every syntactic conflict leads to a conflict when taking into account model semantics, a computation of conflicts solely on the syntax leads to an unnecessary high number of conflicts. In this paper, we introduce the notion of syntactic and semantic conflicts for change operations of process models. We provide a method how to efficiently compute conflicts, using a term formalization of process models. Using this approach, we can significantly reduce the number of overall conflicts and thereby reduce the amount of work for the user when resolving conflicts. AU - Gerth, Christian AU - Küster, Jochen AU - Luckey, Markus AU - Engels, Gregor ID - 8028 IS - Part II T2 - Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10) TI - Precise Detection of Conflicting Change Operations using Process Model Terms VL - 6395 ER - TY - CONF AU - Gerth, Christian AU - Luckey, Markus AU - Küster, Jochen AU - Engels, Gregor ID - 8029 T2 - Proceedings of the IEEE 7th International Conference on Services Computing (SCC'10) TI - Detection of Semantically Equivalent Fragments for Business Process Model Change Management ER - TY - CONF AU - Heinemann, Marianne AU - Duwe, Bettina AU - Engels, Gregor ID - 8030 T2 - Software & Systems Engineering Essentials (SEE) 2010 TI - Enriching RUP with key success factors for large-scale custom software development projects ER - TY - CONF AU - Heinemann, Marianne AU - Engels, Gregor ID - 8031 T2 - Integration von Vorgehensmodellen und Projektmanagement TI - Auswahl projektspezifischer Vorgehensstrategien ER - TY - CONF AU - Huck, Wilfried AU - Alakbarov, Alexej AU - Domik, Gitta AU - Radkowski, Rafael AU - Tölke, Roswitha AU - Mikus, Ann-Cathrin AU - Geisen, Silke ID - 8032 T2 - 12. Jahrestagung der Deutschsprachigen Gesellschaft für Psychotraumatologie (DeGPT) TI - Computergestützte traumatherapeutische Behandlungsmöglichkeiten bei Verkehrsunfallopfern von Kinder und Jugendlichen ER - TY - CONF AB - Version management of business process models requires that changes can be resolved by applying change operations. In order to give a user maximal freedom concerning the application order of change operations, position parameters of change operations must be computed dynamically during change resolution. In such an approach, change operations with computed position parameters must be applicable on the model and dependencies and conflicts of change operations must be taken into account because otherwise invalid models can be constructed. In this paper, we study the concept of partially specified change operations where parameters are computed dynamically. We provide a formalization for partially specified change operations using graph transformation and provide a concept for their applicability. Based on this, we study potential dependencies and conflicts of change operations and show how these can be taken into account within change resolution. Using our approach, a user can resolve changes of business process models without being unnecessarily restricted to a certain order. AU - Küster, Jochen AU - Gerth, Christian AU - Engels, Gregor ID - 8033 T2 - Proceedings of the 6th European Conference on Modelling Foundations and Applications (ECMFA'10) TI - Dynamic Computation of Change Operations in Version Management of Business Process Models VL - 6138 ER - TY - CONF AU - Engels, Gregor AU - Sauer, Stefan ED - Engels, Gregor ED - Lewerentz, Claus ED - Schäfer, Wilhelm ED - Schürr, Andy ED - Westfechtel, Bernhard ID - 8034 T2 - Graph Transformations and Model-Driven Engineering TI - A Meta-Method for Defining Software Engineering Methods VL - 5765 ER - TY - CONF AU - Sancar, Yavuz AU - Schumacher, Claudia ID - 8035 T2 - Proceedings of the Conference on Software & Systems Engineering Essentials 2010 (SEE 2010), Köln (Germany) TI - Erweiterung des TPI-Modells zur Reifegradbewertung unter Berücksichtigung von projekteigenen Anforderungen ER - TY - CONF AU - Salger, Frank AU - Engels, Gregor AU - Hofmann, Alexander ID - 8037 T2 - Proceedings ACM/IEEE 32nd International Conference on Software Engineering, Software Engineering in Practice Track, Cape Town, South Africa (ICSE'10) TI - Assessments in Global Software Development: A Tailorable Framework for Industrial Projects VL - 2 ER - TY - CONF AU - Chambers, Chris AU - Erwig, Martin AU - Luckey, Markus ID - 8038 T2 - Proceedings of the 26th IEEE Symposium on Visual Languages and Human-Centric Computing 2010 (VL/HCC 2010) TI - SheetDiff: A Tool for Identifying Changes in Spreadsheets ER - TY - CONF AU - Van den Bergh, Jan AU - Meixner, Gerrit AU - Breiner, Kai AU - Pleuß, Andreas AU - Sauer, Stefan AU - Hussmann, Heinrich ID - 8039 T2 - Proc. 28th International Conference on Human Factors in Computing Systems (CHI 2010) TI - Model-driven Development of Advanced User Interfaces ER - TY - CONF AB - Software Quality Lab (s-lab) is an open multi-private-public partnership institute for knowledge and technology transfer. In s-lab, partners from industrial software development closely cooperate with research groups of the University of Paderborn. Together with partners from industry, s-lab develops and evaluates constructive and analytical methods and tools of software engineering for obtaining high-quality software. Testing plays an important role in analytical quality assurance within s-lab’s activities. Thereby our main focus lies on the development of testing methods, test automation tools and test management concepts for the individual needs of the industrial partners. Because of the different requirements of the university and the industry; the cooperation involves some challenges, e.g. defining projects aiming at the commercial interests of the industry and addressing interesting research questions. In this paper, we give an overview of testing activities in s-lab and address targets and challenges of the cooperative work between industry and university. We also summarize the lessons learned during the numerous testing projects especially in the domain of business information systems. AU - Güldali, Baris AU - Sauer, Stefan ID - 8040 T2 - online Proc. of International TestIstanbul Conference 2010 (URL: www.testistanbul.org/presentations.html) TI - Transfer of Testing Research from University to Industry: An Experience Report ER -