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 -