--- _id: '8046' author: - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels - first_name: Marion full_name: Kremer, Marion last_name: Kremer citation: ama: 'Engels G, Kremer M. Situational Software Engineering: Ein Rahmenwerk für eine situationsgerechte Auswahl von Entwicklungsmethoden und Vorgehensmodellen. In: Proceedings Der41. Jahrestagung Der Gesellschaft Für Informatik - Informatik 2011;. Vol 192. LNI. GI; 2011.' apa: 'Engels, G., & Kremer, M. (2011). Situational Software Engineering: Ein Rahmenwerk für eine situationsgerechte Auswahl von Entwicklungsmethoden und Vorgehensmodellen. In Proceedings der41. Jahrestagung der Gesellschaft für Informatik - Informatik 2011; (Vol. 192). GI.' bibtex: '@inproceedings{Engels_Kremer_2011, series={LNI}, title={Situational Software Engineering: Ein Rahmenwerk für eine situationsgerechte Auswahl von Entwicklungsmethoden und Vorgehensmodellen}, volume={192}, booktitle={Proceedings der41. Jahrestagung der Gesellschaft für Informatik - Informatik 2011;}, publisher={GI}, author={Engels, Gregor and Kremer, Marion}, year={2011}, collection={LNI} }' chicago: 'Engels, Gregor, and Marion Kremer. “Situational Software Engineering: Ein Rahmenwerk Für Eine Situationsgerechte Auswahl von Entwicklungsmethoden Und Vorgehensmodellen.” In Proceedings Der41. Jahrestagung Der Gesellschaft Für Informatik - Informatik 2011;, Vol. 192. LNI. GI, 2011.' ieee: 'G. Engels and M. Kremer, “Situational Software Engineering: Ein Rahmenwerk für eine situationsgerechte Auswahl von Entwicklungsmethoden und Vorgehensmodellen,” in Proceedings der41. Jahrestagung der Gesellschaft für Informatik - Informatik 2011;, 2011, vol. 192.' mla: 'Engels, Gregor, and Marion Kremer. “Situational Software Engineering: Ein Rahmenwerk Für Eine Situationsgerechte Auswahl von Entwicklungsmethoden Und Vorgehensmodellen.” Proceedings Der41. Jahrestagung Der Gesellschaft Für Informatik - Informatik 2011;, vol. 192, GI, 2011.' short: 'G. Engels, M. Kremer, in: Proceedings Der41. Jahrestagung Der Gesellschaft Für Informatik - Informatik 2011;, GI, 2011.' date_created: 2019-02-21T20:49:20Z date_updated: 2022-01-06T07:03:49Z department: - _id: '66' intvolume: ' 192' language: - iso: eng publication: Proceedings der41. Jahrestagung der Gesellschaft für Informatik - Informatik 2011; publisher: GI series_title: LNI status: public title: 'Situational Software Engineering: Ein Rahmenwerk für eine situationsgerechte Auswahl von Entwicklungsmethoden und Vorgehensmodellen' type: conference user_id: '52534' volume: 192 year: '2011' ... --- _id: '8047' abstract: - lang: ger text: 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: - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels citation: ama: 'Engels G. Services aus der Cloud = Fahren im Nebel? Wie minimiere ich die Risiken und erreiche hohe Qualität? In: Proceedings Der 41. Jahrestagung Der Gesellschaft Für Informatik - Informatik 2011. Vol 192. LNI. GI; 2011.' apa: Engels, G. (2011). Services aus der Cloud = Fahren im Nebel? Wie minimiere ich die Risiken und erreiche hohe Qualität? In Proceedings der 41. Jahrestagung der Gesellschaft für Informatik - Informatik 2011 (Vol. 192). GI. bibtex: '@inproceedings{Engels_2011, series={LNI}, title={Services aus der Cloud = Fahren im Nebel? Wie minimiere ich die Risiken und erreiche hohe Qualität?}, volume={192}, booktitle={Proceedings der 41. Jahrestagung der Gesellschaft für Informatik - Informatik 2011}, publisher={GI}, author={Engels, Gregor}, year={2011}, collection={LNI} }' chicago: Engels, Gregor. “Services Aus Der Cloud = Fahren Im Nebel? Wie Minimiere Ich Die Risiken Und Erreiche Hohe Qualität?” In Proceedings Der 41. Jahrestagung Der Gesellschaft Für Informatik - Informatik 2011, Vol. 192. LNI. GI, 2011. ieee: G. Engels, “Services aus der Cloud = Fahren im Nebel? Wie minimiere ich die Risiken und erreiche hohe Qualität?,” in Proceedings der 41. Jahrestagung der Gesellschaft für Informatik - Informatik 2011, 2011, vol. 192. mla: Engels, Gregor. “Services Aus Der Cloud = Fahren Im Nebel? Wie Minimiere Ich Die Risiken Und Erreiche Hohe Qualität?” Proceedings Der 41. Jahrestagung Der Gesellschaft Für Informatik - Informatik 2011, vol. 192, GI, 2011. short: 'G. Engels, in: Proceedings Der 41. Jahrestagung Der Gesellschaft Für Informatik - Informatik 2011, GI, 2011.' date_created: 2019-02-21T20:49:21Z date_updated: 2022-01-06T07:03:49Z department: - _id: '66' intvolume: ' 192' language: - iso: eng publication: Proceedings der 41. Jahrestagung der Gesellschaft für Informatik - Informatik 2011 publisher: GI series_title: LNI status: public title: Services aus der Cloud = Fahren im Nebel? Wie minimiere ich die Risiken und erreiche hohe Qualität? type: conference user_id: '52534' volume: 192 year: '2011' ... --- _id: '8048' author: - first_name: Christian full_name: Gerth, Christian last_name: Gerth - first_name: Markus full_name: Luckey, Markus last_name: Luckey - first_name: Jochen full_name: Küster, Jochen last_name: Küster - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels citation: ama: 'Gerth C, Luckey M, Küster J, Engels G. Precise Mappings between Business Process Models in Versioning Scenarios. In: Proceedings of the IEEE 8th International Conference on Services Computing (SCC’11). IEEE Computer Society; 2011:218-225. doi:http://dx.doi.org/10.1109/SCC.2011.65' apa: Gerth, C., Luckey, M., Küster, J., & Engels, G. (2011). Precise Mappings between Business Process Models in Versioning Scenarios. In Proceedings of the IEEE 8th International Conference on Services Computing (SCC’11) (pp. 218–225). IEEE Computer Society. http://dx.doi.org/10.1109/SCC.2011.65 bibtex: '@inproceedings{Gerth_Luckey_Küster_Engels_2011, title={Precise Mappings between Business Process Models in Versioning Scenarios}, DOI={http://dx.doi.org/10.1109/SCC.2011.65}, booktitle={Proceedings of the IEEE 8th International Conference on Services Computing (SCC’11)}, publisher={IEEE Computer Society}, author={Gerth, Christian and Luckey, Markus and Küster, Jochen and Engels, Gregor}, year={2011}, pages={218–225} }' chicago: Gerth, Christian, Markus Luckey, Jochen Küster, and Gregor Engels. “Precise Mappings between Business Process Models in Versioning Scenarios.” In Proceedings of the IEEE 8th International Conference on Services Computing (SCC’11), 218–25. IEEE Computer Society, 2011. http://dx.doi.org/10.1109/SCC.2011.65. ieee: C. Gerth, M. Luckey, J. Küster, and G. Engels, “Precise Mappings between Business Process Models in Versioning Scenarios,” in Proceedings of the IEEE 8th International Conference on Services Computing (SCC’11), 2011, pp. 218–225. mla: Gerth, Christian, et al. “Precise Mappings between Business Process Models in Versioning Scenarios.” Proceedings of the IEEE 8th International Conference on Services Computing (SCC’11), IEEE Computer Society, 2011, pp. 218–25, doi:http://dx.doi.org/10.1109/SCC.2011.65. short: 'C. Gerth, M. Luckey, J. Küster, G. Engels, in: Proceedings of the IEEE 8th International Conference on Services Computing (SCC’11), IEEE Computer Society, 2011, pp. 218–225.' date_created: 2019-02-21T20:49:22Z date_updated: 2022-01-06T07:03:49Z department: - _id: '66' doi: http://dx.doi.org/10.1109/SCC.2011.65 language: - iso: eng page: 218-225 publication: Proceedings of the IEEE 8th International Conference on Services Computing (SCC'11) publisher: IEEE Computer Society status: public title: Precise Mappings between Business Process Models in Versioning Scenarios type: conference user_id: '52534' year: '2011' ... --- _id: '8049' author: - first_name: Marianne full_name: Heinemann, Marianne last_name: Heinemann - first_name: Markus full_name: Palme, Markus last_name: Palme - first_name: Andreas full_name: Rothmann, Andreas last_name: Rothmann - first_name: Frank full_name: Salger, Frank last_name: Salger - first_name: Jürgen full_name: Schönke, Jürgen last_name: Schönke - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels citation: ama: 'Heinemann M, Palme M, Rothmann A, Salger F, Schönke J, Engels G. Selektionswerkzeug zur Auswahl projektspezifischer Vorgehensstrategien. In: Software Engineering 2011. Vol P-183. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2011:33-36.' apa: 'Heinemann, M., Palme, M., Rothmann, A., Salger, F., Schönke, J., & Engels, G. (2011). Selektionswerkzeug zur Auswahl projektspezifischer Vorgehensstrategien. In Software Engineering 2011 (Vol. P-183, pp. 33–36). Bonn: Gesellschaft für Informatik (GI).' bibtex: '@inproceedings{Heinemann_Palme_Rothmann_Salger_Schönke_Engels_2011, place={Bonn}, series={Lecture Notes in Informatics}, title={Selektionswerkzeug zur Auswahl projektspezifischer Vorgehensstrategien}, volume={P-183}, booktitle={Software Engineering 2011}, publisher={Gesellschaft für Informatik (GI)}, author={Heinemann, Marianne and Palme, Markus and Rothmann, Andreas and Salger, Frank and Schönke, Jürgen and Engels, Gregor}, year={2011}, pages={33–36}, collection={Lecture Notes in Informatics} }' chicago: 'Heinemann, Marianne, Markus Palme, Andreas Rothmann, Frank Salger, Jürgen Schönke, and Gregor Engels. “Selektionswerkzeug Zur Auswahl Projektspezifischer Vorgehensstrategien.” In Software Engineering 2011, P-183:33–36. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2011.' ieee: M. Heinemann, M. Palme, A. Rothmann, F. Salger, J. Schönke, and G. Engels, “Selektionswerkzeug zur Auswahl projektspezifischer Vorgehensstrategien,” in Software Engineering 2011, 2011, vol. P-183, pp. 33–36. mla: Heinemann, Marianne, et al. “Selektionswerkzeug Zur Auswahl Projektspezifischer Vorgehensstrategien.” Software Engineering 2011, vol. P-183, Gesellschaft für Informatik (GI), 2011, pp. 33–36. short: 'M. Heinemann, M. Palme, A. Rothmann, F. Salger, J. Schönke, G. Engels, in: Software Engineering 2011, Gesellschaft für Informatik (GI), Bonn, 2011, pp. 33–36.' date_created: 2019-02-21T20:49:24Z date_updated: 2022-01-06T07:03:49Z department: - _id: '66' language: - iso: eng page: 33-36 place: Bonn publication: Software Engineering 2011 publisher: Gesellschaft für Informatik (GI) series_title: Lecture Notes in Informatics status: public title: Selektionswerkzeug zur Auswahl projektspezifischer Vorgehensstrategien type: conference user_id: '52534' volume: P-183 year: '2011' ... --- _id: '8050' abstract: - lang: eng text: 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: - first_name: Lial full_name: Khaluf, Lial last_name: Khaluf - first_name: Christian full_name: Gerth, Christian last_name: Gerth - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels citation: ama: 'Khaluf L, Gerth C, Engels G. Pattern-Based Modeling and Formalizing of Business Process Quality Constraints. In: Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE’11). Vol 6741. LNCS. Berlin/Heidelberg: Springer; 2011:521-535. doi:http://dx.doi.org/10.1007/978-3-642-21640-4_39' apa: 'Khaluf, L., Gerth, C., & Engels, G. (2011). Pattern-Based Modeling and Formalizing of Business Process Quality Constraints. In Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE’11) (Vol. 6741, pp. 521–535). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-642-21640-4_39' bibtex: '@inproceedings{Khaluf_Gerth_Engels_2011, place={Berlin/Heidelberg}, series={LNCS}, title={Pattern-Based Modeling and Formalizing of Business Process Quality Constraints}, volume={6741}, DOI={http://dx.doi.org/10.1007/978-3-642-21640-4_39}, booktitle={Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE’11)}, publisher={Springer}, author={Khaluf, Lial and Gerth, Christian and Engels, Gregor}, year={2011}, pages={521–535}, collection={LNCS} }' chicago: 'Khaluf, Lial, Christian Gerth, and Gregor Engels. “Pattern-Based Modeling and Formalizing of Business Process Quality Constraints.” In Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE’11), 6741:521–35. LNCS. Berlin/Heidelberg: Springer, 2011. http://dx.doi.org/10.1007/978-3-642-21640-4_39.' ieee: L. Khaluf, C. Gerth, and G. Engels, “Pattern-Based Modeling and Formalizing of Business Process Quality Constraints,” in Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE’11), 2011, vol. 6741, pp. 521–535. mla: Khaluf, Lial, et al. “Pattern-Based Modeling and Formalizing of Business Process Quality Constraints.” Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE’11), vol. 6741, Springer, 2011, pp. 521–35, doi:http://dx.doi.org/10.1007/978-3-642-21640-4_39. short: 'L. Khaluf, C. Gerth, G. Engels, in: Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE’11), Springer, Berlin/Heidelberg, 2011, pp. 521–535.' date_created: 2019-02-21T20:49:25Z date_updated: 2022-01-06T07:03:49Z department: - _id: '66' doi: http://dx.doi.org/10.1007/978-3-642-21640-4_39 intvolume: ' 6741' language: - iso: eng page: 521-535 place: Berlin/Heidelberg publication: Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE'11) publisher: Springer series_title: LNCS status: public title: Pattern-Based Modeling and Formalizing of Business Process Quality Constraints type: conference user_id: '52534' volume: 6741 year: '2011' ... --- _id: '8051' author: - first_name: Helge full_name: Jung, Helge last_name: Jung - first_name: Karsten full_name: Nebe, Karsten last_name: Nebe - first_name: Florian full_name: Klompmaker, Florian last_name: Klompmaker - first_name: Holger Gerhard full_name: Fischer, Holger Gerhard id: '30457' last_name: Fischer citation: ama: 'Jung H, Nebe K, Klompmaker F, Fischer HG. Authentifizierte Eingaben auf Multitouch-Tischen. In: Mensch & Computer 2011, 11. Fachübergreifende Konferenz Für Interaktive Und Kooperative Medien, ÜberMEDIEN - ÜBERmorgen. Oldenbourg Wissenschaftsverlag; 2011:305-308.' apa: Jung, H., Nebe, K., Klompmaker, F., & Fischer, H. G. (2011). Authentifizierte Eingaben auf Multitouch-Tischen. In Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen (pp. 305–308). Oldenbourg Wissenschaftsverlag. bibtex: '@inproceedings{Jung_Nebe_Klompmaker_Fischer_2011, title={Authentifizierte Eingaben auf Multitouch-Tischen}, booktitle={Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen}, publisher={Oldenbourg Wissenschaftsverlag}, author={Jung, Helge and Nebe, Karsten and Klompmaker, Florian and Fischer, Holger Gerhard}, year={2011}, pages={305–308} }' chicago: Jung, Helge, Karsten Nebe, Florian Klompmaker, and Holger Gerhard Fischer. “Authentifizierte Eingaben Auf Multitouch-Tischen.” In Mensch & Computer 2011, 11. Fachübergreifende Konferenz Für Interaktive Und Kooperative Medien, ÜberMEDIEN - ÜBERmorgen, 305–8. Oldenbourg Wissenschaftsverlag, 2011. ieee: H. Jung, K. Nebe, F. Klompmaker, and H. G. Fischer, “Authentifizierte Eingaben auf Multitouch-Tischen,” in Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen, 2011, pp. 305–308. mla: Jung, Helge, et al. “Authentifizierte Eingaben Auf Multitouch-Tischen.” Mensch & Computer 2011, 11. Fachübergreifende Konferenz Für Interaktive Und Kooperative Medien, ÜberMEDIEN - ÜBERmorgen, Oldenbourg Wissenschaftsverlag, 2011, pp. 305–08. short: 'H. Jung, K. Nebe, F. Klompmaker, H.G. Fischer, in: Mensch & Computer 2011, 11. Fachübergreifende Konferenz Für Interaktive Und Kooperative Medien, ÜberMEDIEN - ÜBERmorgen, Oldenbourg Wissenschaftsverlag, 2011, pp. 305–308.' date_created: 2019-02-21T20:49:26Z date_updated: 2022-01-06T07:03:49Z department: - _id: '66' language: - iso: eng page: 305-308 publication: Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen publisher: Oldenbourg Wissenschaftsverlag status: public title: Authentifizierte Eingaben auf Multitouch-Tischen type: conference user_id: '52534' year: '2011' ... --- _id: '8052' author: - first_name: Markus full_name: Luckey, Markus last_name: Luckey - first_name: Benjamin full_name: Nagel, Benjamin last_name: Nagel - first_name: Christian full_name: Gerth, Christian last_name: Gerth - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels citation: ama: 'Luckey M, Nagel B, Gerth C, Engels G. Adapt Cases: Extending Use Cases for Adaptive Systems. In: Proceeding of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. SEAMS ’11. New York, NY, USA: ACM; 2011:30-39.' apa: 'Luckey, M., Nagel, B., Gerth, C., & Engels, G. (2011). Adapt Cases: Extending Use Cases for Adaptive Systems. In Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems (pp. 30–39). New York, NY, USA: ACM.' bibtex: '@inproceedings{Luckey_Nagel_Gerth_Engels_2011, place={New York, NY, USA}, series={SEAMS ’11}, title={Adapt Cases: Extending Use Cases for Adaptive Systems}, booktitle={Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems}, publisher={ACM}, author={Luckey, Markus and Nagel, Benjamin and Gerth, Christian and Engels, Gregor}, year={2011}, pages={30–39}, collection={SEAMS ’11} }' chicago: 'Luckey, Markus, Benjamin Nagel, Christian Gerth, and Gregor Engels. “Adapt Cases: Extending Use Cases for Adaptive Systems.” In Proceeding of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 30–39. SEAMS ’11. New York, NY, USA: ACM, 2011.' ieee: 'M. Luckey, B. Nagel, C. Gerth, and G. Engels, “Adapt Cases: Extending Use Cases for Adaptive Systems,” in Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, 2011, pp. 30–39.' mla: 'Luckey, Markus, et al. “Adapt Cases: Extending Use Cases for Adaptive Systems.” Proceeding of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, ACM, 2011, pp. 30–39.' short: 'M. Luckey, B. Nagel, C. Gerth, G. Engels, in: Proceeding of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, ACM, New York, NY, USA, 2011, pp. 30–39.' date_created: 2019-02-21T20:49:27Z date_updated: 2022-01-06T07:03:49Z department: - _id: '66' language: - iso: eng page: 30-39 place: New York, NY, USA publication: Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems publisher: ACM series_title: SEAMS '11 status: public title: 'Adapt Cases: Extending Use Cases for Adaptive Systems' type: conference user_id: '52534' year: '2011' ... --- _id: '8053' author: - first_name: Markus full_name: Luckey, Markus last_name: Luckey - first_name: Christian full_name: Gerth, Christian last_name: Gerth - first_name: Christian full_name: Soltenborn, Christian id: '1737' last_name: Soltenborn orcid: 0000-0002-0342-8227 - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels citation: ama: 'Luckey M, Gerth C, Soltenborn C, Engels G. QUAASY - QUality Assurance of Adaptive SYstems. In: Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11). ACM; 2011. doi:http://dx.doi.org/10.1145/1998582.1998617' apa: Luckey, M., Gerth, C., Soltenborn, C., & Engels, G. (2011). QUAASY - QUality Assurance of Adaptive SYstems. In Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11). ACM. http://dx.doi.org/10.1145/1998582.1998617 bibtex: '@inproceedings{Luckey_Gerth_Soltenborn_Engels_2011, title={QUAASY - QUality Assurance of Adaptive SYstems}, DOI={http://dx.doi.org/10.1145/1998582.1998617}, booktitle={Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11)}, publisher={ACM}, author={Luckey, Markus and Gerth, Christian and Soltenborn, Christian and Engels, Gregor}, year={2011} }' chicago: Luckey, Markus, Christian Gerth, Christian Soltenborn, and Gregor Engels. “QUAASY - QUality Assurance of Adaptive SYstems.” In Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11). ACM, 2011. http://dx.doi.org/10.1145/1998582.1998617. ieee: M. Luckey, C. Gerth, C. Soltenborn, and G. Engels, “QUAASY - QUality Assurance of Adaptive SYstems,” in Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11), 2011. mla: Luckey, Markus, et al. “QUAASY - QUality Assurance of Adaptive SYstems.” Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11), ACM, 2011, doi:http://dx.doi.org/10.1145/1998582.1998617. short: 'M. Luckey, C. Gerth, C. Soltenborn, G. Engels, in: Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11), ACM, 2011.' date_created: 2019-02-21T20:49:28Z date_updated: 2022-01-06T07:03:49Z department: - _id: '66' doi: http://dx.doi.org/10.1145/1998582.1998617 language: - iso: eng publication: Proceedings of the 8th International Conference on Autonomic Computing (ICAC'11) publisher: ACM status: public title: QUAASY - QUality Assurance of Adaptive SYstems type: conference user_id: '14955' year: '2011' ... --- _id: '8054' author: - first_name: Nils full_name: Bandener, Nils last_name: Bandener - first_name: Christian full_name: Soltenborn, Christian id: '1737' last_name: Soltenborn orcid: 0000-0002-0342-8227 - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels citation: ama: 'Bandener N, Soltenborn C, Engels G. Extending DMM Behavior Specifications for Visual Execution and Debugging. In: Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010). Vol 6563. LNCS. Berlin/Heidelberg: Springer; 2011:357-376. doi:http://dx.doi.org/10.1007/978-3-642-19440-5_24' apa: 'Bandener, N., Soltenborn, C., & Engels, G. (2011). Extending DMM Behavior Specifications for Visual Execution and Debugging. In Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010) (Vol. 6563, pp. 357–376). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/978-3-642-19440-5_24' bibtex: '@inproceedings{Bandener_Soltenborn_Engels_2011, place={Berlin/Heidelberg}, series={LNCS}, title={Extending DMM Behavior Specifications for Visual Execution and Debugging}, volume={6563}, DOI={http://dx.doi.org/10.1007/978-3-642-19440-5_24}, booktitle={Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010)}, publisher={Springer}, author={Bandener, Nils and Soltenborn, Christian and Engels, Gregor}, year={2011}, pages={357–376}, collection={LNCS} }' chicago: 'Bandener, Nils, Christian Soltenborn, and Gregor Engels. “Extending DMM Behavior Specifications for Visual Execution and Debugging.” In Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010), 6563:357–76. LNCS. Berlin/Heidelberg: Springer, 2011. http://dx.doi.org/10.1007/978-3-642-19440-5_24.' ieee: N. Bandener, C. Soltenborn, and G. Engels, “Extending DMM Behavior Specifications for Visual Execution and Debugging,” in Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010), 2011, vol. 6563, pp. 357–376. mla: Bandener, Nils, et al. “Extending DMM Behavior Specifications for Visual Execution and Debugging.” Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010), vol. 6563, Springer, 2011, pp. 357–76, doi:http://dx.doi.org/10.1007/978-3-642-19440-5_24. short: 'N. Bandener, C. Soltenborn, G. Engels, in: Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010), Springer, Berlin/Heidelberg, 2011, pp. 357–376.' date_created: 2019-02-21T20:49:29Z date_updated: 2022-01-06T07:03:49Z department: - _id: '66' doi: http://dx.doi.org/10.1007/978-3-642-19440-5_24 intvolume: ' 6563' language: - iso: eng page: 357-376 place: Berlin/Heidelberg publication: Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010) publisher: Springer series_title: LNCS status: public title: Extending DMM Behavior Specifications for Visual Execution and Debugging type: conference user_id: '14955' volume: 6563 year: '2011' ... --- _id: '8221' author: - first_name: Frank full_name: Brüseke, Frank last_name: Brüseke - first_name: Fabian full_name: Christ, Fabian last_name: Christ - first_name: Stefan full_name: Sauer, Stefan id: '447' last_name: Sauer - first_name: Andreas full_name: Wübbeke, Andreas last_name: Wübbeke citation: ama: Brüseke F, Christ F, Sauer S, Wübbeke A. Testen von Software-Produktlinien. University of Paderborn, Software Quality Lab (s-lab); 2011. apa: Brüseke, F., Christ, F., Sauer, S., & Wübbeke, A. (2011). Testen von Software-Produktlinien. University of Paderborn, Software Quality Lab (s-lab). bibtex: '@book{Brüseke_Christ_Sauer_Wübbeke_2011, title={Testen von Software-Produktlinien}, publisher={University of Paderborn, Software Quality Lab (s-lab)}, author={Brüseke, Frank and Christ, Fabian and Sauer, Stefan and Wübbeke, Andreas}, year={2011} }' chicago: Brüseke, Frank, Fabian Christ, Stefan Sauer, and Andreas Wübbeke. Testen von Software-Produktlinien. University of Paderborn, Software Quality Lab (s-lab), 2011. ieee: F. Brüseke, F. Christ, S. Sauer, and A. Wübbeke, Testen von Software-Produktlinien. University of Paderborn, Software Quality Lab (s-lab), 2011. mla: Brüseke, Frank, et al. Testen von Software-Produktlinien. University of Paderborn, Software Quality Lab (s-lab), 2011. short: F. Brüseke, F. Christ, S. Sauer, A. Wübbeke, Testen von Software-Produktlinien, University of Paderborn, Software Quality Lab (s-lab), 2011. date_created: 2019-03-03T16:13:21Z date_updated: 2022-01-06T07:03:52Z department: - _id: '66' language: - iso: eng publisher: University of Paderborn, Software Quality Lab (s-lab) report_number: '4' status: public title: Testen von Software-Produktlinien type: report user_id: '52534' year: '2011' ... --- _id: '6293' author: - first_name: Karsten full_name: Nebe, Karsten last_name: Nebe - first_name: Florian full_name: Klompmaker, Florian last_name: Klompmaker - first_name: Helge full_name: Jung, Helge last_name: Jung - first_name: Holger Gerhard full_name: Fischer, Holger Gerhard id: '30457' last_name: Fischer citation: ama: 'Nebe K, Klompmaker F, Jung H, Fischer HG. Exploiting New Interaction Techniques for Disaster Control Management Using Multitouch-, Tangible- and Pen-Based-Interaction. In: Jacko JA, ed. Human-Computer Interaction. Interaction Techniques and Environments. Vol 6762. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2011:100-109. doi:10.1007/978-3-642-21605-3_11' apa: 'Nebe, K., Klompmaker, F., Jung, H., & Fischer, H. G. (2011). Exploiting New Interaction Techniques for Disaster Control Management Using Multitouch-, Tangible- and Pen-Based-Interaction. In J. A. Jacko (Ed.), Human-Computer Interaction. Interaction Techniques and Environments. (Vol. 6762, pp. 100–109). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-21605-3_11' bibtex: '@inbook{Nebe_Klompmaker_Jung_Fischer_2011, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Exploiting New Interaction Techniques for Disaster Control Management Using Multitouch-, Tangible- and Pen-Based-Interaction}, volume={6762}, DOI={10.1007/978-3-642-21605-3_11}, booktitle={Human-Computer Interaction. Interaction Techniques and Environments.}, publisher={Springer Berlin Heidelberg}, author={Nebe, Karsten and Klompmaker, Florian and Jung, Helge and Fischer, Holger Gerhard}, editor={Jacko, Julie AnneEditor}, year={2011}, pages={100–109}, collection={Lecture Notes in Computer Science} }' chicago: 'Nebe, Karsten, Florian Klompmaker, Helge Jung, and Holger Gerhard Fischer. “Exploiting New Interaction Techniques for Disaster Control Management Using Multitouch-, Tangible- and Pen-Based-Interaction.” In Human-Computer Interaction. Interaction Techniques and Environments., edited by Julie Anne Jacko, 6762:100–109. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. https://doi.org/10.1007/978-3-642-21605-3_11.' ieee: 'K. Nebe, F. Klompmaker, H. Jung, and H. G. Fischer, “Exploiting New Interaction Techniques for Disaster Control Management Using Multitouch-, Tangible- and Pen-Based-Interaction,” in Human-Computer Interaction. Interaction Techniques and Environments., vol. 6762, J. A. Jacko, Ed. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011, pp. 100–109.' mla: Nebe, Karsten, et al. “Exploiting New Interaction Techniques for Disaster Control Management Using Multitouch-, Tangible- and Pen-Based-Interaction.” Human-Computer Interaction. Interaction Techniques and Environments., edited by Julie Anne Jacko, vol. 6762, Springer Berlin Heidelberg, 2011, pp. 100–09, doi:10.1007/978-3-642-21605-3_11. short: 'K. Nebe, F. Klompmaker, H. Jung, H.G. Fischer, in: J.A. Jacko (Ed.), Human-Computer Interaction. Interaction Techniques and Environments., Springer Berlin Heidelberg, Berlin, Heidelberg, 2011, pp. 100–109.' conference: end_date: 2011-07-14 location: Orlando, USA name: International Conference on Interaction Techniques and Environments as part of HCI International 2011 start_date: 2011-07-09 date_created: 2018-12-18T12:55:26Z date_updated: 2022-01-06T07:03:00Z department: - _id: '66' - _id: '534' - _id: '221' doi: 10.1007/978-3-642-21605-3_11 editor: - first_name: Julie Anne full_name: Jacko, Julie Anne last_name: Jacko intvolume: ' 6762' language: - iso: eng page: 100-109 place: Berlin, Heidelberg publication: Human-Computer Interaction. Interaction Techniques and Environments. publication_identifier: isbn: - '9783642216046' - '9783642216053' issn: - 0302-9743 - 1611-3349 publication_status: published publisher: Springer Berlin Heidelberg series_title: Lecture Notes in Computer Science status: public title: Exploiting New Interaction Techniques for Disaster Control Management Using Multitouch-, Tangible- and Pen-Based-Interaction type: book_chapter user_id: '30457' volume: 6762 year: '2011' ... --- _id: '6298' author: - first_name: Karsten full_name: Nebe, Karsten last_name: Nebe - first_name: Holger Gerhard full_name: Fischer, Holger Gerhard id: '30457' last_name: Fischer - first_name: Florian full_name: Klompmaker, Florian last_name: Klompmaker - first_name: Helge full_name: Jung, Helge last_name: Jung citation: ama: 'Nebe K, Fischer HG, Klompmaker F, Jung H. Multitouch-, Be-Greifbare- und Stiftbasierte-Interaktion in der Einsatzlageplanung. In: Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen. Oldenbourg Wissenschaftsverlag; 2011:263-273.' apa: Nebe, K., Fischer, H. G., Klompmaker, F., & Jung, H. (2011). Multitouch-, Be-Greifbare- und Stiftbasierte-Interaktion in der Einsatzlageplanung. In Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen (pp. 263–273). Oldenbourg Wissenschaftsverlag. bibtex: '@inproceedings{Nebe_Fischer_Klompmaker_Jung_2011, title={Multitouch-, Be-Greifbare- und Stiftbasierte-Interaktion in der Einsatzlageplanung}, booktitle={Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen}, publisher={Oldenbourg Wissenschaftsverlag}, author={Nebe, Karsten and Fischer, Holger Gerhard and Klompmaker, Florian and Jung, Helge}, year={2011}, pages={263–273} }' chicago: Nebe, Karsten, Holger Gerhard Fischer, Florian Klompmaker, and Helge Jung. “Multitouch-, Be-Greifbare- und Stiftbasierte-Interaktion in der Einsatzlageplanung.” In Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen, 263–73. Oldenbourg Wissenschaftsverlag, 2011. ieee: K. Nebe, H. G. Fischer, F. Klompmaker, and H. Jung, “Multitouch-, Be-Greifbare- und Stiftbasierte-Interaktion in der Einsatzlageplanung,” in Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen, 2011, pp. 263–273. mla: Nebe, Karsten, et al. “Multitouch-, Be-Greifbare- und Stiftbasierte-Interaktion in der Einsatzlageplanung.” Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen, Oldenbourg Wissenschaftsverlag, 2011, pp. 263–73. short: 'K. Nebe, H.G. Fischer, F. Klompmaker, H. Jung, in: Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen, Oldenbourg Wissenschaftsverlag, 2011, pp. 263–273.' date_created: 2018-12-18T13:02:26Z date_updated: 2022-01-06T07:03:00Z department: - _id: '66' - _id: '534' - _id: '221' language: - iso: ger page: 263-273 publication: Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen publisher: Oldenbourg Wissenschaftsverlag status: public title: Multitouch-, Be-Greifbare- und Stiftbasierte-Interaktion in der Einsatzlageplanung type: conference user_id: '30457' year: '2011' ... --- _id: '6299' author: - first_name: Helge full_name: Jung, Helge last_name: Jung - first_name: Karsten full_name: Nebe, Karsten last_name: Nebe - first_name: Florian full_name: Klompmaker, Florian last_name: Klompmaker - first_name: Holger Gerhard full_name: Fischer, Holger Gerhard id: '30457' last_name: Fischer citation: ama: 'Jung H, Nebe K, Klompmaker F, Fischer HG. Authentifizierte Eingaben auf Multitouch-Tischen. In: Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen. Oldenbourg Wissenschaftsverlag; 2011:305-308.' apa: Jung, H., Nebe, K., Klompmaker, F., & Fischer, H. G. (2011). Authentifizierte Eingaben auf Multitouch-Tischen. In Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen (pp. 305–308). Oldenbourg Wissenschaftsverlag. bibtex: '@inproceedings{Jung_Nebe_Klompmaker_Fischer_2011, title={Authentifizierte Eingaben auf Multitouch-Tischen}, booktitle={Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen}, publisher={Oldenbourg Wissenschaftsverlag}, author={Jung, Helge and Nebe, Karsten and Klompmaker, Florian and Fischer, Holger Gerhard}, year={2011}, pages={305–308} }' chicago: Jung, Helge, Karsten Nebe, Florian Klompmaker, and Holger Gerhard Fischer. “Authentifizierte Eingaben auf Multitouch-Tischen.” In Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen, 305–8. Oldenbourg Wissenschaftsverlag, 2011. ieee: H. Jung, K. Nebe, F. Klompmaker, and H. G. Fischer, “Authentifizierte Eingaben auf Multitouch-Tischen,” in Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen, 2011, pp. 305–308. mla: Jung, Helge, et al. “Authentifizierte Eingaben auf Multitouch-Tischen.” Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen, Oldenbourg Wissenschaftsverlag, 2011, pp. 305–08. short: 'H. Jung, K. Nebe, F. Klompmaker, H.G. Fischer, in: Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen, Oldenbourg Wissenschaftsverlag, 2011, pp. 305–308.' date_created: 2018-12-18T13:03:06Z date_updated: 2022-01-06T07:03:00Z department: - _id: '66' - _id: '534' - _id: '221' language: - iso: ger page: 305-308 publication: Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen publisher: Oldenbourg Wissenschaftsverlag status: public title: Authentifizierte Eingaben auf Multitouch-Tischen type: conference user_id: '30457' year: '2011' ... --- _id: '6300' author: - first_name: Holger Gerhard full_name: Fischer, Holger Gerhard id: '30457' last_name: Fischer - first_name: Karsten full_name: Nebe, Karsten last_name: Nebe - first_name: Florian full_name: Klompmaker, Florian last_name: Klompmaker citation: ama: 'Fischer HG, Nebe K, Klompmaker F. A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities. In: Kurosu M, ed. Human Centered Design. Vol 6776. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2011:28-37. doi:10.1007/978-3-642-21753-1_4' apa: 'Fischer, H. G., Nebe, K., & Klompmaker, F. (2011). A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities. In M. Kurosu (Ed.), Human Centered Design (Vol. 6776, pp. 28–37). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-21753-1_4' bibtex: '@inbook{Fischer_Nebe_Klompmaker_2011, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities}, volume={6776}, DOI={10.1007/978-3-642-21753-1_4}, booktitle={Human Centered Design}, publisher={Springer Berlin Heidelberg}, author={Fischer, Holger Gerhard and Nebe, Karsten and Klompmaker, Florian}, editor={Kurosu, MasaakiEditor}, year={2011}, pages={28–37}, collection={Lecture Notes in Computer Science} }' chicago: 'Fischer, Holger Gerhard, Karsten Nebe, and Florian Klompmaker. “A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities.” In Human Centered Design, edited by Masaaki Kurosu, 6776:28–37. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. https://doi.org/10.1007/978-3-642-21753-1_4.' ieee: 'H. G. Fischer, K. Nebe, and F. Klompmaker, “A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities,” in Human Centered Design, vol. 6776, M. Kurosu, Ed. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011, pp. 28–37.' mla: Fischer, Holger Gerhard, et al. “A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities.” Human Centered Design, edited by Masaaki Kurosu, vol. 6776, Springer Berlin Heidelberg, 2011, pp. 28–37, doi:10.1007/978-3-642-21753-1_4. short: 'H.G. Fischer, K. Nebe, F. Klompmaker, in: M. Kurosu (Ed.), Human Centered Design, Springer Berlin Heidelberg, Berlin, Heidelberg, 2011, pp. 28–37.' conference: end_date: 2011-07-14 location: Orlando, USA name: International Conference on Human Centered Design (HCD) as part of HCI International 2011 start_date: 2011-07-09 date_created: 2018-12-18T13:04:39Z date_updated: 2022-01-06T07:03:00Z department: - _id: '66' - _id: '534' - _id: '221' doi: 10.1007/978-3-642-21753-1_4 editor: - first_name: Masaaki full_name: Kurosu, Masaaki last_name: Kurosu intvolume: ' 6776' language: - iso: eng page: 28-37 place: Berlin, Heidelberg publication: Human Centered Design publication_identifier: isbn: - '9783642217524' - '9783642217531' issn: - 0302-9743 - 1611-3349 publication_status: published publisher: Springer Berlin Heidelberg series_title: Lecture Notes in Computer Science status: public title: A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities type: book_chapter user_id: '30457' volume: 6776 year: '2011' ... --- _id: '6301' author: - first_name: Holger Gerhard full_name: Fischer, Holger Gerhard id: '30457' last_name: Fischer - first_name: Christian full_name: Bogner, Christian last_name: Bogner - first_name: Thomas full_name: Geis, Thomas last_name: Geis - first_name: Knut full_name: Polkehn, Knut last_name: Polkehn - first_name: Dirk full_name: Zimmermann, Dirk last_name: Zimmermann citation: ama: 'Fischer HG, Bogner C, Geis T, Polkehn K, Zimmermann D. Der Qualitätsstandard für Usability Engineering der German UPA – Aktueller Stand der Arbeiten. In: Jahresband Usability Professionals. German UPA; 2011:72-74.' apa: Fischer, H. G., Bogner, C., Geis, T., Polkehn, K., & Zimmermann, D. (2011). Der Qualitätsstandard für Usability Engineering der German UPA – Aktueller Stand der Arbeiten. In Jahresband Usability Professionals (pp. 72–74). German UPA. bibtex: '@inproceedings{Fischer_Bogner_Geis_Polkehn_Zimmermann_2011, title={Der Qualitätsstandard für Usability Engineering der German UPA – Aktueller Stand der Arbeiten}, booktitle={Jahresband Usability Professionals}, publisher={German UPA}, author={Fischer, Holger Gerhard and Bogner, Christian and Geis, Thomas and Polkehn, Knut and Zimmermann, Dirk}, year={2011}, pages={72–74} }' chicago: Fischer, Holger Gerhard, Christian Bogner, Thomas Geis, Knut Polkehn, and Dirk Zimmermann. “Der Qualitätsstandard für Usability Engineering der German UPA – Aktueller Stand der Arbeiten.” In Jahresband Usability Professionals, 72–74. German UPA, 2011. ieee: H. G. Fischer, C. Bogner, T. Geis, K. Polkehn, and D. Zimmermann, “Der Qualitätsstandard für Usability Engineering der German UPA – Aktueller Stand der Arbeiten,” in Jahresband Usability Professionals, 2011, pp. 72–74. mla: Fischer, Holger Gerhard, et al. “Der Qualitätsstandard für Usability Engineering der German UPA – Aktueller Stand der Arbeiten.” Jahresband Usability Professionals, German UPA, 2011, pp. 72–74. short: 'H.G. Fischer, C. Bogner, T. Geis, K. Polkehn, D. Zimmermann, in: Jahresband Usability Professionals, German UPA, 2011, pp. 72–74.' date_created: 2018-12-18T13:07:07Z date_updated: 2022-01-06T07:03:00Z department: - _id: '66' - _id: '534' - _id: '221' language: - iso: ger page: 72-74 publication: Jahresband Usability Professionals publisher: German UPA status: public title: Der Qualitätsstandard für Usability Engineering der German UPA – Aktueller Stand der Arbeiten type: conference user_id: '30457' year: '2011' ... --- _id: '645' abstract: - lang: eng text: In the standard consensus problem there are n processes with possibly di®erent input values and the goal is to eventually reach a point at which all processes commit to exactly one of these values. We are studying a slight variant of the consensus problem called the stabilizing consensus problem [2]. In this problem, we do not require that each process commits to a ¯nal value at some point, but that eventually they arrive at a common, stable value without necessarily being aware of that. This should work irrespective of the states in which the processes are starting. Our main result is a simple randomized algorithm called median rule that, with high probability, just needs O(logmlog log n + log n) time and work per process to arrive at an almost stable consensus for any set of m legal values as long as an adversary can corrupt the states of at most p n processes at any time. Without adversarial involvement, just O(log n) time and work is needed for a stable consensus, with high probability. As a by-product, we obtain a simple distributed algorithm for approximating the median of n numbers in time O(logmlog log n + log n) under adversarial presence. author: - first_name: Benjamin full_name: Doerr, Benjamin last_name: Doerr - first_name: Leslie Ann full_name: Goldberg, Leslie Ann last_name: Goldberg - first_name: Lorenz full_name: Minder, Lorenz last_name: Minder - first_name: Thomas full_name: Sauerwald, Thomas last_name: Sauerwald - first_name: Christian full_name: Scheideler, Christian id: '20792' last_name: Scheideler citation: ama: 'Doerr B, Goldberg LA, Minder L, Sauerwald T, Scheideler C. Stabilizing consensus with the power of two choices. In: Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ; 2011:149-158. doi:10.1145/1989493.1989516' apa: Doerr, B., Goldberg, L. A., Minder, L., Sauerwald, T., & Scheideler, C. (2011). Stabilizing consensus with the power of two choices. In Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) (pp. 149–158). https://doi.org/10.1145/1989493.1989516 bibtex: '@inproceedings{Doerr_Goldberg_Minder_Sauerwald_Scheideler_2011, title={Stabilizing consensus with the power of two choices}, DOI={10.1145/1989493.1989516}, booktitle={Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)}, author={Doerr, Benjamin and Goldberg, Leslie Ann and Minder, Lorenz and Sauerwald, Thomas and Scheideler, Christian}, year={2011}, pages={149–158} }' chicago: Doerr, Benjamin, Leslie Ann Goldberg, Lorenz Minder, Thomas Sauerwald, and Christian Scheideler. “Stabilizing Consensus with the Power of Two Choices.” In Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 149–58, 2011. https://doi.org/10.1145/1989493.1989516. ieee: B. Doerr, L. A. Goldberg, L. Minder, T. Sauerwald, and C. Scheideler, “Stabilizing consensus with the power of two choices,” in Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2011, pp. 149–158. mla: Doerr, Benjamin, et al. “Stabilizing Consensus with the Power of Two Choices.” Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2011, pp. 149–58, doi:10.1145/1989493.1989516. short: 'B. Doerr, L.A. Goldberg, L. Minder, T. Sauerwald, C. Scheideler, in: Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2011, pp. 149–158.' date_created: 2017-10-17T12:42:57Z date_updated: 2022-01-06T07:03:05Z ddc: - '040' department: - _id: '79' doi: 10.1145/1989493.1989516 file: - access_level: closed content_type: application/pdf creator: florida date_created: 2018-03-14T13:58:11Z date_updated: 2018-03-14T13:58:11Z file_id: '1228' file_name: 645-spaa70-scheideler.pdf file_size: 268500 relation: main_file success: 1 file_date_updated: 2018-03-14T13:58:11Z has_accepted_license: '1' page: 149-158 project: - _id: '1' name: SFB 901 - _id: '13' name: SFB 901 - Subprojekt C1 - _id: '4' name: SFB 901 - Project Area C publication: Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) status: public title: Stabilizing consensus with the power of two choices type: conference user_id: '15504' year: '2011' ... --- _id: '7353' abstract: - lang: eng text: 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: - first_name: Stephan full_name: Weißleder, Stephan last_name: Weißleder - first_name: Baris full_name: Güldali, Baris last_name: Güldali - first_name: Michael full_name: Mlynarski, Michael last_name: Mlynarski - first_name: Arne-Michael full_name: Törsel, Arne-Michael last_name: Törsel - first_name: David full_name: Faragó, David last_name: Faragó - first_name: Florian full_name: Prester, Florian last_name: Prester - first_name: Mario full_name: Winter, Mario last_name: Winter citation: ama: 'Weißleder S, Güldali B, Mlynarski M, et al. Modellbasiertes Testen: Hype oder Realität? OBJEKTspektrum. 2011;(6):59-65.' apa: 'Weißleder, S., Güldali, B., Mlynarski, M., Törsel, A.-M., Faragó, D., Prester, F., & Winter, M. (2011). Modellbasiertes Testen: Hype oder Realität? OBJEKTspektrum, (6), 59–65.' bibtex: '@article{Weißleder_Güldali_Mlynarski_Törsel_Faragó_Prester_Winter_2011, title={Modellbasiertes Testen: Hype oder Realität?}, number={6}, journal={OBJEKTspektrum}, 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}, year={2011}, pages={59–65} }' chicago: 'Weißleder, Stephan, Baris Güldali, Michael Mlynarski, Arne-Michael Törsel, David Faragó, Florian Prester, and Mario Winter. “Modellbasiertes Testen: Hype Oder Realität?” OBJEKTspektrum, no. 6 (2011): 59–65.' ieee: 'S. Weißleder et al., “Modellbasiertes Testen: Hype oder Realität?,” OBJEKTspektrum, no. 6, pp. 59–65, 2011.' mla: 'Weißleder, Stephan, et al. “Modellbasiertes Testen: Hype Oder Realität?” OBJEKTspektrum, no. 6, 2011, pp. 59–65.' short: S. Weißleder, B. Güldali, M. Mlynarski, A.-M. Törsel, D. Faragó, F. Prester, M. Winter, OBJEKTspektrum (2011) 59–65. date_created: 2019-01-31T13:00:12Z date_updated: 2022-01-06T07:03:35Z department: - _id: '66' issue: '6' language: - iso: eng page: 59-65 publication: OBJEKTspektrum status: public title: 'Modellbasiertes Testen: Hype oder Realität?' type: journal_article user_id: '52534' year: '2011' ... --- _id: '7354' abstract: - lang: eng text: '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: - first_name: Baris full_name: Güldali, Baris last_name: Güldali - first_name: Holger full_name: Funke, Holger last_name: Funke - first_name: Stefan full_name: Sauer, Stefan id: '447' last_name: Sauer - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels citation: ama: 'Güldali B, Funke H, Sauer S, Engels G. TORC: test plan optimization by requirements clustering. Software Quality Journal. 2011;19(4):771-799. doi:10.1007/s11219-011-9149-4' apa: 'Güldali, B., Funke, H., Sauer, S., & Engels, G. (2011). TORC: test plan optimization by requirements clustering. Software Quality Journal, 19(4), 771–799. https://doi.org/10.1007/s11219-011-9149-4' bibtex: '@article{Güldali_Funke_Sauer_Engels_2011, title={TORC: test plan optimization by requirements clustering}, volume={19}, DOI={10.1007/s11219-011-9149-4}, number={4}, journal={Software Quality Journal}, publisher={Springer Nature}, author={Güldali, Baris and Funke, Holger and Sauer, Stefan and Engels, Gregor}, year={2011}, pages={771–799} }' chicago: 'Güldali, Baris, Holger Funke, Stefan Sauer, and Gregor Engels. “TORC: Test Plan Optimization by Requirements Clustering.” Software Quality Journal 19, no. 4 (2011): 771–99. https://doi.org/10.1007/s11219-011-9149-4.' ieee: 'B. Güldali, H. Funke, S. Sauer, and G. Engels, “TORC: test plan optimization by requirements clustering,” Software Quality Journal, vol. 19, no. 4, pp. 771–799, 2011.' mla: 'Güldali, Baris, et al. “TORC: Test Plan Optimization by Requirements Clustering.” Software Quality Journal, vol. 19, no. 4, Springer Nature, 2011, pp. 771–99, doi:10.1007/s11219-011-9149-4.' short: B. Güldali, H. Funke, S. Sauer, G. Engels, Software Quality Journal 19 (2011) 771–799. date_created: 2019-01-31T13:00:53Z date_updated: 2022-01-06T07:03:35Z department: - _id: '66' doi: 10.1007/s11219-011-9149-4 intvolume: ' 19' issue: '4' language: - iso: eng page: 771-799 publication: Software Quality Journal publication_identifier: issn: - 0963-9314 - 1573-1367 publication_status: published publisher: Springer Nature status: public title: 'TORC: test plan optimization by requirements clustering' type: journal_article user_id: '52534' volume: 19 year: '2011' ... --- _id: '7355' abstract: - lang: eng text: 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: - first_name: Christian full_name: Soltenborn, Christian id: '1737' last_name: Soltenborn orcid: 0000-0002-0342-8227 - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels citation: ama: Soltenborn C, Engels G. Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications. Journal of Visual Languages & Computing. 2011;22(3):233-250. doi:10.1016/j.jvlc.2010.12.005 apa: Soltenborn, C., & Engels, G. (2011). Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications. Journal of Visual Languages & Computing, 22(3), 233–250. https://doi.org/10.1016/j.jvlc.2010.12.005 bibtex: '@article{Soltenborn_Engels_2011, title={Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications}, volume={22}, DOI={10.1016/j.jvlc.2010.12.005}, number={3}, journal={Journal of Visual Languages & Computing}, publisher={Elsevier BV}, author={Soltenborn, Christian and Engels, Gregor}, year={2011}, pages={233–250} }' chicago: 'Soltenborn, Christian, and Gregor Engels. “Using Rule Overriding to Improve Reusability and Understandability of Dynamic Meta Modeling Specifications.” Journal of Visual Languages & Computing 22, no. 3 (2011): 233–50. https://doi.org/10.1016/j.jvlc.2010.12.005.' ieee: C. Soltenborn and G. Engels, “Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications,” Journal of Visual Languages & Computing, vol. 22, no. 3, pp. 233–250, 2011. mla: Soltenborn, Christian, and Gregor Engels. “Using Rule Overriding to Improve Reusability and Understandability of Dynamic Meta Modeling Specifications.” Journal of Visual Languages & Computing, vol. 22, no. 3, Elsevier BV, 2011, pp. 233–50, doi:10.1016/j.jvlc.2010.12.005. short: C. Soltenborn, G. Engels, Journal of Visual Languages & Computing 22 (2011) 233–250. date_created: 2019-01-31T13:02:21Z date_updated: 2022-01-06T07:03:35Z department: - _id: '66' doi: 10.1016/j.jvlc.2010.12.005 intvolume: ' 22' issue: '3' language: - iso: eng page: 233-250 publication: Journal of Visual Languages & Computing publication_identifier: issn: - 1045-926X publication_status: published publisher: Elsevier BV status: public title: Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications type: journal_article user_id: '14955' volume: 22 year: '2011' ... --- _id: '7535' author: - first_name: Irina full_name: Böckelmann, Irina last_name: Böckelmann - first_name: Daniel full_name: Schenk, Daniel last_name: Schenk - first_name: Thoralf full_name: Rößler, Thoralf last_name: Rößler - first_name: Simon full_name: Adler, Simon last_name: Adler - first_name: Björn full_name: Senft, Björn id: '9109' last_name: Senft - first_name: Jens full_name: Grubert, Jens last_name: Grubert - first_name: Rüdiger full_name: Mecke, Rüdiger last_name: Mecke - first_name: Anke full_name: Huckauf, Anke last_name: Huckauf - first_name: Mario full_name: Urbina, Mario last_name: Urbina - first_name: Johannes full_name: Tümler, Johannes last_name: Tümler - first_name: Sabine full_name: Darius, Sabine last_name: Darius citation: ama: 'Böckelmann I, Schenk D, Rößler T, et al. Physiologische Beanspruchungsreaktionen bei der Anwendung von kopfgetragenen AR-Displays. In: ; 2011.' apa: Böckelmann, I., Schenk, D., Rößler, T., Adler, S., Senft, B., Grubert, J., … Darius, S. (2011). Physiologische Beanspruchungsreaktionen bei der Anwendung von kopfgetragenen AR-Displays. Presented at the 51. Wissenschaftliche Jahrestagung der Deutschen Gesellschaft für Arbeitsmedizin und Umweltmedizin e. V. (DGAUM). bibtex: '@inproceedings{Böckelmann_Schenk_Rößler_Adler_Senft_Grubert_Mecke_Huckauf_Urbina_Tümler_et al._2011, title={Physiologische Beanspruchungsreaktionen bei der Anwendung von kopfgetragenen AR-Displays}, 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 et al.}, year={2011} }' chicago: Böckelmann, Irina, Daniel Schenk, Thoralf Rößler, Simon Adler, Björn Senft, Jens Grubert, Rüdiger Mecke, et al. “Physiologische Beanspruchungsreaktionen Bei Der Anwendung von Kopfgetragenen AR-Displays,” 2011. ieee: I. Böckelmann et al., “Physiologische Beanspruchungsreaktionen bei der Anwendung von kopfgetragenen AR-Displays,” presented at the 51. Wissenschaftliche Jahrestagung der Deutschen Gesellschaft für Arbeitsmedizin und Umweltmedizin e. V. (DGAUM), 2011. mla: Böckelmann, Irina, et al. Physiologische Beanspruchungsreaktionen Bei Der Anwendung von Kopfgetragenen AR-Displays. 2011. short: 'I. Böckelmann, D. Schenk, T. Rößler, S. Adler, B. Senft, J. Grubert, R. Mecke, A. Huckauf, M. Urbina, J. Tümler, S. Darius, in: 2011.' conference: name: 51. Wissenschaftliche Jahrestagung der Deutschen Gesellschaft für Arbeitsmedizin und Umweltmedizin e. V. (DGAUM) date_created: 2019-02-05T12:36:59Z date_updated: 2022-01-06T07:03:39Z department: - _id: '66' language: - iso: eng status: public title: Physiologische Beanspruchungsreaktionen bei der Anwendung von kopfgetragenen AR-Displays type: conference user_id: '9109' year: '2011' ...