@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}},
}

@techreport{8217,
  author       = {{Gehrke, Matthias and Güldali, Baris and Meyer, Jan and Sancar, Yavuz and Spijkerman, Michael}},
  publisher    = {{University of Paderborn, s-lab}},
  title        = {{{“Metriken” – Kennzahlen zur Verbesserung der Softwarequalität, Teile 1 und 2}}},
  year         = {{2009}},
}

@techreport{8218,
  author       = {{Gehrke, Matthias and Güldali, Baris and Meyer, Jan and Sancar, Yavuz and Spijkerman, Michael}},
  publisher    = {{University of Paderborn, s-lab}},
  title        = {{{"Metriken" - Kennzahlen zur Verbesserung der Softwarequalität, Teile 1 und 2}}},
  year         = {{2009}},
}

@misc{5761,
  author       = {{Yigitbas, Enes}},
  title        = {{{Evaluierung von Bewertungsmodellen für den Testprozess}}},
  year         = {{2009}},
}

@article{7365,
  author       = {{Engels, Gregor}},
  issn         = {{1619-1366}},
  journal      = {{Software & Systems Modeling}},
  number       = {{1}},
  pages        = {{5--6}},
  publisher    = {{Springer Nature}},
  title        = {{{Guest Editorial to the Special Section on MODELS 2007}}},
  doi          = {{10.1007/s10270-009-0140-5}},
  volume       = {{9}},
  year         = {{2009}},
}

@article{7366,
  author       = {{Spijkerman, Michael and Eckardt, Tobias}},
  journal      = {{Softwaretechnik-Trends}},
  number       = {{4}},
  title        = {{{Modellbasiertes Testen auf Basis des fundamentalen Testprozesses}}},
  volume       = {{29}},
  year         = {{2009}},
}

@article{7367,
  author       = {{Sauer, Stefan and Engels, Gregor and Willkomm, Johannes and Baumann, Andrea and Hofmann, Alexander}},
  journal      = {{Advances in Enterprise Engineering II}},
  pages        = {{1--17}},
  title        = {{{A Holistic Software Engineering Method for Service-Oriented Application Landscape Development}}},
  year         = {{2009}},
}

@article{7368,
  author       = {{Engels, Gregor and Goedicke, Michael and Goltz, Ursula and Rausch, Andreas and Reussner, Ralf}},
  issn         = {{0170-6012}},
  journal      = {{Informatik-Spektrum}},
  number       = {{5}},
  pages        = {{393--397}},
  publisher    = {{Springer Nature}},
  title        = {{{Design for Future – Legacy-Probleme von morgen vermeidbar?}}},
  doi          = {{10.1007/s00287-009-0356-3}},
  volume       = {{32}},
  year         = {{2009}},
}

@phdthesis{7574,
  abstract     = {{The Model Quality Plan (MQP) approach provided by us allows for the systematic and efficient development of quality plans that serve as a basis for the assessment of software models. MQP emphasizes the context of a software model as a major factor of influence for the whole quality planning activity. In order to adjust a quality plan to project specific requirements, quality goals are derived from a characterization of that context. We achieve a differentiated description of quality goals by introducing structured goals and questions in combination with a defined quality model. Afterwards, metrics and indicators are identified for checking the fulfillment of the quality goals. The result of our approach consists of a context sensitive quality plan for software models. Conceptually, we combine a metamodel for formulating relevant contents, a process that serves as a guideline for defining quality plans, and a rule concept for packaging and reusing experience into an integrated framework. We show its feasibility by three case studies that include a quality plan for analysis models, design models, and test models, respectively. For that, we provide tool support for the definition and application of quality plans.}},
  author       = {{Voigt, Hendrik}},
  title        = {{{Kontextsensitive Qualitätsplanung von Softwaremodellen}}},
  year         = {{2009}},
}

@phdthesis{7575,
  author       = {{Schattkowsky, Tim}},
  title        = {{{Platform independent modeling of synthesizable software systems using UML 2}}},
  year         = {{2009}},
}

@phdthesis{7577,
  author       = {{Förster, Alexander}},
  title        = {{{Pattern based business process design and verification}}},
  year         = {{2009}},
}

@phdthesis{7578,
  abstract     = {{Enterprise Architecture (EA) has undergone many changes since the IT has found its way into the world of enterprises. The introduction of Service-Oriented Architecture (SOA) is such a change with major consequences. The introduction of an SOA increases the flexibility and thus the productivity of an enterprise architecture, but unfortunately also its complexity. This makes the transformation of an enterprise architecture to an SOA-like enterprise architecture to a challenging and risky task. To overcome the change- and complexity-related problems when introducing SOA, Enterprise Architecture Management (EAM) systems are required. The approach of this thesis suggests a method on how to establish Enterprise Architecture Management that is especially suited for an SOA introduction. This thesis suggests a variant of an EAM system that is especially suited for the introduction of an SOA. The presented method on creating such an EAM system includes guidance on how to define a meta model for Service-Oriented Enterprise Architecture (SOEA), which is harmonized with the respective enterprise architecture. The SOA introduction is especially supported by defining SOA quality criteria and corresponding metrics. Some metrics have to be ascertained by experts. Other metrics have their measuring points within the SOEA models (instances of the SOEA meta model) and their calculation is automatable. Creating and maintaining SOEA models as well as applying the automatable metrics are supported by an eclipse-based tool. As metrics only produce measures that are hard to interpret, indicators are introduced. They allow interpreting the measures concerning the quality criteria. With the help of this EAM system, the transformation of an enterprise to a service-oriented enterprise can be planned and the level of goal-achievement (SOA-conformance of the EA) can be monitored steadily. By this, the contribution of this work aims at the reduction of the risk when introducing an SOA.}},
  author       = {{Assmann, Martin}},
  title        = {{{Model-based evaluation of service-oriented enterprise architectures}}},
  year         = {{2009}},
}

@inproceedings{8431,
  author       = {{Mlynarski, Michael and Güldali, Baris and Späth, Melanie and Engels, Gregor}},
  booktitle    = {{MoDeVVa '09: Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation}},
  pages        = {{1--10}},
  publisher    = {{ACM}},
  title        = {{{From Design Models to Test Models by Means of Test Ideas}}},
  doi          = {{http://doi.acm.org/10.1145/1656485.1656492}},
  year         = {{2009}},
}

@inproceedings{8432,
  author       = {{Engels, Gregor}},
  booktitle    = {{First European Workshop on Behaviour Modelling in Model Driven Architecture (BM-MDA)}},
  pages        = {{5}},
  publisher    = {{ACM Press (New York, NY, USA)}},
  title        = {{{Automatic Generation of Behavioral Code - too ambitious or even unwanted?}}},
  year         = {{2009}},
}