TY - JOUR AU - Theis, Jens AU - Geller, Martin AU - Lorke, Axel AU - Wiggers, Hartmut AU - Wieck, Andreas AU - Meier, Cedrik ID - 7496 IS - 45 JF - Nanotechnology SN - 0957-4484 TI - Electroluminescence from silicon nanoparticles fabricated from the gas phase VL - 21 ER - TY - CHAP AU - Oster, Sebastian AU - Wübbeke, Andreas AU - Engels, Gregor AU - Schürr, Andy ED - Mosterman, I. Schieferdecker, J. Zander , P. ID - 7556 T2 - Model-Based Testing For Embedded Systems TI - Model-Based Software Product Lines Testing Survey ER - TY - THES AB - Software Product Lines (SPL) are a development paradigm allowing the reduction of the software system development time while increasing their quality. To reach these goals, the artefacts being part of many or all software systems are developed only once and reused within the different software systems. The software systems developed by a software product line approach are called products. Like a thread the reuse of artefacts is woven into the software product line development process. As some artefacts are only used for the development of some products, these artefacts constitute the variability of the SPL. First of all, the modelling of variability has to be enabled in every artefact. Beside this, dependencies can arise between variable artefacts. The modelling of variability and dependencies also demands the redevelopment or adaption of specification techniques for these artefacts. This thesis focuses on the variability management concerning requirements and test case specification for Software Product Lines. For this purpose, existing modelling languages and specification techniques are augmented with variability instead of redeveloping similar software development artefacts over and over again. In order to augment the modelling languages by variability, a language construction process based on a meta model of the variability management is defined. In order to manage the dependencies between variable artefacts, a feature based variability management is introduced. Finally, the extension of specification techniques for requirements specifications based on use case descriptions and test specifications are described. The contribution of this thesis is substantiated by a prototypical tool support and an industrial case study. AU - Wübbeke, Andreas ID - 7573 TI - Variabilitätsmanagement in Anforderungs- und Testfallspezifikation für Software-Produktlinien ER - TY - CONF AB - Deriving a new language L_B from an already existing one L_A is a typical task in domain-specific language engineering. Here, besides adjusting L_A's syntax, the language engineer has to modify the semantics of L_A to derive L_B's semantics. Particularly, in case of behavioral modeling languages, this is a difficult and error-prone task, as changing the behavior of language elements or adding behavior for new elements might have undesired side effects. Therefore, we propose a test-driven language derivation process. In a first step, the language engineer creates example models containing the changed or newly added elements in different contexts. For each of these models, the language engineer also precisely describes the expected behavior. In a second step, each example model and its description of behavior is transformed into an executable test case. Finally, these test cases are used when deriving the actual semantics of L_B - at any time, the language engineer can run the tests to verify whether the changes he performed on L_A's semantics indeed produce the desired behavior. In this paper, we illustrate the approach using our graph transformation-based semantics specification technique Dynamic Meta Modeling. This is once more an example where the graph transformation approach shows its strengths and appropriateness to support software engineering tasks as, e.g., model transformations, software specifications, or tool development. AU - Engels, Gregor AU - Soltenborn, Christian ID - 8437 T2 - Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany) TI - Test-driven Language Derivation with Graph Transformation-based Dynamic Meta Modeling VL - 30 ER - TY - CONF AU - Güldali, Baris AU - Mlynarski, Michael ID - 8438 T2 - Proceedings of the IWK2010 Workshops: The First International Workshop on Evolution Support for Model-Based Development and Testing (EMDT2010) TI - Agility vs. Model-based Testing: A fair Play? VL - 646 ER - TY - CONF AU - Wübbeke, Andreas AU - Oster, Sebastian ID - 8439 T2 - Proceedings of Produktlinien im Kontext (PIK2010) TI - Verknüpfung von kombinatorischem Plattform- und individuellem Produkt-Test für Software-Produktlinien ER - TY - CONF AU - Sancar, Yavuz AU - Brüseke, Frank AU - Voigt, Hendrik AU - Sauer, Stefan AU - Engels, Gregor ID - 8440 T2 - ECOOP 2010 - Workshop on Testing Object-Oriented Software Systems (ETOOS) TI - Towards Economical Software Release Recommendations ER - TY - CONF AU - Gerth, Christian ID - 8441 T2 - Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science TI - A Framework for Change Management of Business Process Models ER - TY - CONF AU - Luckey, Markus AU - Baumann, Andrea AU - Méndez Fernández, Daniel AU - Wagner, Stefan ID - 8442 T2 - Software Engineering for Secure Systems, 2010. SESS '10. ICSE Workshop TI - Reusing Security Requirements using an Extended Quality Model ER - TY - CONF AU - Sancar, Yavuz AU - Brüseke, Frank AU - Engels, Gregor ID - 8443 T2 - Proceedings of Software-Qualitätsmodellierung und -bewertung (SQMB '10), Paderborn, Germany TI - Teststufenspezifische Qualitätsattribute für die Qualitätsbewertung von nichtfunktionalen Anforderungen ER - TY - CONF AB - To be successful with global software development (GSD), development knowledge needs to be shared among the developers and stakeholders, and the quality of the exchanged information must be assured. Therefore, mature processes, methods and tools have to be in place. If a unified and integrated solution does not exist, this impedes the exchange of knowledge (and the migration of people between projects). In GSD, such a diversity can lead to new problems: offshore development teams have to repeatedly re-adjust to method variants used by the respective business units. This can lead to misinterpretation of information and risks for project success. We report on re-aligning the varying software engineering methods and unifying the methodology throughout Capgemini sd&m. We also standardized quality assurance procedures and tightly integrated them with the engineering methodology. By this, we arrived at a comprehensive company-wide Enterprise Software Engineering Model that effectively supports knowledge transfer from clients to the onshore and offshore team. AU - Salger, Frank AU - Sauer, Stefan AU - Engels, Gregor AU - Baumann, Andrea ID - 8444 T2 - 5th IEEE International Conference on Global Software Engineering (ICGSE 2010) TI - Knowledge Transfer in Global Software Development - Leveraging Ontologies, Tools and Assessments ER - TY - CONF AU - Van den Bergh, Jan AU - Meixner, Gerrit AU - Sauer, Stefan ID - 8445 T2 - Proc. 5th Intl. Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010) TI - MDDAUI 2010 Workshop Report VL - 617 ER - TY - CONF AU - Güldali, Baris AU - Sauer, Stefan AU - Winkelhane, Peter AU - Jahnich, Michael AU - Funke, Holger ID - 8446 T2 - Proceedings of 5th International Workshop on Automation of Software Test (AST 2010), ICSE Workshop TI - Pattern-based Generation of Test Plans for Open Distributed Processing Systems ER - TY - CONF AU - Brüseke, Frank AU - Sancar, Yavuz AU - Engels, Gregor ID - 8447 T2 - Proceedings of Software-Qualitätsmodellierung und -bewertung (SQMB '10), Paderborn, Germany TI - Architecture-Driven Derivation of Performance Metrics ER - TY - CONF AU - Güldali, Baris AU - Mlynarski, Michael AU - Sancar, Yavuz ID - 8448 T2 - Proceedings of 3th International Conference on Software Testing, Verification, and Validation Workshops TI - Effort Comparison of Model-based Testing Scenarios ER - TY - CONF AU - Schnelte, Matthias AU - Güldali, Baris ID - 8449 T2 - INFORMATIK 2010, Beiträge der 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI) TI - Test Case Generation for Visual Contracts Using AI Planning ER - TY - JOUR AB - The hydrothermal method enables the production of high-quality piezoelectric materials. In this study, we propose to irradiate the reaction solutions with ultrasonic power during the hydrothermal method to obtain a shorter reaction time and a smooth film surface. A high-pressure reaction container for the ultrasonic transducer was newly developed, and the ultrasonically-assisted hydrothermal method was examined by using this container. The effect of ultrasonic assist on the synthesis of lead-zirconate-titanate (PZT) thin films and (K,Na)NbO$_{3}$ powders was verified. Thicker PZT film, thickness around 10 ${\mu}$m, could be obtained in one process, and (K,Na)NbO$_{3}$ powder was synthesized in half the previous reaction time. AU - Ageba, Ryo AU - Kadota, Yoichi AU - Maeda, Takafumi AU - Takiguchi, Norihito AU - Morita, Takeshi AU - Ishikawa, Mutsuo AU - Bornmann, Peter AU - Hemsel, Tobias ID - 9743 IS - 4 JF - Journal of Korean Physical Society KW - Hydrothermal method KW - High-power ultrasonic KW - PZT thin film KW - Lead-free piezoelectric materials SN - 1948-5719 TI - Ultrasonically-assisted Hydrothermal Method for Ferroelectric Material Synthesis VL - 57 ER - TY - JOUR AB - Direct ultrasound irradiation is advantageous to increase the efficiency of the hydrothermal method which can be used for the production of piezoelectric thin films and lead free piezoelectric ceramics. To apply ultrasound directly to the process transducer prototypes were developed regarding the boundary conditions of the hydrothermal method. LiNbO$_{3}$ and PIC 181 were proven as feasible materials for high temperature resistant transducers ($\geq 200^\circ C$). Resistance of the transducers horn against the corrosive mineralizer was achieved by using Hastelloy C-22. The efficiency of the ultrasound assisted hydrothermal method depends on the generated sound field. Impedance and sound field measurements have shown that the sound field depends on the filling level and the position and design of the transducer. AU - Bornmann, Peter AU - Hemsel, Tobias AU - Littmann, Walter AU - Ageba, Ryo AU - Kadota, Yoishi AU - Morita, Takeshi ID - 9744 IS - 4 JF - Journal of Korean Physical Society KW - High-temperature transducer KW - Hydrothermal method KW - Lithium-niobate transducer SN - 1948-5719 TI - Ultrasonic Transducer for the Hydrothermal Method VL - 57 ER - TY - JOUR AB - In the modeling of piezoelectric Langevin transducers using usual transfer matrix methods, some simplifications have been adopted. This leads to reduction of the model quality. A mixed transfer matrix method is employed in the modeling of Langevin transducers, where the pre-stressed bolt is modeled as a separate four-pole element, which is connected to other elements in parallel. Based on the mixed transfer matrix method, the four (six)-pole element description of the piezoelectric Langevin transducer is built up and the total transfer matrix relation is derived. The resonance frequencies of the transducer are calculated and then measured using the impedance analyzer (HP4192). Experimental result shows that the mixed transfer matrix method has better modeling quality than the usual transfer matrix method for the vibration analysis of piezoelectric Langevin transducers. AU - Fu, Bo AU - Li, Chao AU - Zhang, Jianming AU - Huang, Zhenwei AU - Hemsel, Tobias ID - 9745 IS - 4 JF - Journal of Korean Physical Society KW - Piezoelectric langevin transducer KW - Transfer matrix method KW - Four (six)-pole element description KW - Pre-stressed bolt SN - 1948-5719 TI - Modeling of Piezoelectric Langevin Transducers by Using Mixed Transfer Matrix Methods VL - 57 ER - TY - JOUR AB - Bei der Konstruktion von Maschinen ist es oftmals erforderlich, Schwingungen minimal zu halten. Um z.B. die Lebensdauer zu erhöhen, Material einzusparen oder den Geräuschpegel gering zu halten muss oft ein großer Aufwand zur Dämpfung von auftretenden Schwingungen betrieben werden. In vielen technischen Anwendungen werden Einzelteile miteinander verschraubt. Diese Fügestellen können gezielt und mit wenig Aufwand zur Schwingungsdämpfung herangezogen werden. Die Berechnung des dynamischen Verhaltens verschraubter Strukturen stellt immer noch eine Herausforderung dar. Es wurde eine Methode entwickelt, um den eingeschwungenen Zustand elastischer, miteinander verschraubter Körper mit rauen Fügestellen bei periodischer Anregung zu berechnen. Als Basis dienen Finite Elemente Modelle der einzelnen Teile, deren Freiheitsgrade durch modale Kondensation reduziert werden. Unter Anwendung des Verfahrens von Ritz und Galerkin wird eine Näherungslösung für den eingeschwungenen Zustand des nichtlinearen, gekoppelten Systems ermittelt. Abhängig von den Schraubenvorspannkräften sowie den bestimmenden Parametern der Kontaktflächen, Rautiefe und Reibungskoeffizient, kann die Systemantwort berechnet und optimiert werden. Um die Berechnungsmethode zu verifizieren wurden Experimente durchgeführt. Der Vergleich zwischen Messung und Rechnung zeigt eine gute Übereinstimmung. ({\copyright} 2010 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim) AU - Hölzl, Johannes Sebastian AU - Sextro, Walter ID - 9747 IS - 1 JF - PAMM SN - 1617-7061 TI - Reibungsdämpfung in ausgedehnten, verschraubten Fügestellen VL - 10 ER -