@article{7973, author = {{Buchholz, S. S. and Fischer, S. F. and Kunze, U. and Reuter, Dirk and Wieck, A. D.}}, issn = {{0003-6951}}, journal = {{Applied Physics Letters}}, number = {{2}}, publisher = {{AIP Publishing}}, title = {{{Nonlocal Aharonov–Bohm conductance oscillations in an asymmetric quantum ring}}}, doi = {{10.1063/1.3069281}}, volume = {{94}}, year = {{2009}}, } @inproceedings{8009, abstract = {{In model-driven development approaches, process models are used at different levels of abstraction and are described by different languages. Similar to other software artifacts, process models are developed in team environments and underlie constant change. This requires reusable techniques for the detection of changes between different process models and the computation of dependencies and conflicts between changes. In this paper, we propose a framework for the construction of process model change management solutions that provides generic techniques for the detection of differences and the computation of dependencies and conflicts between changes. The framework contains an abstract representation for process models that serves as a common denominator for different process models. In addition, we show how the framework is instantiated exemplarily for BPMN.}}, author = {{Gerth, Christian and Küster, Jochen and Engels, Gregor}}, booktitle = {{Proceedings of the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09). Denver (CO, USA)}}, pages = {{152--166}}, publisher = {{Springer}}, title = {{{Language-Independent Change Management of Process Models}}}, doi = {{http://dx.doi.org/10.1007/978-3-642-04425-0_12}}, volume = {{5795 }}, year = {{2009}}, } @inproceedings{8010, author = {{Assmann, Martin and Haack, Markus and Scheider, Hendrik and vom Hagen, Nico and Zacharias, Roger}}, booktitle = {{Transform IT: Optimale Geschäftsprozesse durch eine transformierende IT}}, pages = {{97--126}}, publisher = {{Gabler}}, title = {{{SOA-Business Case}}}, year = {{2009}}, } @inproceedings{8011, abstract = {{Enterprises are transforming into enterprises which follow from a business as well as from an IT perspective a service-oriented paradigm. This change towards service-oriented enterprise and IT architectures has to be reflected in the methodologies of developing whole application landscapes as well as individual applications. Quasar (Quality Software Architecture) has been developed as the standard architecture and development method of Capgemini sd&m for individual applications. For the development of service-oriented enterprise application landscapes, Quasar Enterprise has been designed. Both Quasar and Quasar Enterprise are integrated with each other within a holistic software engineering method to seamlessly cover the full development lifecycle of service-oriented application landscapes, from business modeling and service design to actual software development. In this paper, we illustrate how a company-wide ontology of development artifacts serves as the key feature for integrating both methods.}}, author = {{Baumann, Andrea and Engels, Gregor and Hofmann, Alexander and Sauer, Stefan and Willkomm, Johannes}}, booktitle = {{Proceedings of the First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation (PRET 2009), Amsterdam (The Netherlands)}}, pages = {{1--17}}, publisher = {{Springer}}, title = {{{A Holistic Software Engineering Method for Service-Oriented Application Landscape Development}}}, doi = {{http://dx.doi.org/10.1007/978-3-642-01859-6}}, volume = {{28}}, year = {{2009}}, } @inproceedings{8012, author = {{Meixner, Gerrit and Görlich, Daniel and Breiner, Kai and Hußmann, Heinrich and Pleuß, Andreas and Sauer, Stefan and Van den Bergh, Jan}}, booktitle = {{Proceedings of the 2009 International Conference on Intelligent User Interfaces}}, pages = {{503--504}}, publisher = {{ACM Press}}, title = {{{Model Driven Development of Advanced User Interfaces 2009}}}, doi = {{http://doi.acm.org/10.1145/1502650.1502737}}, year = {{2009}}, } @inproceedings{8013, abstract = {{Version management of models is common for structural diagrams such as class diagrams but still challenging for behavioral models such as process models. For process models, conflicts of change operations are difficult to resolve because often dependencies to other change operations exist. As a consequence, conflicts and dependencies between change operations must be computed and shown to the user who can then take them into account while creating a consolidated version. In this paper, we introduce the concepts of dependencies and conflicts of change operations for process models and provide a method how to compute them. We then discuss different possibilities for resolving conflicts. Using our approach it is possible to enable version management of process models with minimal manual intervention of the user.}}, author = {{Küster, Jochen and Gerth, Christian and Engels, Gregor}}, booktitle = {{Proceedings of the 5th European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA'09)}}, pages = {{158--173}}, publisher = {{Springer}}, title = {{{Dependent and Conflicting Change Operations of Process Models}}}, doi = {{http://dx.doi.org/10.1007/978-3-642-02674-4_12}}, volume = {{5562}}, year = {{2009}}, } @inproceedings{8014, author = {{Engels, Gregor and Geisen, Silke and Sauer, Stefan and Port, Olaf}}, booktitle = {{Informatik 2009 - Im Focus das Leben}}, pages = {{458}}, publisher = {{Gesellschaft für Informatik (GI)}}, title = {{{Sicherstellen der Betrachtung von nicht-funktionalen Anforderungen in SCRUM-Prozessen durch Etablierung von Feedback}}}, volume = {{154}}, year = {{2009}}, } @inproceedings{8015, author = {{Salger, Frank and Sauer, Stefan and Engels, Gregor}}, booktitle = {{Proceedings of the 2nd India Software Engineering Conference (ISEC'09)}}, pages = {{129--130}}, publisher = {{ACM Press}}, title = {{{Integrated Specification and Quality Assurance for Large Business Information Systems}}}, year = {{2009}}, } @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}}, } @inproceedings{817, author = {{S. Lichte, Hermann and Valentin, Stefan and von Malm, Holger and Karl, Holger and Bin Sediq, Akram and Aad, Imad}}, booktitle = {{Proceedings of IEEE International Conference on Communications, ICC 2009, Dresden, Germany, 14-18 June 2009}}, pages = {{1----6}}, title = {{{Rate-Per-Link Adaptation in Cooperative Wireless Networks with Multi-Rate Combining}}}, doi = {{10.1109/ICC.2009.5199393}}, year = {{2009}}, } @inproceedings{818, author = {{Birkenheuer, Georg and Brinkmann, Andre and Karl, Holger}}, booktitle = {{Job Scheduling Strategies for Parallel Processing, 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers}}, pages = {{80--100}}, title = {{{The Gain of Overbooking}}}, doi = {{10.1007/978-3-642-04633-9_5}}, year = {{2009}}, }