[{"page":"101-105","intvolume":"      4364","citation":{"ieee":"A. Pleuß, J. Van den Bergh, S. Sauer, H. Hußmann, and A. Bödcher, “Model Driven Development of Advanced User Interfaces (MDDAUI) - MDDAUI’06 Workshop Report,” in <i>MoDELS 2006 Workshops</i>, 2007, vol. 4364, pp. 101–105.","chicago":"Pleuß, Andreas, Jan Van den Bergh, Stefan Sauer, Heinrich Hußmann, and Alexander Bödcher. “Model Driven Development of Advanced User Interfaces (MDDAUI) - MDDAUI’06 Workshop Report.” In <i>MoDELS 2006 Workshops</i>, 4364:101–5. LNCS. Berlin/Heidelberg: Springer, 2007. <a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_13\">http://dx.doi.org/10.1007/978-3-540-69489-2_13</a>.","ama":"Pleuß A, Van den Bergh J, Sauer S, Hußmann H, Bödcher A. Model Driven Development of Advanced User Interfaces (MDDAUI) - MDDAUI’06 Workshop Report. In: <i>MoDELS 2006 Workshops</i>. Vol 4364. LNCS. Berlin/Heidelberg: Springer; 2007:101-105. doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_13\">http://dx.doi.org/10.1007/978-3-540-69489-2_13</a>","mla":"Pleuß, Andreas, et al. “Model Driven Development of Advanced User Interfaces (MDDAUI) - MDDAUI’06 Workshop Report.” <i>MoDELS 2006 Workshops</i>, vol. 4364, Springer, 2007, pp. 101–05, doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_13\">http://dx.doi.org/10.1007/978-3-540-69489-2_13</a>.","short":"A. Pleuß, J. Van den Bergh, S. Sauer, H. Hußmann, A. Bödcher, in: MoDELS 2006 Workshops, Springer, Berlin/Heidelberg, 2007, pp. 101–105.","bibtex":"@inproceedings{Pleuß_Van den Bergh_Sauer_Hußmann_Bödcher_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Model Driven Development of Advanced User Interfaces (MDDAUI) - MDDAUI’06 Workshop Report}, volume={4364}, DOI={<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_13\">http://dx.doi.org/10.1007/978-3-540-69489-2_13</a>}, booktitle={MoDELS 2006 Workshops}, publisher={Springer}, author={Pleuß, Andreas and Van den Bergh, Jan and Sauer, Stefan and Hußmann, Heinrich and Bödcher, Alexander}, year={2007}, pages={101–105}, collection={LNCS} }","apa":"Pleuß, A., Van den Bergh, J., Sauer, S., Hußmann, H., &#38; Bödcher, A. (2007). Model Driven Development of Advanced User Interfaces (MDDAUI) - MDDAUI’06 Workshop Report. In <i>MoDELS 2006 Workshops</i> (Vol. 4364, pp. 101–105). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_13\">http://dx.doi.org/10.1007/978-3-540-69489-2_13</a>"},"year":"2007","place":"Berlin/Heidelberg","doi":"http://dx.doi.org/10.1007/978-3-540-69489-2_13","title":"Model Driven Development of Advanced User Interfaces (MDDAUI) - MDDAUI'06 Workshop Report","volume":4364,"date_created":"2019-02-21T11:56:28Z","author":[{"last_name":"Pleuß","full_name":"Pleuß, Andreas","first_name":"Andreas"},{"first_name":"Jan","last_name":"Van den Bergh","full_name":"Van den Bergh, Jan"},{"id":"447","full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan"},{"last_name":"Hußmann","full_name":"Hußmann, Heinrich","first_name":"Heinrich"},{"first_name":"Alexander","last_name":"Bödcher","full_name":"Bödcher, Alexander"}],"date_updated":"2022-01-06T07:03:48Z","publisher":"Springer","status":"public","publication":"MoDELS 2006 Workshops","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","series_title":"LNCS","_id":"7961"},{"language":[{"iso":"eng"}],"_id":"7962","user_id":"52534","series_title":"LNCS","department":[{"_id":"66"}],"abstract":[{"lang":"eng","text":"GUI builder tools are widely used in practice to develop the user interface of software systems. Typically they are visual programming tools that support direct-manipulative assembling of the user interface components. We have developed the tool GuiBuilder which follows a model-driven approach to the development of graphical (multimedia) user interfaces. This allows a meta-design approach where user interface developers as well as prospective users of the system are supported in modelling the desired functionality of the GUI on a high level of abstraction that is easy to understand for all involved stakeholders. The model consists of compositional presentation diagrams to model the structure of the user interface and hierarchical statechart diagrams to model its behaviour. GuiBuilder then supports the transformation of the model to Java, i.e., the generation of a working user interface and the simulation of the modelled behaviour. Interactive sessions with the user interface can be recorded and replayed."}],"status":"public","type":"conference","publication":"Proceeding of the 4th International Conference on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing (China)","title":"Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder","doi":"http://dx.doi.org/10.1007/978-3-540-73279-2_60","date_updated":"2022-01-06T07:03:48Z","publisher":"Springer","author":[{"first_name":"Stefan","id":"447","full_name":"Sauer, Stefan","last_name":"Sauer"},{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"}],"date_created":"2019-02-21T11:56:29Z","volume":4554,"year":"2007","place":"Berlin/Heidelberg","citation":{"short":"S. Sauer, G. Engels, in: Proceeding of the 4th International Conference on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing (China), Springer, Berlin/Heidelberg, 2007, pp. 537–546.","mla":"Sauer, Stefan, and Gregor Engels. “Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder.” <i>Proceeding of the 4th International Conference on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing (China)</i>, vol. 4554, Springer, 2007, pp. 537–46, doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-73279-2_60\">http://dx.doi.org/10.1007/978-3-540-73279-2_60</a>.","bibtex":"@inproceedings{Sauer_Engels_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder}, volume={4554}, DOI={<a href=\"http://dx.doi.org/10.1007/978-3-540-73279-2_60\">http://dx.doi.org/10.1007/978-3-540-73279-2_60</a>}, booktitle={Proceeding of the 4th International Conference on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing (China)}, publisher={Springer}, author={Sauer, Stefan and Engels, Gregor}, year={2007}, pages={537–546}, collection={LNCS} }","apa":"Sauer, S., &#38; Engels, G. (2007). Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder. In <i>Proceeding of the 4th International Conference on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing (China)</i> (Vol. 4554, pp. 537–546). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/978-3-540-73279-2_60\">http://dx.doi.org/10.1007/978-3-540-73279-2_60</a>","ama":"Sauer S, Engels G. Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder. In: <i>Proceeding of the 4th International Conference on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing (China)</i>. Vol 4554. LNCS. Berlin/Heidelberg: Springer; 2007:537-546. doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-73279-2_60\">http://dx.doi.org/10.1007/978-3-540-73279-2_60</a>","chicago":"Sauer, Stefan, and Gregor Engels. “Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder.” In <i>Proceeding of the 4th International Conference on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing (China)</i>, 4554:537–46. LNCS. Berlin/Heidelberg: Springer, 2007. <a href=\"http://dx.doi.org/10.1007/978-3-540-73279-2_60\">http://dx.doi.org/10.1007/978-3-540-73279-2_60</a>.","ieee":"S. Sauer and G. Engels, “Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder,” in <i>Proceeding of the 4th International Conference on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing (China)</i>, 2007, vol. 4554, pp. 537–546."},"intvolume":"      4554","page":"537-546"},{"citation":{"ieee":"J.-C. Bals, F. Christ, G. Engels, and M. Erwig, “ClassSheets - model-based, object-oriented design of spreadsheet applications,” in <i>Proceedings of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss)</i>, 2007, vol. 6, no. 9, pp. 383–398.","chicago":"Bals, Jan-Christopher, Fabian Christ, Gregor Engels, and Martin Erwig. “ClassSheets - Model-Based, Object-Oriented Design of Spreadsheet Applications.” In <i>Proceedings of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss)</i>, 6:383–98. Journal of Object Technology, 2007. <a href=\"http://www.jot.fm/issues/issue_2007_10/paper19/index.html\">http://www.jot.fm/issues/issue_2007_10/paper19/index.html</a>.","ama":"Bals J-C, Christ F, Engels G, Erwig M. ClassSheets - model-based, object-oriented design of spreadsheet applications. In: <i>Proceedings of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss)</i>. Vol 6. Journal of Object Technology; 2007:383-398. doi:<a href=\"http://www.jot.fm/issues/issue_2007_10/paper19/index.html\">http://www.jot.fm/issues/issue_2007_10/paper19/index.html</a>","apa":"Bals, J.-C., Christ, F., Engels, G., &#38; Erwig, M. (2007). ClassSheets - model-based, object-oriented design of spreadsheet applications. In <i>Proceedings of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss)</i> (Vol. 6, pp. 383–398). Journal of Object Technology. <a href=\"http://www.jot.fm/issues/issue_2007_10/paper19/index.html\">http://www.jot.fm/issues/issue_2007_10/paper19/index.html</a>","bibtex":"@inproceedings{Bals_Christ_Engels_Erwig_2007, title={ClassSheets - model-based, object-oriented design of spreadsheet applications}, volume={6}, DOI={<a href=\"http://www.jot.fm/issues/issue_2007_10/paper19/index.html\">http://www.jot.fm/issues/issue_2007_10/paper19/index.html</a>}, number={9}, booktitle={Proceedings of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss)}, publisher={Journal of Object Technology}, author={Bals, Jan-Christopher and Christ, Fabian and Engels, Gregor and Erwig, Martin}, year={2007}, pages={383–398} }","mla":"Bals, Jan-Christopher, et al. “ClassSheets - Model-Based, Object-Oriented Design of Spreadsheet Applications.” <i>Proceedings of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss)</i>, vol. 6, no. 9, Journal of Object Technology, 2007, pp. 383–98, doi:<a href=\"http://www.jot.fm/issues/issue_2007_10/paper19/index.html\">http://www.jot.fm/issues/issue_2007_10/paper19/index.html</a>.","short":"J.-C. Bals, F. Christ, G. Engels, M. Erwig, in: Proceedings of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss), Journal of Object Technology, 2007, pp. 383–398."},"intvolume":"         6","page":"383-398","year":"2007","issue":"9","doi":"http://www.jot.fm/issues/issue_2007_10/paper19/index.html","title":"ClassSheets - model-based, object-oriented design of spreadsheet applications","author":[{"first_name":"Jan-Christopher","full_name":"Bals, Jan-Christopher","last_name":"Bals"},{"last_name":"Christ","full_name":"Christ, Fabian","first_name":"Fabian"},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"full_name":"Erwig, Martin","last_name":"Erwig","first_name":"Martin"}],"date_created":"2019-02-21T11:56:31Z","volume":6,"publisher":"Journal of Object Technology","date_updated":"2022-01-06T07:03:48Z","status":"public","type":"conference","publication":"Proceedings of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss)","language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"7963"},{"language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"7964","status":"public","type":"conference","publication":"Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007","title":"KnowledgeBus - An Architecture to Support Intelligent and Flexible Knowledge Management","date_created":"2019-02-21T11:56:32Z","author":[{"first_name":"Michael","full_name":"Mlynarski, Michael","last_name":"Mlynarski"},{"full_name":"Hinkelmann, Knut","last_name":"Hinkelmann","first_name":"Knut"},{"first_name":"Johannes","last_name":"Magenheim","full_name":"Magenheim, Johannes"},{"full_name":"Nelkner, Tobias","last_name":"Nelkner","first_name":"Tobias"},{"full_name":"Reinhardt, Wolfgang","last_name":"Reinhardt","first_name":"Wolfgang"},{"first_name":"Kai","last_name":"Holzweissig","full_name":"Holzweissig, Kai"}],"date_updated":"2022-01-06T07:03:48Z","publisher":"Springer","citation":{"bibtex":"@inproceedings{Mlynarski_Hinkelmann_Magenheim_Nelkner_Reinhardt_Holzweissig_2007, place={Berlin/Heidelberg}, title={KnowledgeBus - An Architecture to Support Intelligent and Flexible Knowledge Management}, booktitle={Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007}, publisher={Springer}, author={Mlynarski, Michael and Hinkelmann, Knut and Magenheim, Johannes and Nelkner, Tobias and Reinhardt, Wolfgang and Holzweissig, Kai}, year={2007}, pages={487–492} }","mla":"Mlynarski, Michael, et al. “KnowledgeBus - An Architecture to Support Intelligent and Flexible Knowledge Management.” <i>Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007</i>, Springer, 2007, pp. 487–92.","short":"M. Mlynarski, K. Hinkelmann, J. Magenheim, T. Nelkner, W. Reinhardt, K. Holzweissig, in: Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007, Springer, Berlin/Heidelberg, 2007, pp. 487–492.","apa":"Mlynarski, M., Hinkelmann, K., Magenheim, J., Nelkner, T., Reinhardt, W., &#38; Holzweissig, K. (2007). KnowledgeBus - An Architecture to Support Intelligent and Flexible Knowledge Management. In <i>Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007</i> (pp. 487–492). Berlin/Heidelberg: Springer.","chicago":"Mlynarski, Michael, Knut Hinkelmann, Johannes Magenheim, Tobias Nelkner, Wolfgang Reinhardt, and Kai Holzweissig. “KnowledgeBus - An Architecture to Support Intelligent and Flexible Knowledge Management.” In <i>Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007</i>, 487–92. Berlin/Heidelberg: Springer, 2007.","ieee":"M. Mlynarski, K. Hinkelmann, J. Magenheim, T. Nelkner, W. Reinhardt, and K. Holzweissig, “KnowledgeBus - An Architecture to Support Intelligent and Flexible Knowledge Management,” in <i>Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007</i>, 2007, pp. 487–492.","ama":"Mlynarski M, Hinkelmann K, Magenheim J, Nelkner T, Reinhardt W, Holzweissig K. KnowledgeBus - An Architecture to Support Intelligent and Flexible Knowledge Management. In: <i>Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007</i>. Berlin/Heidelberg: Springer; 2007:487-492."},"page":"487-492","place":"Berlin/Heidelberg","year":"2007"},{"type":"conference","publication":"Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China)","status":"public","_id":"7965","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"place":"Washington, DC, USA","year":"2007","citation":{"short":"A. Förster, G. Engels, T. Schattkowsky, R. Van Der Straeten, in: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China), IEEE Computer Society, Washington, DC, USA, 2007, pp. 197–208.","mla":"Förster, Alexander, et al. “Verification of Business Process Quality Constraints Based on Visual Process Patterns.” <i>Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China)</i>, IEEE Computer Society, 2007, pp. 197–208, doi:<a href=\"http://dx.doi.org/10.1109/TASE.2007.56\">http://dx.doi.org/10.1109/TASE.2007.56</a>.","bibtex":"@inproceedings{Förster_Engels_Schattkowsky_Van Der Straeten_2007, place={Washington, DC, USA}, title={Verification of Business Process Quality Constraints Based on Visual Process Patterns}, DOI={<a href=\"http://dx.doi.org/10.1109/TASE.2007.56\">http://dx.doi.org/10.1109/TASE.2007.56</a>}, booktitle={Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China)}, publisher={IEEE Computer Society}, author={Förster, Alexander and Engels, Gregor and Schattkowsky, Tim and Van Der Straeten, Ragnhild}, year={2007}, pages={197–208} }","apa":"Förster, A., Engels, G., Schattkowsky, T., &#38; Van Der Straeten, R. (2007). Verification of Business Process Quality Constraints Based on Visual Process Patterns. In <i>Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China)</i> (pp. 197–208). Washington, DC, USA: IEEE Computer Society. <a href=\"http://dx.doi.org/10.1109/TASE.2007.56\">http://dx.doi.org/10.1109/TASE.2007.56</a>","ama":"Förster A, Engels G, Schattkowsky T, Van Der Straeten R. Verification of Business Process Quality Constraints Based on Visual Process Patterns. In: <i>Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China)</i>. Washington, DC, USA: IEEE Computer Society; 2007:197-208. doi:<a href=\"http://dx.doi.org/10.1109/TASE.2007.56\">http://dx.doi.org/10.1109/TASE.2007.56</a>","chicago":"Förster, Alexander, Gregor Engels, Tim Schattkowsky, and Ragnhild Van Der Straeten. “Verification of Business Process Quality Constraints Based on Visual Process Patterns.” In <i>Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China)</i>, 197–208. Washington, DC, USA: IEEE Computer Society, 2007. <a href=\"http://dx.doi.org/10.1109/TASE.2007.56\">http://dx.doi.org/10.1109/TASE.2007.56</a>.","ieee":"A. Förster, G. Engels, T. Schattkowsky, and R. Van Der Straeten, “Verification of Business Process Quality Constraints Based on Visual Process Patterns,” in <i>Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China)</i>, 2007, pp. 197–208."},"page":"197-208","date_updated":"2022-01-06T07:03:48Z","publisher":"IEEE Computer Society","date_created":"2019-02-21T11:56:33Z","author":[{"last_name":"Förster","full_name":"Förster, Alexander","first_name":"Alexander"},{"first_name":"Gregor","id":"107","full_name":"Engels, Gregor","last_name":"Engels"},{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"first_name":"Ragnhild","last_name":"Van Der Straeten","full_name":"Van Der Straeten, Ragnhild"}],"title":"Verification of Business Process Quality Constraints Based on Visual Process Patterns","doi":"http://dx.doi.org/10.1109/TASE.2007.56"},{"user_id":"52534","department":[{"_id":"66"}],"_id":"7966","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007)","status":"public","author":[{"first_name":"Andreas","last_name":"Hess","full_name":"Hess, Andreas"},{"first_name":"Bernhard","full_name":"Humm, Bernhard","last_name":"Humm"},{"first_name":"Markus","full_name":"Voß, Markus","last_name":"Voß"},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"}],"date_created":"2019-02-21T11:56:34Z","date_updated":"2022-01-06T07:03:48Z","publisher":"IEEE Computer Society","title":"Structuring Software Cities - A Multidimensional Approach","citation":{"chicago":"Hess, Andreas, Bernhard Humm, Markus Voß, and Gregor Engels. “Structuring Software Cities - A Multidimensional Approach.” In <i>Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007)</i>, 122–29. Washington, DC, USA: IEEE Computer Society, 2007.","ieee":"A. Hess, B. Humm, M. Voß, and G. Engels, “Structuring Software Cities - A Multidimensional Approach,” in <i>Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007)</i>, 2007, pp. 122–129.","ama":"Hess A, Humm B, Voß M, Engels G. Structuring Software Cities - A Multidimensional Approach. In: <i>Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007)</i>. Washington, DC, USA: IEEE Computer Society; 2007:122-129.","apa":"Hess, A., Humm, B., Voß, M., &#38; Engels, G. (2007). Structuring Software Cities - A Multidimensional Approach. In <i>Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007)</i> (pp. 122–129). Washington, DC, USA: IEEE Computer Society.","short":"A. Hess, B. Humm, M. Voß, G. Engels, in: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), IEEE Computer Society, Washington, DC, USA, 2007, pp. 122–129.","mla":"Hess, Andreas, et al. “Structuring Software Cities - A Multidimensional Approach.” <i>Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007)</i>, IEEE Computer Society, 2007, pp. 122–29.","bibtex":"@inproceedings{Hess_Humm_Voß_Engels_2007, place={Washington, DC, USA}, title={Structuring Software Cities - A Multidimensional Approach}, booktitle={Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007)}, publisher={IEEE Computer Society}, author={Hess, Andreas and Humm, Bernhard and Voß, Markus and Engels, Gregor}, year={2007}, pages={122–129} }"},"page":"122-129","place":"Washington, DC, USA","year":"2007"},{"language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"7967","status":"public","type":"conference","publication":"Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn","title":"Vom Informations- zum Wissensmanagement: Der Knowledge Bus als flexibler Lösungsansatz","date_created":"2019-02-21T11:56:35Z","author":[{"full_name":"Mlynarski, Michael","last_name":"Mlynarski","first_name":"Michael"},{"last_name":"Nelkner","full_name":"Nelkner, Tobias","first_name":"Tobias"},{"first_name":"Wolfgang","full_name":"Reinhardt, Wolfgang","last_name":"Reinhardt"}],"date_updated":"2022-01-06T07:03:48Z","citation":{"bibtex":"@inproceedings{Mlynarski_Nelkner_Reinhardt_2007, title={Vom Informations- zum Wissensmanagement: Der Knowledge Bus als flexibler Lösungsansatz}, booktitle={Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn}, author={Mlynarski, Michael and Nelkner, Tobias and Reinhardt, Wolfgang}, year={2007}, pages={99–102} }","mla":"Mlynarski, Michael, et al. “Vom Informations- Zum Wissensmanagement: Der Knowledge Bus Als Flexibler Lösungsansatz.” <i>Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. Und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn</i>, 2007, pp. 99–102.","short":"M. Mlynarski, T. Nelkner, W. Reinhardt, in: Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. Und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn, 2007, pp. 99–102.","apa":"Mlynarski, M., Nelkner, T., &#38; Reinhardt, W. (2007). Vom Informations- zum Wissensmanagement: Der Knowledge Bus als flexibler Lösungsansatz. In <i>Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn</i> (pp. 99–102).","ama":"Mlynarski M, Nelkner T, Reinhardt W. Vom Informations- zum Wissensmanagement: Der Knowledge Bus als flexibler Lösungsansatz. In: <i>Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. Und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn</i>. ; 2007:99-102.","ieee":"M. Mlynarski, T. Nelkner, and W. Reinhardt, “Vom Informations- zum Wissensmanagement: Der Knowledge Bus als flexibler Lösungsansatz,” in <i>Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn</i>, 2007, pp. 99–102.","chicago":"Mlynarski, Michael, Tobias Nelkner, and Wolfgang Reinhardt. “Vom Informations- Zum Wissensmanagement: Der Knowledge Bus Als Flexibler Lösungsansatz.” In <i>Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. Und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn</i>, 99–102, 2007."},"page":"99-102","year":"2007"},{"status":"public","type":"conference","publication":"Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA)","language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"7968","citation":{"apa":"Küster, J., Ryndina, K., &#38; Gall, H. (2007). Improving Inconsistency Resolution with Side-effect Evaluation and Costs. In <i>Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA)</i> (Vol. 4735, pp. 136–150). Berlin/Heidelberg: Springer. <a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10\">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10</a>","short":"J. Küster, K. Ryndina, H. Gall, in: Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA), Springer, Berlin/Heidelberg, 2007, pp. 136–150.","mla":"Küster, Jochen, et al. “Improving Inconsistency Resolution with Side-Effect Evaluation and Costs.” <i>Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA)</i>, vol. 4735, Springer, 2007, pp. 136–50, doi:<a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10\">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10</a>.","bibtex":"@inproceedings{Küster_Ryndina_Gall_2007, place={Berlin/Heidelberg}, title={Improving Inconsistency Resolution with Side-effect Evaluation and Costs}, volume={4735}, DOI={<a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10\">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10</a>}, booktitle={Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA)}, publisher={Springer}, author={Küster, Jochen and Ryndina, Ksenia and Gall, Harald}, year={2007}, pages={136–150} }","ama":"Küster J, Ryndina K, Gall H. Improving Inconsistency Resolution with Side-effect Evaluation and Costs. In: <i>Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA)</i>. Vol 4735. Berlin/Heidelberg: Springer; 2007:136-150. doi:<a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10\">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10</a>","chicago":"Küster, Jochen, Ksenia Ryndina, and Harald Gall. “Improving Inconsistency Resolution with Side-Effect Evaluation and Costs.” In <i>Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA)</i>, 4735:136–50. Berlin/Heidelberg: Springer, 2007. <a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10\">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10</a>.","ieee":"J. Küster, K. Ryndina, and H. Gall, “Improving Inconsistency Resolution with Side-effect Evaluation and Costs,” in <i>Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA)</i>, 2007, vol. 4735, pp. 136–150."},"intvolume":"      4735","page":"136-150","year":"2007","place":"Berlin/Heidelberg","doi":"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10","title":"Improving Inconsistency Resolution with Side-effect Evaluation and Costs","date_created":"2019-02-21T11:56:36Z","author":[{"first_name":"Jochen","last_name":"Küster","full_name":"Küster, Jochen"},{"first_name":"Ksenia","full_name":"Ryndina, Ksenia","last_name":"Ryndina"},{"last_name":"Gall","full_name":"Gall, Harald","first_name":"Harald"}],"volume":4735,"publisher":"Springer","date_updated":"2022-01-06T07:03:48Z"},{"page":"165-181","citation":{"bibtex":"@inproceedings{Ryndina_Küster_Gall_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Generation of Business Process Models for Object Life Cycle Compliance}, volume={4714/2007}, DOI={<a href=\"http://dx.doi.org/10.1007/978-3-540-75183-0\">http://dx.doi.org/10.1007/978-3-540-75183-0</a>}, booktitle={Proceedings of the BPM Demonstration Program (satellite event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia)}, publisher={Springer}, author={Ryndina, Ksenia and Küster, Jochen and Gall, Harald}, year={2007}, pages={165–181}, collection={LNCS} }","mla":"Ryndina, Ksenia, et al. “Generation of Business Process Models for Object Life Cycle Compliance.” <i>Proceedings of the BPM Demonstration Program (Satellite Event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia)</i>, vol. 4714/2007, Springer, 2007, pp. 165–81, doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-75183-0\">http://dx.doi.org/10.1007/978-3-540-75183-0</a>.","short":"K. Ryndina, J. Küster, H. Gall, in: Proceedings of the BPM Demonstration Program (Satellite Event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia), Springer, Berlin/Heidelberg, 2007, pp. 165–181.","apa":"Ryndina, K., Küster, J., &#38; Gall, H. (2007). Generation of Business Process Models for Object Life Cycle Compliance. In <i>Proceedings of the BPM Demonstration Program (satellite event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia)</i> (Vol. 4714/2007, pp. 165–181). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/978-3-540-75183-0\">http://dx.doi.org/10.1007/978-3-540-75183-0</a>","chicago":"Ryndina, Ksenia, Jochen Küster, and Harald Gall. “Generation of Business Process Models for Object Life Cycle Compliance.” In <i>Proceedings of the BPM Demonstration Program (Satellite Event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia)</i>, 4714/2007:165–81. LNCS. Berlin/Heidelberg: Springer, 2007. <a href=\"http://dx.doi.org/10.1007/978-3-540-75183-0\">http://dx.doi.org/10.1007/978-3-540-75183-0</a>.","ieee":"K. Ryndina, J. Küster, and H. Gall, “Generation of Business Process Models for Object Life Cycle Compliance,” in <i>Proceedings of the BPM Demonstration Program (satellite event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia)</i>, 2007, vol. 4714/2007, pp. 165–181.","ama":"Ryndina K, Küster J, Gall H. Generation of Business Process Models for Object Life Cycle Compliance. In: <i>Proceedings of the BPM Demonstration Program (Satellite Event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia)</i>. Vol 4714/2007. LNCS. Berlin/Heidelberg: Springer; 2007:165-181. doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-75183-0\">http://dx.doi.org/10.1007/978-3-540-75183-0</a>"},"year":"2007","place":"Berlin/Heidelberg","doi":"http://dx.doi.org/10.1007/978-3-540-75183-0","title":"Generation of Business Process Models for Object Life Cycle Compliance","volume":"4714/2007","author":[{"first_name":"Ksenia","full_name":"Ryndina, Ksenia","last_name":"Ryndina"},{"first_name":"Jochen","full_name":"Küster, Jochen","last_name":"Küster"},{"last_name":"Gall","full_name":"Gall, Harald","first_name":"Harald"}],"date_created":"2019-02-21T11:56:38Z","publisher":"Springer","date_updated":"2022-01-06T07:03:48Z","status":"public","publication":"Proceedings of the BPM Demonstration Program (satellite event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia)","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"series_title":"LNCS","user_id":"52534","_id":"7969"},{"department":[{"_id":"66"},{"_id":"600"},{"_id":"63"}],"user_id":"15415","_id":"7970","language":[{"iso":"eng"}],"publication":"Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment","type":"conference","status":"public","abstract":[{"text":"We consider the problem of exploring an unknown environment using a swarm of autonomous robots with collective behavior emerging from their local rules. Each robot has only a very restricted view on the environment which makes cooperation difficult. We introduce a software system which is capable of simulating a large number of such robots (e.g. 1000) on highly complex terrains with millions of obstacles. Its main purpose is to easily integrate and evaluate any kind of algorithm for controlling the robot behavior. The simulation may be observed in real-time via a visualization that displays both the individual and the collective progress of the robots. We present the system design, its main features and underlying concepts.","lang":"eng"}],"date_created":"2019-02-21T11:56:39Z","author":[{"full_name":"Arens, Stephan","last_name":"Arens","first_name":"Stephan"},{"first_name":"Alexander","full_name":"Buss, Alexander","last_name":"Buss"},{"first_name":"Helena","full_name":"Deck, Helena","last_name":"Deck"},{"first_name":"Miroslaw","full_name":"Dynia, Miroslaw","last_name":"Dynia"},{"last_name":"Fischer","id":"146","full_name":"Fischer, Matthias","first_name":"Matthias"},{"first_name":"Holger","full_name":"Hagedorn, Holger","last_name":"Hagedorn"},{"last_name":"Isaak","full_name":"Isaak, Peter","first_name":"Peter"},{"first_name":"Jaroslaw","last_name":"Kutylowski","full_name":"Kutylowski, Jaroslaw"},{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm"},{"first_name":"Viktor","full_name":"Nesterow, Viktor","last_name":"Nesterow"},{"full_name":"Ogiermann, Adrian","last_name":"Ogiermann","first_name":"Adrian"},{"last_name":"Stobbe","full_name":"Stobbe, Boris","first_name":"Boris"},{"full_name":"Storm, Thomas","last_name":"Storm","first_name":"Thomas"},{"full_name":"Wachsmuth, Henning","id":"3900","last_name":"Wachsmuth","first_name":"Henning"}],"date_updated":"2022-01-06T07:03:48Z","publisher":"Heinz Nixdorf Institut, University of Paderborn","main_file_link":[{"url":"https://webis.de/downloads/publications/papers/arens_2007.pdf"}],"title":"Smart Teams: Simulating Large Robotic Swarms in Vast Environments","page":"215-222","citation":{"bibtex":"@inproceedings{Arens_Buss_Deck_Dynia_Fischer_Hagedorn_Isaak_Kutylowski_Meyer auf der Heide_Nesterow_et al._2007, place={Buenos Aires, Argentina}, title={Smart Teams: Simulating Large Robotic Swarms in Vast Environments}, booktitle={Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment}, publisher={Heinz Nixdorf Institut, University of Paderborn}, author={Arens, Stephan and Buss, Alexander and Deck, Helena and Dynia, Miroslaw and Fischer, Matthias and Hagedorn, Holger and Isaak, Peter and Kutylowski, Jaroslaw and Meyer auf der Heide, Friedhelm and Nesterow, Viktor and et al.}, year={2007}, pages={215–222} }","short":"S. Arens, A. Buss, H. Deck, M. Dynia, M. Fischer, H. Hagedorn, P. Isaak, J. Kutylowski, F. Meyer auf der Heide, V. Nesterow, A. Ogiermann, B. Stobbe, T. Storm, H. Wachsmuth, in: Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment, Heinz Nixdorf Institut, University of Paderborn, Buenos Aires, Argentina, 2007, pp. 215–222.","mla":"Arens, Stephan, et al. “Smart Teams: Simulating Large Robotic Swarms in Vast Environments.” <i>Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment</i>, Heinz Nixdorf Institut, University of Paderborn, 2007, pp. 215–22.","apa":"Arens, S., Buss, A., Deck, H., Dynia, M., Fischer, M., Hagedorn, H., … Wachsmuth, H. (2007). Smart Teams: Simulating Large Robotic Swarms in Vast Environments. In <i>Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment</i> (pp. 215–222). Buenos Aires, Argentina: Heinz Nixdorf Institut, University of Paderborn.","ieee":"S. Arens <i>et al.</i>, “Smart Teams: Simulating Large Robotic Swarms in Vast Environments,” in <i>Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment</i>, 2007, pp. 215–222.","chicago":"Arens, Stephan, Alexander Buss, Helena Deck, Miroslaw Dynia, Matthias Fischer, Holger Hagedorn, Peter Isaak, et al. “Smart Teams: Simulating Large Robotic Swarms in Vast Environments.” In <i>Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment</i>, 215–22. Buenos Aires, Argentina: Heinz Nixdorf Institut, University of Paderborn, 2007.","ama":"Arens S, Buss A, Deck H, et al. Smart Teams: Simulating Large Robotic Swarms in Vast Environments. In: <i>Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment</i>. Buenos Aires, Argentina: Heinz Nixdorf Institut, University of Paderborn; 2007:215-222."},"place":"Buenos Aires, Argentina","year":"2007"},{"year":"2007","place":"Berlin/Heidelberg","page":"15-32","citation":{"ama":"Zimmermann O, Gschwind T, Küster J, Leymann F, Schuster N. Reusable Architectural Decision Models for Enterprise Application Development. In: <i>Proceedings the Conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA)</i>. Berlin/Heidelberg: Springer; 2007:15-32. doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-77619-2_2\">http://dx.doi.org/10.1007/978-3-540-77619-2_2</a>","ieee":"O. Zimmermann, T. Gschwind, J. Küster, F. Leymann, and N. Schuster, “Reusable Architectural Decision Models for Enterprise Application Development,” in <i>Proceedings the conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA)</i>, 2007, pp. 15–32.","chicago":"Zimmermann, Olaf, Thomas Gschwind, Jochen Küster, Frank Leymann, and Nelly Schuster. “Reusable Architectural Decision Models for Enterprise Application Development.” In <i>Proceedings the Conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA)</i>, 15–32. Berlin/Heidelberg: Springer, 2007. <a href=\"http://dx.doi.org/10.1007/978-3-540-77619-2_2\">http://dx.doi.org/10.1007/978-3-540-77619-2_2</a>.","apa":"Zimmermann, O., Gschwind, T., Küster, J., Leymann, F., &#38; Schuster, N. (2007). Reusable Architectural Decision Models for Enterprise Application Development. In <i>Proceedings the conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA)</i> (pp. 15–32). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/978-3-540-77619-2_2\">http://dx.doi.org/10.1007/978-3-540-77619-2_2</a>","mla":"Zimmermann, Olaf, et al. “Reusable Architectural Decision Models for Enterprise Application Development.” <i>Proceedings the Conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA)</i>, Springer, 2007, pp. 15–32, doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-77619-2_2\">http://dx.doi.org/10.1007/978-3-540-77619-2_2</a>.","bibtex":"@inproceedings{Zimmermann_Gschwind_Küster_Leymann_Schuster_2007, place={Berlin/Heidelberg}, title={Reusable Architectural Decision Models for Enterprise Application Development}, DOI={<a href=\"http://dx.doi.org/10.1007/978-3-540-77619-2_2\">http://dx.doi.org/10.1007/978-3-540-77619-2_2</a>}, booktitle={Proceedings the conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA)}, publisher={Springer}, author={Zimmermann, Olaf and Gschwind, Thomas and Küster, Jochen and Leymann, Frank and Schuster, Nelly}, year={2007}, pages={15–32} }","short":"O. Zimmermann, T. Gschwind, J. Küster, F. Leymann, N. Schuster, in: Proceedings the Conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA), Springer, Berlin/Heidelberg, 2007, pp. 15–32."},"title":"Reusable Architectural Decision Models for Enterprise Application Development","doi":"http://dx.doi.org/10.1007/978-3-540-77619-2_2","publisher":"Springer","date_updated":"2022-01-06T07:03:48Z","author":[{"first_name":"Olaf","last_name":"Zimmermann","full_name":"Zimmermann, Olaf"},{"full_name":"Gschwind, Thomas","last_name":"Gschwind","first_name":"Thomas"},{"last_name":"Küster","full_name":"Küster, Jochen","first_name":"Jochen"},{"first_name":"Frank","full_name":"Leymann, Frank","last_name":"Leymann"},{"last_name":"Schuster","full_name":"Schuster, Nelly","first_name":"Nelly"}],"date_created":"2019-02-21T11:56:40Z","status":"public","publication":"Proceedings the conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA)","type":"conference","language":[{"iso":"eng"}],"_id":"7971","department":[{"_id":"66"}],"user_id":"52534"},{"citation":{"ama":"Gehrke M, Güldali B, Kindler E. <i>“Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität</i>. University of Paderborn, s-lab; 2007.","ieee":"M. Gehrke, B. Güldali, and E. Kindler, <i>“Modelchecking” - Eine Methode zur Verbesserung der Softwarequalität</i>. University of Paderborn, s-lab, 2007.","chicago":"Gehrke, Matthias, Baris Güldali, and Ekkart Kindler. <i>“Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität</i>. University of Paderborn, s-lab, 2007.","mla":"Gehrke, Matthias, et al. <i>“Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität</i>. University of Paderborn, s-lab, 2007.","bibtex":"@book{Gehrke_Güldali_Kindler_2007, title={“Modelchecking” - Eine Methode zur Verbesserung der Softwarequalität}, publisher={University of Paderborn, s-lab}, author={Gehrke, Matthias and Güldali, Baris and Kindler, Ekkart}, year={2007} }","short":"M. Gehrke, B. Güldali, E. Kindler, “Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität, University of Paderborn, s-lab, 2007.","apa":"Gehrke, M., Güldali, B., &#38; Kindler, E. (2007). <i>“Modelchecking” - Eine Methode zur Verbesserung der Softwarequalität</i>. University of Paderborn, s-lab."},"year":"2007","author":[{"first_name":"Matthias","full_name":"Gehrke, Matthias","last_name":"Gehrke"},{"last_name":"Güldali","full_name":"Güldali, Baris","first_name":"Baris"},{"full_name":"Kindler, Ekkart","last_name":"Kindler","first_name":"Ekkart"}],"date_created":"2019-03-03T16:13:15Z","publisher":"University of Paderborn, s-lab","date_updated":"2022-01-06T07:03:52Z","title":"\"Modelchecking\" - Eine Methode zur Verbesserung der Softwarequalität","report_number":"2","type":"report","status":"public","department":[{"_id":"66"}],"user_id":"52534","_id":"8216","language":[{"iso":"eng"}]},{"year":"2007","page":"319--339","citation":{"ama":"Festag A, Karl H, Wolisz A. Investigation of multicast-based mobility support in all-IP cellular networks. <i>Wireless Communications and Mobile Computing</i>. 2007;(3):319--339. doi:<a href=\"https://doi.org/10.1002/wcm.328\">10.1002/wcm.328</a>","ieee":"A. Festag, H. Karl, and A. Wolisz, “Investigation of multicast-based mobility support in all-IP cellular networks,” <i>Wireless Communications and Mobile Computing</i>, no. 3, pp. 319--339, 2007.","chicago":"Festag, Andreas, Holger Karl, and Adam Wolisz. “Investigation of Multicast-Based Mobility Support in All-IP Cellular Networks.” <i>Wireless Communications and Mobile Computing</i>, no. 3 (2007): 319--339. <a href=\"https://doi.org/10.1002/wcm.328\">https://doi.org/10.1002/wcm.328</a>.","short":"A. Festag, H. Karl, A. Wolisz, Wireless Communications and Mobile Computing (2007) 319--339.","mla":"Festag, Andreas, et al. “Investigation of Multicast-Based Mobility Support in All-IP Cellular Networks.” <i>Wireless Communications and Mobile Computing</i>, no. 3, 2007, pp. 319--339, doi:<a href=\"https://doi.org/10.1002/wcm.328\">10.1002/wcm.328</a>.","bibtex":"@article{Festag_Karl_Wolisz_2007, title={Investigation of multicast-based mobility support in all-IP cellular networks}, DOI={<a href=\"https://doi.org/10.1002/wcm.328\">10.1002/wcm.328</a>}, number={3}, journal={Wireless Communications and Mobile Computing}, author={Festag, Andreas and Karl, Holger and Wolisz, Adam}, year={2007}, pages={319--339} }","apa":"Festag, A., Karl, H., &#38; Wolisz, A. (2007). Investigation of multicast-based mobility support in all-IP cellular networks. <i>Wireless Communications and Mobile Computing</i>, (3), 319--339. <a href=\"https://doi.org/10.1002/wcm.328\">https://doi.org/10.1002/wcm.328</a>"},"issue":"3","title":"Investigation of multicast-based mobility support in all-IP cellular networks","doi":"10.1002/wcm.328","date_updated":"2022-01-06T07:03:53Z","date_created":"2017-11-27T10:22:27Z","author":[{"full_name":"Festag, Andreas","last_name":"Festag","first_name":"Andreas"},{"full_name":"Karl, Holger","id":"126","last_name":"Karl","first_name":"Holger"},{"last_name":"Wolisz","full_name":"Wolisz, Adam","first_name":"Adam"}],"status":"public","publication":"Wireless Communications and Mobile Computing","type":"journal_article","_id":"830","department":[{"_id":"75"}],"user_id":"15572"},{"status":"public","publication":"Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers","type":"conference","department":[{"_id":"75"}],"user_id":"15572","_id":"831","page":"426--429","citation":{"ama":"van der Stok P, Karl H, De Ambroggi F, et al. WASP - Wirelessly Accessible Sensor Populations: A Project Overview. In: <i>Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers</i>. ; 2007:426--429. doi:<a href=\"https://doi.org/10.1007/978-3-540-85379-4_49\">10.1007/978-3-540-85379-4_49</a>","ieee":"P. van der Stok <i>et al.</i>, “WASP - Wirelessly Accessible Sensor Populations: A Project Overview,” in <i>Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers</i>, 2007, pp. 426--429.","chicago":"Stok, Peter van der, Holger Karl, Fabio De Ambroggi, JeanDominique Decotignie, Frank Siegemund, Kees Lokhorst, and Michael Hellenschmidt. “WASP - Wirelessly Accessible Sensor Populations: A Project Overview.” In <i>Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers</i>, 426--429, 2007. <a href=\"https://doi.org/10.1007/978-3-540-85379-4_49\">https://doi.org/10.1007/978-3-540-85379-4_49</a>.","apa":"van der Stok, P., Karl, H., De Ambroggi, F., Decotignie, J., Siegemund, F., Lokhorst, K., &#38; Hellenschmidt, M. (2007). WASP - Wirelessly Accessible Sensor Populations: A Project Overview. In <i>Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers</i> (pp. 426--429). <a href=\"https://doi.org/10.1007/978-3-540-85379-4_49\">https://doi.org/10.1007/978-3-540-85379-4_49</a>","short":"P. van der Stok, H. Karl, F. De Ambroggi, J. Decotignie, F. Siegemund, K. Lokhorst, M. Hellenschmidt, in: Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers, 2007, pp. 426--429.","bibtex":"@inproceedings{van der Stok_Karl_De Ambroggi_Decotignie_Siegemund_Lokhorst_Hellenschmidt_2007, title={WASP - Wirelessly Accessible Sensor Populations: A Project Overview}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-85379-4_49\">10.1007/978-3-540-85379-4_49</a>}, booktitle={Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers}, author={van der Stok, Peter and Karl, Holger and De Ambroggi, Fabio and Decotignie, JeanDominique and Siegemund, Frank and Lokhorst, Kees and Hellenschmidt, Michael}, year={2007}, pages={426--429} }","mla":"van der Stok, Peter, et al. “WASP - Wirelessly Accessible Sensor Populations: A Project Overview.” <i>Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers</i>, 2007, pp. 426--429, doi:<a href=\"https://doi.org/10.1007/978-3-540-85379-4_49\">10.1007/978-3-540-85379-4_49</a>."},"year":"2007","doi":"10.1007/978-3-540-85379-4_49","title":"WASP - Wirelessly Accessible Sensor Populations: A Project Overview","date_created":"2017-11-27T10:22:27Z","author":[{"last_name":"van der Stok","full_name":"van der Stok, Peter","first_name":"Peter"},{"last_name":"Karl","id":"126","full_name":"Karl, Holger","first_name":"Holger"},{"full_name":"De Ambroggi, Fabio","last_name":"De Ambroggi","first_name":"Fabio"},{"full_name":"Decotignie, JeanDominique","last_name":"Decotignie","first_name":"JeanDominique"},{"first_name":"Frank","full_name":"Siegemund, Frank","last_name":"Siegemund"},{"last_name":"Lokhorst","full_name":"Lokhorst, Kees","first_name":"Kees"},{"first_name":"Michael","last_name":"Hellenschmidt","full_name":"Hellenschmidt, Michael"}],"date_updated":"2022-01-06T07:03:53Z"},{"_id":"832","user_id":"15572","department":[{"_id":"75"}],"status":"public","type":"conference","publication":"Proceedings of the 10th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2007, Chania, Crete Island, Greece, October 22-26, 2007","title":"Outage probability analysis of cooperative transmission protocols without and with network coding: inter-user channels based comparison","doi":"10.1145/1298126.1298136","date_updated":"2022-01-06T07:03:53Z","date_created":"2017-11-27T10:22:27Z","author":[{"last_name":"H. Woldegebreal","full_name":"H. Woldegebreal, Dereje","first_name":"Dereje"},{"full_name":"Valentin, Stefan","last_name":"Valentin","first_name":"Stefan"},{"id":"126","full_name":"Karl, Holger","last_name":"Karl","first_name":"Holger"}],"year":"2007","citation":{"ieee":"D. H. Woldegebreal, S. Valentin, and H. Karl, “Outage probability analysis of cooperative transmission protocols without and with network coding: inter-user channels based comparison,” in <i>Proceedings of the 10th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2007, Chania, Crete Island, Greece, October 22-26, 2007</i>, 2007, pp. 36--44.","chicago":"H. Woldegebreal, Dereje, Stefan Valentin, and Holger Karl. “Outage Probability Analysis of Cooperative Transmission Protocols without and with Network Coding: Inter-User Channels Based Comparison.” In <i>Proceedings of the 10th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2007, Chania, Crete Island, Greece, October 22-26, 2007</i>, 36--44, 2007. <a href=\"https://doi.org/10.1145/1298126.1298136\">https://doi.org/10.1145/1298126.1298136</a>.","ama":"H. Woldegebreal D, Valentin S, Karl H. Outage probability analysis of cooperative transmission protocols without and with network coding: inter-user channels based comparison. In: <i>Proceedings of the 10th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2007, Chania, Crete Island, Greece, October 22-26, 2007</i>. ; 2007:36--44. doi:<a href=\"https://doi.org/10.1145/1298126.1298136\">10.1145/1298126.1298136</a>","short":"D. H. Woldegebreal, S. Valentin, H. Karl, in: Proceedings of the 10th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2007, Chania, Crete Island, Greece, October 22-26, 2007, 2007, pp. 36--44.","bibtex":"@inproceedings{H. Woldegebreal_Valentin_Karl_2007, title={Outage probability analysis of cooperative transmission protocols without and with network coding: inter-user channels based comparison}, DOI={<a href=\"https://doi.org/10.1145/1298126.1298136\">10.1145/1298126.1298136</a>}, booktitle={Proceedings of the 10th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2007, Chania, Crete Island, Greece, October 22-26, 2007}, author={H. Woldegebreal, Dereje and Valentin, Stefan and Karl, Holger}, year={2007}, pages={36--44} }","mla":"H. Woldegebreal, Dereje, et al. “Outage Probability Analysis of Cooperative Transmission Protocols without and with Network Coding: Inter-User Channels Based Comparison.” <i>Proceedings of the 10th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2007, Chania, Crete Island, Greece, October 22-26, 2007</i>, 2007, pp. 36--44, doi:<a href=\"https://doi.org/10.1145/1298126.1298136\">10.1145/1298126.1298136</a>.","apa":"H. Woldegebreal, D., Valentin, S., &#38; Karl, H. (2007). Outage probability analysis of cooperative transmission protocols without and with network coding: inter-user channels based comparison. In <i>Proceedings of the 10th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2007, Chania, Crete Island, Greece, October 22-26, 2007</i> (pp. 36--44). <a href=\"https://doi.org/10.1145/1298126.1298136\">https://doi.org/10.1145/1298126.1298136</a>"},"page":"36--44"},{"citation":{"chicago":"Valentin, Stefan, Holger von Malm, and Holger Karl. “Traffic-Aware Asymmetric Cooperation Diversity for Media Streaming in Wireless Networks.” In <i>Proceedings of the IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2007, 3-7 September 2007, Athens, Greece</i>, 1--6, 2007. <a href=\"https://doi.org/10.1109/PIMRC.2007.4394223\">https://doi.org/10.1109/PIMRC.2007.4394223</a>.","ieee":"S. Valentin, H. von Malm, and H. Karl, “Traffic-Aware Asymmetric Cooperation Diversity for Media Streaming in Wireless Networks,” in <i>Proceedings of the IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2007, 3-7 September 2007, Athens, Greece</i>, 2007, pp. 1--6.","ama":"Valentin S, von Malm H, Karl H. Traffic-Aware Asymmetric Cooperation Diversity for Media Streaming in Wireless Networks. In: <i>Proceedings of the IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2007, 3-7 September 2007, Athens, Greece</i>. ; 2007:1--6. doi:<a href=\"https://doi.org/10.1109/PIMRC.2007.4394223\">10.1109/PIMRC.2007.4394223</a>","short":"S. Valentin, H. von Malm, H. Karl, in: Proceedings of the IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2007, 3-7 September 2007, Athens, Greece, 2007, pp. 1--6.","bibtex":"@inproceedings{Valentin_von Malm_Karl_2007, title={Traffic-Aware Asymmetric Cooperation Diversity for Media Streaming in Wireless Networks}, DOI={<a href=\"https://doi.org/10.1109/PIMRC.2007.4394223\">10.1109/PIMRC.2007.4394223</a>}, booktitle={Proceedings of the IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2007, 3-7 September 2007, Athens, Greece}, author={Valentin, Stefan and von Malm, Holger and Karl, Holger}, year={2007}, pages={1--6} }","mla":"Valentin, Stefan, et al. “Traffic-Aware Asymmetric Cooperation Diversity for Media Streaming in Wireless Networks.” <i>Proceedings of the IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2007, 3-7 September 2007, Athens, Greece</i>, 2007, pp. 1--6, doi:<a href=\"https://doi.org/10.1109/PIMRC.2007.4394223\">10.1109/PIMRC.2007.4394223</a>.","apa":"Valentin, S., von Malm, H., &#38; Karl, H. (2007). Traffic-Aware Asymmetric Cooperation Diversity for Media Streaming in Wireless Networks. In <i>Proceedings of the IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2007, 3-7 September 2007, Athens, Greece</i> (pp. 1--6). <a href=\"https://doi.org/10.1109/PIMRC.2007.4394223\">https://doi.org/10.1109/PIMRC.2007.4394223</a>"},"page":"1--6","year":"2007","date_created":"2017-11-27T10:22:27Z","author":[{"first_name":"Stefan","full_name":"Valentin, Stefan","last_name":"Valentin"},{"first_name":"Holger","last_name":"von Malm","full_name":"von Malm, Holger"},{"last_name":"Karl","id":"126","full_name":"Karl, Holger","first_name":"Holger"}],"date_updated":"2022-01-06T07:03:53Z","doi":"10.1109/PIMRC.2007.4394223","title":"Traffic-Aware Asymmetric Cooperation Diversity for Media Streaming in Wireless Networks","type":"conference","publication":"Proceedings of the IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2007, 3-7 September 2007, Athens, Greece","status":"public","user_id":"15572","department":[{"_id":"75"}],"_id":"833"},{"page":"1--9","citation":{"mla":"S. Lichte, Hermann, et al. “Integrating Multiuser Dynamic OFDMA into IEEE 802.11a and Prototyping It on a Real-Time Software-Defined Radio Testbed.” <i>3rd International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2007, Orlando, Florida, USA, May 21-23 2007</i>, 2007, pp. 1--9, doi:<a href=\"https://doi.org/10.1109/TRIDENTCOM.2007.4444671\">10.1109/TRIDENTCOM.2007.4444671</a>.","bibtex":"@inproceedings{S. Lichte_Valentin_Eitzen_Stege_Unger_Karl_2007, title={Integrating multiuser dynamic OFDMA into IEEE 802.11a and prototyping it on a real-time software-defined radio testbed}, DOI={<a href=\"https://doi.org/10.1109/TRIDENTCOM.2007.4444671\">10.1109/TRIDENTCOM.2007.4444671</a>}, booktitle={3rd International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2007, Orlando, Florida, USA, May 21-23 2007}, author={S. Lichte, Hermann and Valentin, Stefan and Eitzen, Falk and Stege, Matthias and Unger, Carsten and Karl, Holger}, year={2007}, pages={1--9} }","short":"H. S. Lichte, S. Valentin, F. Eitzen, M. Stege, C. Unger, H. Karl, in: 3rd International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2007, Orlando, Florida, USA, May 21-23 2007, 2007, pp. 1--9.","apa":"S. Lichte, H., Valentin, S., Eitzen, F., Stege, M., Unger, C., &#38; Karl, H. (2007). Integrating multiuser dynamic OFDMA into IEEE 802.11a and prototyping it on a real-time software-defined radio testbed. In <i>3rd International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2007, Orlando, Florida, USA, May 21-23 2007</i> (pp. 1--9). <a href=\"https://doi.org/10.1109/TRIDENTCOM.2007.4444671\">https://doi.org/10.1109/TRIDENTCOM.2007.4444671</a>","ieee":"H. S. Lichte, S. Valentin, F. Eitzen, M. Stege, C. Unger, and H. Karl, “Integrating multiuser dynamic OFDMA into IEEE 802.11a and prototyping it on a real-time software-defined radio testbed,” in <i>3rd International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2007, Orlando, Florida, USA, May 21-23 2007</i>, 2007, pp. 1--9.","chicago":"S. Lichte, Hermann, Stefan Valentin, Falk Eitzen, Matthias Stege, Carsten Unger, and Holger Karl. “Integrating Multiuser Dynamic OFDMA into IEEE 802.11a and Prototyping It on a Real-Time Software-Defined Radio Testbed.” In <i>3rd International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2007, Orlando, Florida, USA, May 21-23 2007</i>, 1--9, 2007. <a href=\"https://doi.org/10.1109/TRIDENTCOM.2007.4444671\">https://doi.org/10.1109/TRIDENTCOM.2007.4444671</a>.","ama":"S. Lichte H, Valentin S, Eitzen F, Stege M, Unger C, Karl H. Integrating multiuser dynamic OFDMA into IEEE 802.11a and prototyping it on a real-time software-defined radio testbed. In: <i>3rd International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2007, Orlando, Florida, USA, May 21-23 2007</i>. ; 2007:1--9. doi:<a href=\"https://doi.org/10.1109/TRIDENTCOM.2007.4444671\">10.1109/TRIDENTCOM.2007.4444671</a>"},"year":"2007","doi":"10.1109/TRIDENTCOM.2007.4444671","title":"Integrating multiuser dynamic OFDMA into IEEE 802.11a and prototyping it on a real-time software-defined radio testbed","date_created":"2017-11-27T10:22:27Z","author":[{"first_name":"Hermann","full_name":"S. Lichte, Hermann","last_name":"S. Lichte"},{"first_name":"Stefan","full_name":"Valentin, Stefan","last_name":"Valentin"},{"full_name":"Eitzen, Falk","last_name":"Eitzen","first_name":"Falk"},{"first_name":"Matthias","full_name":"Stege, Matthias","last_name":"Stege"},{"last_name":"Unger","full_name":"Unger, Carsten","first_name":"Carsten"},{"id":"126","full_name":"Karl, Holger","last_name":"Karl","first_name":"Holger"}],"date_updated":"2022-01-06T07:03:53Z","status":"public","publication":"3rd International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, TridentCom 2007, Orlando, Florida, USA, May 21-23 2007","type":"conference","department":[{"_id":"75"}],"user_id":"15572","_id":"834"},{"issue":"1","year":"2007","citation":{"apa":"Heckel, R., &#38; Cherchago, A. (2007). Structural and Behavioural Compatibility of Graphical Service Specifications. <i>Logic and Algebraic Programming</i>, <i>70</i>(1), 15–33.","short":"R. Heckel, A. Cherchago, Logic and Algebraic Programming 70 (2007) 15–33.","bibtex":"@article{Heckel_Cherchago_2007, title={Structural and Behavioural Compatibility of Graphical Service Specifications}, volume={70}, number={1}, journal={Logic and Algebraic Programming}, author={Heckel, Reiko and Cherchago, Alexey}, year={2007}, pages={15–33} }","mla":"Heckel, Reiko, and Alexey Cherchago. “Structural and Behavioural Compatibility of Graphical Service Specifications.” <i>Logic and Algebraic Programming</i>, vol. 70, no. 1, 2007, pp. 15–33.","ama":"Heckel R, Cherchago A. Structural and Behavioural Compatibility of Graphical Service Specifications. <i>Logic and Algebraic Programming</i>. 2007;70(1):15-33.","ieee":"R. Heckel and A. Cherchago, “Structural and Behavioural Compatibility of Graphical Service Specifications,” <i>Logic and Algebraic Programming</i>, vol. 70, no. 1, pp. 15–33, 2007.","chicago":"Heckel, Reiko, and Alexey Cherchago. “Structural and Behavioural Compatibility of Graphical Service Specifications.” <i>Logic and Algebraic Programming</i> 70, no. 1 (2007): 15–33."},"intvolume":"        70","page":"15-33","date_updated":"2022-01-06T07:03:35Z","date_created":"2019-01-31T15:27:49Z","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"full_name":"Cherchago, Alexey","last_name":"Cherchago","first_name":"Alexey"}],"volume":70,"title":"Structural and Behavioural Compatibility of Graphical Service Specifications","type":"journal_article","publication":"Logic and Algebraic Programming","status":"public","_id":"7374","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}]},{"publication":"Forschungsforum Paderborn","type":"journal_article","status":"public","_id":"7375","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"year":"2007","page":"56-60","intvolume":"        10","citation":{"ama":"Bals J-C, Christ F, Engels G, Sauer S. Software-Qualität - überall! - Excel-lente Software. <i>Forschungsforum Paderborn</i>. 2007;10:56-60.","chicago":"Bals, Jan-Christopher, Fabian Christ, Gregor Engels, and Stefan Sauer. “Software-Qualität - Überall! - Excel-Lente Software.” <i>Forschungsforum Paderborn</i> 10 (2007): 56–60.","ieee":"J.-C. Bals, F. Christ, G. Engels, and S. Sauer, “Software-Qualität - überall! - Excel-lente Software,” <i>Forschungsforum Paderborn</i>, vol. 10, pp. 56–60, 2007.","apa":"Bals, J.-C., Christ, F., Engels, G., &#38; Sauer, S. (2007). Software-Qualität - überall! - Excel-lente Software. <i>Forschungsforum Paderborn</i>, <i>10</i>, 56–60.","short":"J.-C. Bals, F. Christ, G. Engels, S. Sauer, Forschungsforum Paderborn 10 (2007) 56–60.","bibtex":"@article{Bals_Christ_Engels_Sauer_2007, title={Software-Qualität - überall! - Excel-lente Software}, volume={10}, journal={Forschungsforum Paderborn}, author={Bals, Jan-Christopher and Christ, Fabian and Engels, Gregor and Sauer, Stefan}, year={2007}, pages={56–60} }","mla":"Bals, Jan-Christopher, et al. “Software-Qualität - Überall! - Excel-Lente Software.” <i>Forschungsforum Paderborn</i>, vol. 10, 2007, pp. 56–60."},"date_updated":"2022-01-06T07:03:35Z","volume":10,"date_created":"2019-01-31T15:28:21Z","author":[{"last_name":"Bals","full_name":"Bals, Jan-Christopher","first_name":"Jan-Christopher"},{"first_name":"Fabian","full_name":"Christ, Fabian","last_name":"Christ"},{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"},{"last_name":"Sauer","id":"447","full_name":"Sauer, Stefan","first_name":"Stefan"}],"title":"Software-Qualität - überall! - Excel-lente Software"},{"title":"A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services","publisher":"Springer","date_updated":"2022-01-06T07:03:39Z","date_created":"2019-02-05T13:04:26Z","author":[{"last_name":"Lohmann","full_name":"Lohmann, Marc","first_name":"Marc"},{"full_name":"Mariani, Leonardo","last_name":"Mariani","first_name":"Leonardo"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"}],"year":"2007","place":"Berlin/Heidelberg","citation":{"ama":"Lohmann M, Mariani L, Heckel R. A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services. In: Baresi, E. Di Nitto L, ed. <i>Test and Analysis of Web Services</i>. Berlin/Heidelberg: Springer; 2007:173-204.","chicago":"Lohmann, Marc, Leonardo Mariani, and Reiko Heckel. “A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services.” In <i>Test and Analysis of Web Services</i>, edited by L. Baresi, E. Di Nitto, 173–204. Berlin/Heidelberg: Springer, 2007.","ieee":"M. Lohmann, L. Mariani, and R. Heckel, “A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services,” in <i>Test and Analysis of Web Services</i>, L. Baresi, E. Di Nitto, Ed. Berlin/Heidelberg: Springer, 2007, pp. 173–204.","apa":"Lohmann, M., Mariani, L., &#38; Heckel, R. (2007). A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services. In L. Baresi, E. Di Nitto (Ed.), <i>Test and Analysis of Web Services</i> (pp. 173–204). Berlin/Heidelberg: Springer.","bibtex":"@inbook{Lohmann_Mariani_Heckel_2007, place={Berlin/Heidelberg}, title={A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services}, booktitle={Test and Analysis of Web Services}, publisher={Springer}, author={Lohmann, Marc and Mariani, Leonardo and Heckel, Reiko}, editor={Baresi, E. Di Nitto, L.Editor}, year={2007}, pages={173–204} }","mla":"Lohmann, Marc, et al. “A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services.” <i>Test and Analysis of Web Services</i>, edited by L. Baresi, E. Di Nitto, Springer, 2007, pp. 173–204.","short":"M. Lohmann, L. Mariani, R. Heckel, in: L. Baresi, E. Di Nitto (Ed.), Test and Analysis of Web Services, Springer, Berlin/Heidelberg, 2007, pp. 173–204."},"page":"173-204","language":[{"iso":"eng"}],"_id":"7551","user_id":"52534","department":[{"_id":"66"}],"abstract":[{"text":"Service-oriented computing is distinguished by its use of dynamic discovery and binding for the integration of services at runtime. This poses a challenge for testing, in particular, of the interaction between services. We propose a model-driven solution to address this challenge. Service descriptions are promoted from largely syntactical to behavioural specifications of services in terms of contracts (pre-conditions and effects of operations), expressed in a visual UML-like notion. Through mappings to semantic web languages and the Java Modeling Language (JML) contracts support the automatic discovery of services as well as the derivation of test cases and their execution and monitoring. We discuss an extended life cycle model for services based on the model-driven approach and illustrate its application using a model of a hotel reservation service.","lang":"eng"}],"editor":[{"first_name":"L.","last_name":"Baresi, E. Di Nitto","full_name":"Baresi, E. Di Nitto, L."}],"status":"public","type":"book_chapter","publication":"Test and Analysis of Web Services"}]