@inproceedings{8046, author = {{Engels, Gregor and Kremer, Marion}}, booktitle = {{Proceedings der41. Jahrestagung der Gesellschaft für Informatik - Informatik 2011;}}, publisher = {{GI}}, title = {{{Situational Software Engineering: Ein Rahmenwerk für eine situationsgerechte Auswahl von Entwicklungsmethoden und Vorgehensmodellen}}}, volume = {{192}}, year = {{2011}}, } @inproceedings{8047, abstract = {{Der Kostendruck einerseits und die Verfügbarkeit des Internets andererseits führen dazu, dass Softwaresysteme auf Services aus der Cloud zurückgreifen (müssen bzw. können). Dies gilt für alle Anwendungsbereiche und somit insbesondere auch für die Software im Auto. Aber wie sorge ich dafür, dass die Services aus der Cloud zu meinem Softwaresystem passen und die Anforderungen erfüllen? Der Vortrag diskutiert aktuelle Ansätze der konstruktiven und analytischen Qualitätssicherung, um durch Maßnahmen sowohl zur Entwicklungs- als auch Laufzeit eine hohe Qualität beim Einsatz von Services aus der Cloud zu erzielen. Insbesondere wird über aktuelle Arbeiten im neuen DFG Sonderforschungsbereich 901 "On-the-Fly Computing" berichtet.}}, author = {{Engels, Gregor}}, booktitle = {{Proceedings der 41. Jahrestagung der Gesellschaft für Informatik - Informatik 2011}}, publisher = {{GI}}, title = {{{Services aus der Cloud = Fahren im Nebel? Wie minimiere ich die Risiken und erreiche hohe Qualität?}}}, volume = {{192}}, year = {{2011}}, } @inproceedings{8048, author = {{Gerth, Christian and Luckey, Markus and Küster, Jochen and Engels, Gregor}}, booktitle = {{Proceedings of the IEEE 8th International Conference on Services Computing (SCC'11)}}, pages = {{218--225}}, publisher = {{IEEE Computer Society}}, title = {{{Precise Mappings between Business Process Models in Versioning Scenarios}}}, doi = {{http://dx.doi.org/10.1109/SCC.2011.65}}, year = {{2011}}, } @inproceedings{8049, author = {{Heinemann, Marianne and Palme, Markus and Rothmann, Andreas and Salger, Frank and Schönke, Jürgen and Engels, Gregor}}, booktitle = {{Software Engineering 2011}}, pages = {{33--36}}, publisher = {{Gesellschaft für Informatik (GI)}}, title = {{{Selektionswerkzeug zur Auswahl projektspezifischer Vorgehensstrategien}}}, volume = {{P-183}}, year = {{2011}}, } @inproceedings{8050, abstract = {{The quality of business processes can be checked by verifying their compliance with specific quality constraints. These constraints represent a set of required temporal and logical relationships between different steps of business processes. Quality constraints are usually formulated as informal texts, which makes them difficult to be verified, when business processes become complex. One way to solve this problem is by automating the verification of quality constraints on business processes by applying model checking. To apply model checking, both business processes and quality constraints have to be formalized. In this paper, we define a new visual language for modeling quality constraints and we provide a pattern-based translation for quality constraint models into Computation Tree Logic formulas.}}, author = {{Khaluf, Lial and Gerth, Christian and Engels, Gregor}}, booktitle = {{Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE'11)}}, pages = {{521--535}}, publisher = {{Springer}}, title = {{{Pattern-Based Modeling and Formalizing of Business Process Quality Constraints}}}, doi = {{http://dx.doi.org/10.1007/978-3-642-21640-4_39}}, volume = {{6741}}, year = {{2011}}, } @inproceedings{8051, author = {{Jung, Helge and Nebe, Karsten and Klompmaker, Florian and Fischer, Holger Gerhard}}, booktitle = {{Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen}}, pages = {{305--308}}, publisher = {{Oldenbourg Wissenschaftsverlag}}, title = {{{Authentifizierte Eingaben auf Multitouch-Tischen}}}, year = {{2011}}, } @inproceedings{8052, author = {{Luckey, Markus and Nagel, Benjamin and Gerth, Christian and Engels, Gregor}}, booktitle = {{Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems}}, pages = {{30--39}}, publisher = {{ACM}}, title = {{{Adapt Cases: Extending Use Cases for Adaptive Systems}}}, year = {{2011}}, } @inproceedings{8053, author = {{Luckey, Markus and Gerth, Christian and Soltenborn, Christian and Engels, Gregor}}, booktitle = {{Proceedings of the 8th International Conference on Autonomic Computing (ICAC'11)}}, publisher = {{ACM}}, title = {{{QUAASY - QUality Assurance of Adaptive SYstems}}}, doi = {{http://dx.doi.org/10.1145/1998582.1998617}}, year = {{2011}}, } @inproceedings{8054, author = {{Bandener, Nils and Soltenborn, Christian and Engels, Gregor}}, booktitle = {{Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010)}}, pages = {{357--376}}, publisher = {{Springer}}, title = {{{Extending DMM Behavior Specifications for Visual Execution and Debugging}}}, doi = {{http://dx.doi.org/10.1007/978-3-642-19440-5_24}}, volume = {{6563}}, year = {{2011}}, } @techreport{8221, author = {{Brüseke, Frank and Christ, Fabian and Sauer, Stefan and Wübbeke, Andreas}}, publisher = {{University of Paderborn, Software Quality Lab (s-lab)}}, title = {{{Testen von Software-Produktlinien}}}, year = {{2011}}, } @inbook{6293, author = {{Nebe, Karsten and Klompmaker, Florian and Jung, Helge and Fischer, Holger Gerhard}}, booktitle = {{Human-Computer Interaction. Interaction Techniques and Environments.}}, editor = {{Jacko, Julie Anne}}, isbn = {{9783642216046}}, issn = {{0302-9743}}, location = {{Orlando, USA}}, pages = {{100--109}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Exploiting New Interaction Techniques for Disaster Control Management Using Multitouch-, Tangible- and Pen-Based-Interaction}}}, doi = {{10.1007/978-3-642-21605-3_11}}, volume = {{6762}}, year = {{2011}}, } @inproceedings{6298, author = {{Nebe, Karsten and Fischer, Holger Gerhard and Klompmaker, Florian and Jung, Helge}}, booktitle = {{Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen}}, pages = {{263--273}}, publisher = {{Oldenbourg Wissenschaftsverlag}}, title = {{{Multitouch-, Be-Greifbare- und Stiftbasierte-Interaktion in der Einsatzlageplanung}}}, year = {{2011}}, } @inproceedings{6299, author = {{Jung, Helge and Nebe, Karsten and Klompmaker, Florian and Fischer, Holger Gerhard}}, booktitle = {{Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen}}, pages = {{305--308}}, publisher = {{Oldenbourg Wissenschaftsverlag}}, title = {{{Authentifizierte Eingaben auf Multitouch-Tischen}}}, year = {{2011}}, } @inbook{6300, author = {{Fischer, Holger Gerhard and Nebe, Karsten and Klompmaker, Florian}}, booktitle = {{Human Centered Design}}, editor = {{Kurosu, Masaaki}}, isbn = {{9783642217524}}, issn = {{0302-9743}}, location = {{Orlando, USA}}, pages = {{28--37}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities}}}, doi = {{10.1007/978-3-642-21753-1_4}}, volume = {{6776}}, year = {{2011}}, } @inproceedings{6301, author = {{Fischer, Holger Gerhard and Bogner, Christian and Geis, Thomas and Polkehn, Knut and Zimmermann, Dirk}}, booktitle = {{Jahresband Usability Professionals}}, pages = {{72--74}}, publisher = {{German UPA}}, title = {{{Der Qualitätsstandard für Usability Engineering der German UPA – Aktueller Stand der Arbeiten}}}, year = {{2011}}, } @article{7353, abstract = {{Manuelle Testerstellung verursacht hohe Kosten. Im Vergleich dazu bietet modellbasiertes Testen große Vorteile hinsichtlich Testautomatisierung, früher Fehlerfindung, Erhöhung der Testabdeckung, effizienten Testentwurfs und besserer Rückverfolgbarkeit. Die Einführung des modellbasierten Testens ist jedoch mit Investitionen verbunden, für die die Rendite häufig unklar erscheint. Dabei finden sich in der Literatur bereits etliche Erfahrungsberichte zur erfolg­reichen Einführung von modellbasiertem Testen in unterschiedlichen Anwendungsdomänen. In diesem Artikel präsentieren wir einen Überblick über einige dieser Erfahrungsberichte.}}, author = {{Weißleder, Stephan and Güldali, Baris and Mlynarski, Michael and Törsel, Arne-Michael and Faragó, David and Prester, Florian and Winter, Mario}}, journal = {{OBJEKTspektrum}}, number = {{6}}, pages = {{59--65}}, title = {{{Modellbasiertes Testen: Hype oder Realität?}}}, year = {{2011}}, } @article{7354, abstract = {{Acceptance testing is a time-consuming task for complex software systems that have to fulfill a large number of requirements. To reduce this effort, we have developed a widely automated method for deriving test plans from requirements that are expressed in natural language. It consists of three stages: annotation, clustering, and test plan specification. The general idea is to exploit redundancies and implicit relationships in requirements specifications. Multi-viewpoint techniques based on RM-ODP (Reference Model for Open Distributed Processing) are employed for specifying the requirements. We then use linguistic analysis techniques, requirements clustering algorithms, and pattern-based requirements collection to reduce the total effort of testing against the requirements specification. In particular, we use linguistic analysis for extracting and annotating the actor, process and object of a requirements statement. During clustering, a similarity function is computed as a measure for the overlap of requirements. In the test plan specification stage, our approach provides capabilities for semi-automatically deriving test plans and acceptance criteria from the clustered informal textual requirements. Two patterns are applied to compute a suitable order of test activities. The generated test plans consist of a sequence of test steps and asserts that are executed or checked in the given order. We also present the supporting prototype tool TORC, which is available open source. For the evaluation of the approach, we have conducted a case study in the field of acceptance testing of a national electronic identification system. In summary, we report on lessons learned how linguistic analysis and clustering techniques can help testers in understanding the relations between requirements and for improving test planning.}}, author = {{Güldali, Baris and Funke, Holger and Sauer, Stefan and Engels, Gregor}}, issn = {{0963-9314}}, journal = {{Software Quality Journal}}, number = {{4}}, pages = {{771--799}}, publisher = {{Springer Nature}}, title = {{{TORC: test plan optimization by requirements clustering}}}, doi = {{10.1007/s11219-011-9149-4}}, volume = {{19}}, year = {{2011}}, } @article{7355, abstract = {{Dynamic Meta Modeling (DMM) is a visual semantics specification technique targeted at languages based on a metamodel. A DMM specification consists of a runtime metamodel and operational rules which describe how instances of the runtime metamodel change over time. A known deficiency of the DMM approach is that it does not support the refinement of a DMM specification, e.g., in the case of defining the semantics for a refined and extended domain-specific language (DSL). Up to now, DMM specifications could only be reused by adding or removing DMM rules. In this paper, we enhance DMM such that DMM rules can override other DMM rules, similar to a method being overridden in a subclass, and we show how rule overriding can be realized with the graph transformation tool GROOVE. We argue that rule overriding does not only have positive impact on reusability, but also improves the intuitive understandability of DMM semantics specifications.}}, author = {{Soltenborn, Christian and Engels, Gregor}}, issn = {{1045-926X}}, journal = {{Journal of Visual Languages & Computing}}, number = {{3}}, pages = {{233--250}}, publisher = {{Elsevier BV}}, title = {{{Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications}}}, doi = {{10.1016/j.jvlc.2010.12.005}}, volume = {{22}}, year = {{2011}}, } @inproceedings{7535, author = {{Böckelmann, Irina and Schenk, Daniel and Rößler, Thoralf and Adler, Simon and Senft, Björn and Grubert, Jens and Mecke, Rüdiger and Huckauf, Anke and Urbina, Mario and Tümler, Johannes and Darius, Sabine}}, title = {{{Physiologische Beanspruchungsreaktionen bei der Anwendung von kopfgetragenen AR-Displays}}}, year = {{2011}}, } @inproceedings{7536, author = {{Klompmaker, Florian and Senft, Björn and Nebe, Karsten and Busch, Clemens and Willemsen, Detlev}}, booktitle = {{{HEALTHINF} 2011 - Proceedings of the International Conference on Health Informatics, Rome, Italy, 26-29 January, 2011}}, pages = {{268--273}}, title = {{{User Centered Design Process of OSAMi-D - Developing User Interfaces for a Remote Ergometer Training Application}}}, year = {{2011}}, }