TY - CONF AU - Schattkowsky, Tim AU - Xie, Tao ID - 8018 T2 - Proceedings of the conference on Design Automation and Test in Europe (DATE 2009), Nice (France) TI - A UML Framework for IP-XACT-based IP Management ER - TY - CONF AB - Behavioral models are getting more and more important within the software development cycle. To get the most use out of them, their behavior should be defined formally. As a result, many approaches exist which aim at specifying formal semantics for behavioral languages (e.g., Dynamic Meta Modeling (DMM), Semantic Anchoring). Most of these approaches give rise to a formal semantics which can e.g. be used to check the quality of a particular language instance, for instance using model checking techniques. However, if the semantics specification itself contains errors, it is more or less useless, since one cannot rely on the analysis results. Therefore, the language engineer must make sure that the semantics he develops is of the highest quality possible. To help the language engineer to achieve that goal, we propose a test-driven semantics specification process: the semantics of the language under consideration is first informally demonstrated using example models, which will then be used as test cases during the actual semantics specification process. In this paper, we present this approach using the already mentioned specification language DMM. AU - Soltenborn, Christian AU - Engels, Gregor ID - 8019 T2 - Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA) TI - Towards Test-Driven Semantics Specification VL - 5795 ER - TY - CONF AU - Engels, Gregor AU - Fisseler, Daniela AU - Soltenborn, Christian ID - 8020 T2 - Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA) TI - Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding ER - TY - CONF AB - In acceptance testing, customer requirements as specified in system specifications have to be tested for their successful implementation. This is a time-consuming task due to inherent system complexity and thus a large number of requirements. In order to reduce efforts in acceptance testing, we introduce a novel approach that exploits redundancies and implicit relations in requirements specifications, which are based on multi-viewpoint techniques, in our case the reference model for open distributed processing (RM-ODP). It deploys requirements clustering and linguistic analysis techniques for reducing the total number of test cases. We report on concrete experiences with this approach within joint R&D work of the Software Quality Lab (s-lab) of the University of Paderborn and HJP Consulting, an international consulting company, specialized in planning, procurement and acceptance testing of national electronic identification (e-ID) systems. The paper is concluded with an overview on the current tool support especially for automated detection of the redundancies and implicit relations in requirements. Also the future work on the tool support for the overall test specification process is discussed. AU - Güldali, Baris AU - Funke, Holger AU - Jahnich, Michael AU - Sauer, Stefan AU - Engels, Gregor ID - 8021 T2 - 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), 16-20 November 2009, Auckland, New Zeland TI - Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering ER - TY - CONF AU - Assmann, Martin AU - Engels, Gregor AU - von der Maßen, Thomas AU - Wübbeke, Andreas ID - 8022 T2 - Proceedings of International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 09) TI - Identifying Software Product Line Component Services ER - TY - JOUR AU - Biermann, Thorsten AU - Dräxler, Martin AU - Karl, Holger ID - 814 IS - 11 JF - Journal of Communications TI - Flow Synchronization for Network Coding ER - TY - JOUR AU - Valentin, Stefan AU - S. Lichte, Hermann AU - Karl, Holger AU - Vivier, Guillaume AU - Simoens, Sebastien AU - Vidal, Josep AU - Agustin, Adrian ID - 815 IS - 1 JF - Wireless Personal Communications TI - Cooperative Wireless Networking Beyond Store-and-Forward ER - TY - CONF AU - Biermann, Thorsten AU - Dannewitz, Christian AU - Karl, Holger ID - 816 T2 - Proceedings of IEEE International Conference on Communications, ICC 2009, Dresden, Germany, 14-18 June 2009 TI - An Adaptive Resource/Performance Trade-Off for Resolving Complex Queries in P2P Networks ER - TY - CONF AU - S. Lichte, Hermann AU - Valentin, Stefan AU - von Malm, Holger AU - Karl, Holger AU - Bin Sediq, Akram AU - Aad, Imad ID - 817 T2 - Proceedings of IEEE International Conference on Communications, ICC 2009, Dresden, Germany, 14-18 June 2009 TI - Rate-Per-Link Adaptation in Cooperative Wireless Networks with Multi-Rate Combining ER - TY - CONF AU - Birkenheuer, Georg AU - Brinkmann, Andre AU - Karl, Holger ID - 818 T2 - Job Scheduling Strategies for Parallel Processing, 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers TI - The Gain of Overbooking ER -