@inproceedings{8016, author = {{Güldali, Baris and Mlynarski, Michael and Wübbeke, Andreas and Engels, Gregor}}, booktitle = {{Proceedings of Euromicro SEAA Conference 2009, Special Session on “Model Driven Engineering”}}, pages = {{121--124}}, publisher = {{IEEE Computer Society}}, title = {{{Model-Based System Testing Using Visual Contracts}}}, year = {{2009}}, } @inproceedings{8017, author = {{Mlynarski, Michael and Jureczko, Marian}}, booktitle = {{Proceedings of Krajowa Konferencja In?ynierii Oprogramowania 2009}}, number = {{11}}, pages = {{294--305}}, publisher = {{Wydawnictwo Komunikacji i ??czno?ci}}, title = {{{Zautomatyzowane testy akceptacyjne dla aplikacji internetowych w programowaniu sterowanym testami}}}, volume = {{3}}, year = {{2009}}, } @inproceedings{8018, author = {{Schattkowsky, Tim and Xie, Tao}}, booktitle = {{Proceedings of the conference on Design Automation and Test in Europe (DATE 2009), Nice (France)}}, pages = {{238--243}}, publisher = {{IEEE Computer Society}}, title = {{{A UML Framework for IP-XACT-based IP Management}}}, year = {{2009}}, } @inproceedings{8019, abstract = {{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.}}, author = {{Soltenborn, Christian and Engels, Gregor}}, booktitle = {{Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA)}}, pages = {{378--392}}, publisher = {{Springer}}, title = {{{Towards Test-Driven Semantics Specification}}}, doi = {{http://dx.doi.org/10.1007/978-3-642-04425-0_30}}, volume = {{5795}}, year = {{2009}}, } @inproceedings{8020, author = {{Engels, Gregor and Fisseler, Daniela and Soltenborn, Christian}}, booktitle = {{Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA)}}, pages = {{39--46}}, publisher = {{IEEE Computer Society}}, title = {{{Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding}}}, doi = {{http://dx.doi.org/10.1109/VLHCC.2009.5295302}}, year = {{2009}}, } @inproceedings{8021, abstract = {{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.}}, author = {{Güldali, Baris and Funke, Holger and Jahnich, Michael and Sauer, Stefan and Engels, Gregor}}, booktitle = {{24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), 16-20 November 2009, Auckland, New Zeland}}, pages = {{29--39}}, title = {{{Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering}}}, doi = {{http://dx.doi.org/10.1109/ASE.2009.86}}, year = {{2009}}, } @inproceedings{8022, author = {{Assmann, Martin and Engels, Gregor and von der Maßen, Thomas and Wübbeke, Andreas}}, booktitle = {{Proceedings of International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 09)}}, pages = {{45–56}}, title = {{{Identifying Software Product Line Component Services}}}, year = {{2009}}, } @article{814, author = {{Biermann, Thorsten and Dräxler, Martin and Karl, Holger}}, journal = {{Journal of Communications}}, number = {{11}}, pages = {{873----884}}, title = {{{Flow Synchronization for Network Coding}}}, doi = {{10.4304/jcm.4.11.873-884}}, year = {{2009}}, } @article{815, author = {{Valentin, Stefan and S. Lichte, Hermann and Karl, Holger and Vivier, Guillaume and Simoens, Sebastien and Vidal, Josep and Agustin, Adrian}}, journal = {{Wireless Personal Communications}}, number = {{1}}, pages = {{49----68}}, title = {{{Cooperative Wireless Networking Beyond Store-and-Forward }}}, doi = {{10.1007/s11277-007-9429-2}}, year = {{2009}}, } @inproceedings{816, author = {{Biermann, Thorsten and Dannewitz, Christian and Karl, Holger}}, booktitle = {{Proceedings of IEEE International Conference on Communications, ICC 2009, Dresden, Germany, 14-18 June 2009}}, pages = {{1----6}}, title = {{{An Adaptive Resource/Performance Trade-Off for Resolving Complex Queries in P2P Networks}}}, doi = {{10.1109/ICC.2009.5198716}}, year = {{2009}}, }