[{"date_created":"2019-02-21T11:56:25Z","place":"Washington, DC, USA","department":[{"_id":"66"}],"type":"conference","citation":{"mla":"Schattkowsky, Tim, et al. “A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency.” <i>Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS 2007)</i>, IEEE Computer Society, 2007, p. 286ff., doi:<a href=\"http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22\">http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22</a>.","bibtex":"@inproceedings{Schattkowsky_Engels_Förster_2007, place={Washington, DC, USA}, title={A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency}, DOI={<a href=\"http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22\">http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22</a>}, booktitle={Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS 2007)}, publisher={IEEE Computer Society}, author={Schattkowsky, Tim and Engels, Gregor and Förster, Alexander}, year={2007}, pages={286ff.} }","ama":"Schattkowsky T, Engels G, Förster A. A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency. In: <i>Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS 2007)</i>. Washington, DC, USA: IEEE Computer Society; 2007:286ff. doi:<a href=\"http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22\">http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22</a>","ieee":"T. Schattkowsky, G. Engels, and A. Förster, “A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency,” in <i>Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS 2007)</i>, 2007, p. 286ff.","apa":"Schattkowsky, T., Engels, G., &#38; Förster, A. (2007). A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency. In <i>Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS 2007)</i> (p. 286ff.). Washington, DC, USA: IEEE Computer Society. <a href=\"http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22\">http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22</a>","chicago":"Schattkowsky, Tim, Gregor Engels, and Alexander Förster. “A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency.” In <i>Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS 2007)</i>, 286ff. Washington, DC, USA: IEEE Computer Society, 2007. <a href=\"http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22\">http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22</a>.","short":"T. Schattkowsky, G. Engels, A. Förster, in: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS 2007), IEEE Computer Society, Washington, DC, USA, 2007, p. 286ff."},"publication":"Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS 2007)","language":[{"iso":"eng"}],"_id":"7958","publisher":"IEEE Computer Society","page":"286ff.","user_id":"52534","doi":"http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22","author":[{"full_name":"Schattkowsky, Tim","first_name":"Tim","last_name":"Schattkowsky"},{"id":"107","last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"},{"last_name":"Förster","first_name":"Alexander","full_name":"Förster, Alexander"}],"title":"A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency","year":"2007","status":"public","date_updated":"2022-01-06T07:03:48Z"},{"citation":{"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} }","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>","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.","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>","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>.","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."},"place":"Berlin/Heidelberg","status":"public","volume":4554,"user_id":"52534","_id":"7962","publisher":"Springer","page":"537-546","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."}],"publication":"Proceeding of the 4th International Conference on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing (China)","department":[{"_id":"66"}],"type":"conference","date_created":"2019-02-21T11:56:29Z","intvolume":"      4554","date_updated":"2022-01-06T07:03:48Z","author":[{"id":"447","last_name":"Sauer","first_name":"Stefan","full_name":"Sauer, Stefan"},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"}],"title":"Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder","year":"2007","doi":"http://dx.doi.org/10.1007/978-3-540-73279-2_60","language":[{"iso":"eng"}],"series_title":"LNCS"},{"intvolume":"         6","date_updated":"2022-01-06T07:03:48Z","author":[{"first_name":"Jan-Christopher","last_name":"Bals","full_name":"Bals, Jan-Christopher"},{"full_name":"Christ, Fabian","last_name":"Christ","first_name":"Fabian"},{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"},{"first_name":"Martin","last_name":"Erwig","full_name":"Erwig, Martin"}],"year":"2007","title":"ClassSheets - model-based, object-oriented design of spreadsheet applications","status":"public","volume":6,"user_id":"52534","doi":"http://www.jot.fm/issues/issue_2007_10/paper19/index.html","_id":"7963","language":[{"iso":"eng"}],"publisher":"Journal of Object Technology","page":"383-398","citation":{"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>.","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.","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.","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} }","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>","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>."},"issue":"9","publication":"Proceedings of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss)","department":[{"_id":"66"}],"type":"conference","date_created":"2019-02-21T11:56:31Z"},{"doi":"http://dx.doi.org/10.1109/TASE.2007.56","user_id":"52534","page":"197-208","language":[{"iso":"eng"}],"_id":"7965","publisher":"IEEE Computer Society","date_updated":"2022-01-06T07:03:48Z","status":"public","title":"Verification of Business Process Quality Constraints Based on Visual Process Patterns","year":"2007","author":[{"last_name":"Förster","first_name":"Alexander","full_name":"Förster, Alexander"},{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"last_name":"Schattkowsky","first_name":"Tim","full_name":"Schattkowsky, Tim"},{"full_name":"Van Der Straeten, Ragnhild","first_name":"Ragnhild","last_name":"Van Der Straeten"}],"type":"conference","department":[{"_id":"66"}],"place":"Washington, DC, USA","date_created":"2019-02-21T11:56:33Z","publication":"Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China)","citation":{"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.","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>","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>.","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} }","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>"}},{"citation":{"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.","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.","short":"J.-C. Bals, F. Christ, G. Engels, S. Sauer, Forschungsforum Paderborn 10 (2007) 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.","mla":"Bals, Jan-Christopher, et al. “Software-Qualität - Überall! - Excel-Lente Software.” <i>Forschungsforum Paderborn</i>, vol. 10, 2007, pp. 56–60.","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.","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} }"},"publication":"Forschungsforum Paderborn","date_created":"2019-01-31T15:28:21Z","department":[{"_id":"66"}],"type":"journal_article","author":[{"full_name":"Bals, Jan-Christopher","first_name":"Jan-Christopher","last_name":"Bals"},{"first_name":"Fabian","last_name":"Christ","full_name":"Christ, Fabian"},{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"},{"id":"447","full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan"}],"year":"2007","status":"public","title":"Software-Qualität - überall! - Excel-lente Software","intvolume":"        10","date_updated":"2022-01-06T07:03:35Z","_id":"7375","language":[{"iso":"eng"}],"page":"56-60","volume":10,"user_id":"52534"},{"publication":"Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)","abstract":[{"lang":"eng","text":"The Model-Driven Architecture (MDA) approach for constructing software systems advocates a stepwise refinement and transformation process starting from high-level models to concrete program code. In contrast to numerous research efforts that try to generate executable function code from models, we propose a novel approach termed model-driven monitoring. On the model level the behavior of an operation is specified with a pair of UML composite structure diagrams (visual contract), a visual notation for pre- and post-conditions. The specified behavior is implemented by a programmer manually. An automatic translation from our visual contracts to JML assertions allows for monitoring the hand-coded programs during their execution. In this paper we present an approach to extend our model-driven monitoring approach to allow for model-driven unit testing. In this approach we utilize the generated JML assertions as test oracles. Further, we present an idea how to generate sufficient test cases from our visual contracts with the help of model-checking techniques."}],"date_created":"2019-03-06T11:44:57Z","department":[{"_id":"66"}],"type":"conference","author":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"full_name":"Güldali, Baris","first_name":"Baris","last_name":"Güldali"},{"full_name":"Lohmann, Marc","last_name":"Lohmann","first_name":"Marc"}],"year":"2007","title":"Towards Model-Driven Unit Testing","intvolume":"      4364","date_updated":"2022-01-06T07:03:54Z","series_title":"LNCS","language":[{"iso":"eng"}],"doi":"http://dx.doi.org/10.1007/978-3-540-69489-2_23","citation":{"ieee":"G. Engels, B. Güldali, and M. Lohmann, “Towards Model-Driven Unit Testing,” in <i>Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)</i>, 2007, vol. 4364, pp. 182–192.","apa":"Engels, G., Güldali, B., &#38; Lohmann, M. (2007). Towards Model-Driven Unit Testing. In <i>Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)</i> (Vol. 4364, pp. 182–192). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_23\">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>","short":"G. Engels, B. Güldali, M. Lohmann, in: Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006), Springer, Berlin/Heidelberg, 2007, pp. 182–192.","chicago":"Engels, Gregor, Baris Güldali, and Marc Lohmann. “Towards Model-Driven Unit Testing.” In <i>Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)</i>, 4364:182–92. LNCS. Berlin/Heidelberg: Springer, 2007. <a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_23\">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>.","mla":"Engels, Gregor, et al. “Towards Model-Driven Unit Testing.” <i>Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)</i>, vol. 4364, Springer, 2007, pp. 182–92, doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_23\">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>.","bibtex":"@inproceedings{Engels_Güldali_Lohmann_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Towards Model-Driven Unit Testing}, volume={4364}, DOI={<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_23\">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>}, booktitle={Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)}, publisher={Springer}, author={Engels, Gregor and Güldali, Baris and Lohmann, Marc}, year={2007}, pages={182–192}, collection={LNCS} }","ama":"Engels G, Güldali B, Lohmann M. Towards Model-Driven Unit Testing. In: <i>Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)</i>. Vol 4364. LNCS. Berlin/Heidelberg: Springer; 2007:182-192. doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_23\">http://dx.doi.org/10.1007/978-3-540-69489-2_23</a>"},"place":"Berlin/Heidelberg","status":"public","_id":"8414","publisher":"Springer","page":"182-192","volume":4364,"user_id":"52534"},{"citation":{"mla":"Soltenborn, Christian, and Gregor Engels. “Analysis of UML Activities with Dynamic Meta Modeling Techniques.” <i>Symposium “A Formal Semantics for UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy)</i>, vol. 4364, Springer, 2007, pp. 329–30, doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_42\">http://dx.doi.org/10.1007/978-3-540-69489-2_42</a>.","apa":"Soltenborn, C., &#38; Engels, G. (2007). Analysis of UML Activities with Dynamic Meta Modeling Techniques. In <i>Symposium “A Formal Semantics for UML” (satellite event of the MoDELS conference 2006), Genova (Italy)</i> (Vol. 4364, pp. 329–330). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_42\">http://dx.doi.org/10.1007/978-3-540-69489-2_42</a>","ieee":"C. Soltenborn and G. Engels, “Analysis of UML Activities with Dynamic Meta Modeling Techniques,” in <i>Symposium “A Formal Semantics for UML” (satellite event of the MoDELS conference 2006), Genova (Italy)</i>, 2007, vol. 4364, pp. 329–330.","ama":"Soltenborn C, Engels G. Analysis of UML Activities with Dynamic Meta Modeling Techniques. In: <i>Symposium “A Formal Semantics for UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy)</i>. Vol 4364. LNCS. Berlin/Heidelberg: Springer; 2007:329-330. doi:<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_42\">http://dx.doi.org/10.1007/978-3-540-69489-2_42</a>","short":"C. Soltenborn, G. Engels, in: Symposium “A Formal Semantics for UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy), Springer, Berlin/Heidelberg, 2007, pp. 329–330.","chicago":"Soltenborn, Christian, and Gregor Engels. “Analysis of UML Activities with Dynamic Meta Modeling Techniques.” In <i>Symposium “A Formal Semantics for UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy)</i>, 4364:329–30. LNCS. Berlin/Heidelberg: Springer, 2007. <a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_42\">http://dx.doi.org/10.1007/978-3-540-69489-2_42</a>.","bibtex":"@inproceedings{Soltenborn_Engels_2007, place={Berlin/Heidelberg}, series={LNCS}, title={Analysis of UML Activities with Dynamic Meta Modeling Techniques}, volume={4364}, DOI={<a href=\"http://dx.doi.org/10.1007/978-3-540-69489-2_42\">http://dx.doi.org/10.1007/978-3-540-69489-2_42</a>}, booktitle={Symposium “A Formal Semantics for UML” (satellite event of the MoDELS conference 2006), Genova (Italy)}, publisher={Springer}, author={Soltenborn, Christian and Engels, Gregor}, year={2007}, pages={329–330}, collection={LNCS} }"},"publication":"Symposium \"A Formal Semantics for UML\" (satellite event of the MoDELS conference 2006), Genova (Italy)","date_created":"2019-03-06T11:44:58Z","place":"Berlin/Heidelberg","department":[{"_id":"66"}],"type":"conference","author":[{"full_name":"Soltenborn, Christian","last_name":"Soltenborn","first_name":"Christian","orcid":"0000-0002-0342-8227","id":"1737"},{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"}],"year":"2007","status":"public","title":"Analysis of UML Activities with Dynamic Meta Modeling Techniques","intvolume":"      4364","date_updated":"2022-01-06T07:03:54Z","publisher":"Springer","_id":"8415","series_title":"LNCS","language":[{"iso":"eng"}],"page":"329-330","volume":4364,"user_id":"14955","doi":"http://dx.doi.org/10.1007/978-3-540-69489-2_42"},{"date_updated":"2022-01-06T07:03:48Z","year":"2006","title":"Using UML Activities for System-on-Chip Design and Synthesis","status":"public","author":[{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"},{"last_name":"Hendrik Hausmann","first_name":"Jan","full_name":"Hendrik Hausmann, Jan"},{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"}],"doi":"dx.doi.org/10.1007/11880240_51","user_id":"52534","volume":"4199/2006","page":"737-752","publisher":"Springer","_id":"7949","series_title":"LNCS","language":[{"iso":"eng"}],"publication":"Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy)","citation":{"apa":"Schattkowsky, T., Hendrik Hausmann, J., &#38; Engels, G. (2006). Using UML Activities for System-on-Chip Design and Synthesis. In <i>Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy)</i> (Vol. 4199/2006, pp. 737–752). Berlin/Heidelberg: Springer. <a href=\"https://doi.org/dx.doi.org/10.1007/11880240_51\">https://doi.org/dx.doi.org/10.1007/11880240_51</a>","ieee":"T. Schattkowsky, J. Hendrik Hausmann, and G. Engels, “Using UML Activities for System-on-Chip Design and Synthesis,” in <i>Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy)</i>, 2006, vol. 4199/2006, pp. 737–752.","short":"T. Schattkowsky, J. Hendrik Hausmann, G. Engels, in: Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy), Springer, Berlin/Heidelberg, 2006, pp. 737–752.","chicago":"Schattkowsky, Tim, Jan Hendrik Hausmann, and Gregor Engels. “Using UML Activities for System-on-Chip Design and Synthesis.” In <i>Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy)</i>, 4199/2006:737–52. LNCS. Berlin/Heidelberg: Springer, 2006. <a href=\"https://doi.org/dx.doi.org/10.1007/11880240_51\">https://doi.org/dx.doi.org/10.1007/11880240_51</a>.","mla":"Schattkowsky, Tim, et al. “Using UML Activities for System-on-Chip Design and Synthesis.” <i>Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy)</i>, vol. 4199/2006, Springer, 2006, pp. 737–52, doi:<a href=\"https://doi.org/dx.doi.org/10.1007/11880240_51\">dx.doi.org/10.1007/11880240_51</a>.","ama":"Schattkowsky T, Hendrik Hausmann J, Engels G. Using UML Activities for System-on-Chip Design and Synthesis. In: <i>Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy)</i>. Vol 4199/2006. LNCS. Berlin/Heidelberg: Springer; 2006:737-752. doi:<a href=\"https://doi.org/dx.doi.org/10.1007/11880240_51\">dx.doi.org/10.1007/11880240_51</a>","bibtex":"@inproceedings{Schattkowsky_Hendrik Hausmann_Engels_2006, place={Berlin/Heidelberg}, series={LNCS}, title={Using UML Activities for System-on-Chip Design and Synthesis}, volume={4199/2006}, DOI={<a href=\"https://doi.org/dx.doi.org/10.1007/11880240_51\">dx.doi.org/10.1007/11880240_51</a>}, booktitle={Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy)}, publisher={Springer}, author={Schattkowsky, Tim and Hendrik Hausmann, Jan and Engels, Gregor}, year={2006}, pages={737–752}, collection={LNCS} }"},"type":"conference","department":[{"_id":"66"}],"place":"Berlin/Heidelberg","date_created":"2019-02-21T11:40:29Z"},{"author":[{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"last_name":"Hendrik Hausmann","first_name":"Jan","full_name":"Hendrik Hausmann, Jan"},{"last_name":"Lohmann","first_name":"Marc","full_name":"Lohmann, Marc"},{"first_name":"Stefan","last_name":"Sauer","full_name":"Sauer, Stefan","id":"447"}],"title":"Teaching UML Is Teaching Software Engineering Is Teaching Abstraction","year":"2006","status":"public","date_updated":"2022-01-06T07:03:48Z","_id":"7953","series_title":"LNCS","publisher":"Springer","language":[{"iso":"eng"}],"page":"306-319","volume":"3844 / 2006","user_id":"52534","citation":{"ieee":"G. Engels, J. Hendrik Hausmann, M. Lohmann, and S. Sauer, “Teaching UML Is Teaching Software Engineering Is Teaching Abstraction,” in <i>Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)</i>, 2006, vol. 3844 / 2006, pp. 306–319.","apa":"Engels, G., Hendrik Hausmann, J., Lohmann, M., &#38; Sauer, S. (2006). Teaching UML Is Teaching Software Engineering Is Teaching Abstraction. In <i>Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)</i> (Vol. 3844 / 2006, pp. 306–319). Berlin/Heidelberg: Springer.","short":"G. Engels, J. Hendrik Hausmann, M. Lohmann, S. Sauer, in: Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica), Springer, Berlin/Heidelberg, 2006, pp. 306–319.","chicago":"Engels, Gregor, Jan Hendrik Hausmann, Marc Lohmann, and Stefan Sauer. “Teaching UML Is Teaching Software Engineering Is Teaching Abstraction.” In <i>Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)</i>, 3844 / 2006:306–19. LNCS. Berlin/Heidelberg: Springer, 2006.","mla":"Engels, Gregor, et al. “Teaching UML Is Teaching Software Engineering Is Teaching Abstraction.” <i>Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)</i>, vol. 3844 / 2006, Springer, 2006, pp. 306–19.","bibtex":"@inproceedings{Engels_Hendrik Hausmann_Lohmann_Sauer_2006, place={Berlin/Heidelberg}, series={LNCS}, title={Teaching UML Is Teaching Software Engineering Is Teaching Abstraction}, volume={3844 / 2006}, booktitle={Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)}, publisher={Springer}, author={Engels, Gregor and Hendrik Hausmann, Jan and Lohmann, Marc and Sauer, Stefan}, year={2006}, pages={306–319}, collection={LNCS} }","ama":"Engels G, Hendrik Hausmann J, Lohmann M, Sauer S. Teaching UML Is Teaching Software Engineering Is Teaching Abstraction. In: <i>Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)</i>. Vol 3844 / 2006. LNCS. Berlin/Heidelberg: Springer; 2006:306-319."},"publication":"Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)","abstract":[{"lang":"eng","text":"As the Unified Modeling Language (UML) has by now seen widespread and successful use in the software industry and academia alike, it has also found its way into many computer science curricula. An outstanding advantage of teaching UML is that it enables an illustration of many crucial concepts of software engineering, far beyond its concrete notation. Most important among these concepts is that of abstraction. We present a course design which demonstrates the use of UML as a vehicle for teaching such core concepts of software engineering. Multimedia elements and tools help to efficiently convey the courses message to the students."}],"place":"Berlin/Heidelberg","date_created":"2019-02-21T11:44:20Z","department":[{"_id":"66"}],"type":"conference"},{"language":[{"iso":"eng"}],"series_title":"LNCS","doi":"http://dx.doi.org/10.1007/11841883","author":[{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"},{"first_name":"Marc","last_name":"Lohmann","full_name":"Lohmann, Marc"},{"last_name":"Sauer","first_name":"Stefan","full_name":"Sauer, Stefan","id":"447"},{"last_name":"Heckel","first_name":"Reiko","full_name":"Heckel, Reiko"}],"year":"2006","title":"Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract","intvolume":"      4178","date_updated":"2022-01-06T07:03:48Z","date_created":"2019-02-21T11:44:21Z","department":[{"_id":"66"}],"type":"conference","publication":"Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil)","abstract":[{"text":"The model-driven development (MDD) approach for constructing software systems advocates a stepwise refinement and transformation process starting from high-level models to concrete program code. In contrast to numerous research efforts that try to generate executable function code from models, we propose a novel approach termed model-driven monitoring. Here, models are used to specify minimal requirements and are transformed into assertions on the code level for monitoring hand-coded programs during execution. We show how well-understood results from the graph transformation community can be deployed to support this model-driven monitoring approach. In particular, models in the form of visual contracts are defined by graph transitions with loose semantics, while the automatic transformation from models to JML assertions on the code level is defined by strict graph transformation rules. Both aspects are supported and realized by a dedicated Eclipse plug-in.","lang":"eng"}],"_id":"7954","publisher":"Springer","page":"336-350","volume":4178,"user_id":"52534","status":"public","place":"Berlin/Heidelberg","citation":{"mla":"Engels, Gregor, et al. “Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract.” <i>Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil)</i>, vol. 4178, Springer, 2006, pp. 336–50, doi:<a href=\"http://dx.doi.org/10.1007/11841883\">http://dx.doi.org/10.1007/11841883</a>.","ama":"Engels G, Lohmann M, Sauer S, Heckel R. Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract. In: <i>Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil)</i>. Vol 4178. LNCS. Berlin/Heidelberg: Springer; 2006:336-350. doi:<a href=\"http://dx.doi.org/10.1007/11841883\">http://dx.doi.org/10.1007/11841883</a>","bibtex":"@inproceedings{Engels_Lohmann_Sauer_Heckel_2006, place={Berlin/Heidelberg}, series={LNCS}, title={Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract}, volume={4178}, DOI={<a href=\"http://dx.doi.org/10.1007/11841883\">http://dx.doi.org/10.1007/11841883</a>}, booktitle={Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil)}, publisher={Springer}, author={Engels, Gregor and Lohmann, Marc and Sauer, Stefan and Heckel, Reiko}, year={2006}, pages={336–350}, collection={LNCS} }","apa":"Engels, G., Lohmann, M., Sauer, S., &#38; Heckel, R. (2006). Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract. In <i>Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil)</i> (Vol. 4178, pp. 336–350). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/11841883\">http://dx.doi.org/10.1007/11841883</a>","ieee":"G. Engels, M. Lohmann, S. Sauer, and R. Heckel, “Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract,” in <i>Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil)</i>, 2006, vol. 4178, pp. 336–350.","chicago":"Engels, Gregor, Marc Lohmann, Stefan Sauer, and Reiko Heckel. “Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract.” In <i>Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil)</i>, 4178:336–50. LNCS. Berlin/Heidelberg: Springer, 2006. <a href=\"http://dx.doi.org/10.1007/11841883\">http://dx.doi.org/10.1007/11841883</a>.","short":"G. Engels, M. Lohmann, S. Sauer, R. Heckel, in: Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil), Springer, Berlin/Heidelberg, 2006, pp. 336–350."}},{"user_id":"52534","page":"135-142","publisher":"IEEE Computer Society","_id":"7955","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:48Z","year":"2006","title":"A Pattern-driven Development Process for Quality Standard-conforming Business Process Models","status":"public","author":[{"last_name":"Förster","first_name":"Alexander","full_name":"Förster, Alexander"},{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"},{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"last_name":"Van Der Straeten","first_name":"Ragnhild","full_name":"Van Der Straeten, Ragnhild"}],"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-21T11:44:22Z","place":"Washington, DC, USA","publication":"IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK)","citation":{"chicago":"Förster, Alexander, Tim Schattkowsky, Gregor Engels, and Ragnhild Van Der Straeten. “A Pattern-Driven Development Process for Quality Standard-Conforming Business Process Models.” In <i>IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK)</i>, 135–42. Washington, DC, USA: IEEE Computer Society, 2006.","short":"A. Förster, T. Schattkowsky, G. Engels, R. Van Der Straeten, in: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK), IEEE Computer Society, Washington, DC, USA, 2006, pp. 135–142.","ieee":"A. Förster, T. Schattkowsky, G. Engels, and R. Van Der Straeten, “A Pattern-driven Development Process for Quality Standard-conforming Business Process Models,” in <i>IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK)</i>, 2006, pp. 135–142.","apa":"Förster, A., Schattkowsky, T., Engels, G., &#38; Van Der Straeten, R. (2006). A Pattern-driven Development Process for Quality Standard-conforming Business Process Models. In <i>IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK)</i> (pp. 135–142). Washington, DC, USA: IEEE Computer Society.","bibtex":"@inproceedings{Förster_Schattkowsky_Engels_Van Der Straeten_2006, place={Washington, DC, USA}, title={A Pattern-driven Development Process for Quality Standard-conforming Business Process Models}, booktitle={IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK)}, publisher={IEEE Computer Society}, author={Förster, Alexander and Schattkowsky, Tim and Engels, Gregor and Van Der Straeten, Ragnhild}, year={2006}, pages={135–142} }","ama":"Förster A, Schattkowsky T, Engels G, Van Der Straeten R. A Pattern-driven Development Process for Quality Standard-conforming Business Process Models. In: <i>IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK)</i>. Washington, DC, USA: IEEE Computer Society; 2006:135-142.","mla":"Förster, Alexander, et al. “A Pattern-Driven Development Process for Quality Standard-Conforming Business Process Models.” <i>IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK)</i>, IEEE Computer Society, 2006, pp. 135–42."}},{"place":"Los Alamitos, CA, USA","date_created":"2019-02-21T11:44:23Z","department":[{"_id":"66"}],"type":"conference","citation":{"ama":"Lohmann M, Engels G, Sauer S. Model-driven Monitoring: Generating Assertions from Visual Contracts. In: <i>Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)</i>. Los Alamitos, CA, USA: IEEE Computer Society; 2006:355-356. doi:<a href=\"http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52\">http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52</a>","bibtex":"@inproceedings{Lohmann_Engels_Sauer_2006, place={Los Alamitos, CA, USA}, title={Model-driven Monitoring: Generating Assertions from Visual Contracts}, DOI={<a href=\"http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52\">http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52</a>}, booktitle={Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)}, publisher={IEEE Computer Society}, author={Lohmann, Marc and Engels, Gregor and Sauer, Stefan}, year={2006}, pages={355–356} }","mla":"Lohmann, Marc, et al. “Model-Driven Monitoring: Generating Assertions from Visual Contracts.” <i>Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)</i>, IEEE Computer Society, 2006, pp. 355–56, doi:<a href=\"http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52\">http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52</a>.","chicago":"Lohmann, Marc, Gregor Engels, and Stefan Sauer. “Model-Driven Monitoring: Generating Assertions from Visual Contracts.” In <i>Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)</i>, 355–56. Los Alamitos, CA, USA: IEEE Computer Society, 2006. <a href=\"http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52\">http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52</a>.","short":"M. Lohmann, G. Engels, S. Sauer, in: Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan), IEEE Computer Society, Los Alamitos, CA, USA, 2006, pp. 355–356.","apa":"Lohmann, M., Engels, G., &#38; Sauer, S. (2006). Model-driven Monitoring: Generating Assertions from Visual Contracts. In <i>Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)</i> (pp. 355–356). Los Alamitos, CA, USA: IEEE Computer Society. <a href=\"http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52\">http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52</a>","ieee":"M. Lohmann, G. Engels, and S. Sauer, “Model-driven Monitoring: Generating Assertions from Visual Contracts,” in <i>Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)</i>, 2006, pp. 355–356."},"publication":"Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)","abstract":[{"lang":"eng","text":"The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level, to the model level. It uses visual contracts for graphically specifying the pre- and post-conditions of an operation. Java classes with JML (Java Modeling Language) assertions are generated from visual contracts to facilitate automatic monitoring of the correctness of the programmer's implementation."}],"_id":"7956","publisher":"IEEE Computer Society","language":[{"iso":"eng"}],"page":"355-356","doi":"http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52","user_id":"52534","author":[{"last_name":"Lohmann","first_name":"Marc","full_name":"Lohmann, Marc"},{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"},{"last_name":"Sauer","first_name":"Stefan","full_name":"Sauer, Stefan","id":"447"}],"year":"2006","status":"public","title":"Model-driven Monitoring: Generating Assertions from Visual Contracts","date_updated":"2022-01-06T07:03:48Z"},{"department":[{"_id":"66"}],"type":"conference","date_created":"2019-02-21T11:44:25Z","abstract":[{"text":"Serviceorientierte Architekturen (SOA) erlauben eine schnelle und kosteneffiziente Bereitstellung unterschiedlicher Funktionalitäten zur Unterstützung der Geschäftsprozesse eines Unternehmens. Dazu werden fachliche Funktionalitäten in Form von Enterprise Services zur Verfügung gestellt. Die hohe Zahl von Enterprise Services erfordert eine geeignete semantische Beschreibung zu deren effizienten Verwaltung. Zur semantischen Beschreibung von Enterprise Services sowie zur Formulierung von Suchanfragen ist an der Universität Paderborn die Methode der visuellen Kontrakte entwickelt worden. Das Papier stellt die Ergebnisse der ersten Phase einer umfangreichen industriellen Fallstudie zur Evaluation der praktischen Anwendbarkeit visueller Kontrakte im Kontext einer SOA vor.","lang":"eng"}],"publication":"Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)","doi":"http://dx.doi.org/10.1007/11841883","series_title":"Lecture Notes in Informatics","language":[{"iso":"eng"}],"intvolume":"        79","date_updated":"2022-01-06T07:03:48Z","author":[{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"},{"full_name":"Güldali, Baris","last_name":"Güldali","first_name":"Baris"},{"full_name":"Juwig, Oliver","last_name":"Juwig","first_name":"Oliver"},{"last_name":"Lohmann","first_name":"Marc","full_name":"Lohmann, Marc"},{"first_name":"Jan-Peter","last_name":"Richter","full_name":"Richter, Jan-Peter"}],"title":"Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen","year":"2006","place":"Bonn","citation":{"mla":"Engels, Gregor, et al. “Industrielle Fallstudie: Einsatz Visueller Kontrakte in Serviceorientierten Architekturen.” <i>Proceedings of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)</i>, vol. 79, Gesellschaft für Informatik (GI), 2006, pp. 111–22, doi:<a href=\"http://dx.doi.org/10.1007/11841883\">http://dx.doi.org/10.1007/11841883</a>.","apa":"Engels, G., Güldali, B., Juwig, O., Lohmann, M., &#38; Richter, J.-P. (2006). Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen. In <i>Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)</i> (Vol. 79, pp. 111–122). Bonn: Gesellschaft für Informatik (GI). <a href=\"http://dx.doi.org/10.1007/11841883\">http://dx.doi.org/10.1007/11841883</a>","ieee":"G. Engels, B. Güldali, O. Juwig, M. Lohmann, and J.-P. Richter, “Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen,” in <i>Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)</i>, 2006, vol. 79, pp. 111–122.","chicago":"Engels, Gregor, Baris Güldali, Oliver Juwig, Marc Lohmann, and Jan-Peter Richter. “Industrielle Fallstudie: Einsatz Visueller Kontrakte in Serviceorientierten Architekturen.” In <i>Proceedings of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)</i>, 79:111–22. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2006. <a href=\"http://dx.doi.org/10.1007/11841883\">http://dx.doi.org/10.1007/11841883</a>.","short":"G. Engels, B. Güldali, O. Juwig, M. Lohmann, J.-P. Richter, in: Proceedings of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany), Gesellschaft für Informatik (GI), Bonn, 2006, pp. 111–122.","ama":"Engels G, Güldali B, Juwig O, Lohmann M, Richter J-P. Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen. In: <i>Proceedings of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)</i>. Vol 79. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2006:111-122. doi:<a href=\"http://dx.doi.org/10.1007/11841883\">http://dx.doi.org/10.1007/11841883</a>","bibtex":"@inproceedings{Engels_Güldali_Juwig_Lohmann_Richter_2006, place={Bonn}, series={Lecture Notes in Informatics}, title={Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen}, volume={79}, DOI={<a href=\"http://dx.doi.org/10.1007/11841883\">http://dx.doi.org/10.1007/11841883</a>}, booktitle={Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)}, publisher={Gesellschaft für Informatik (GI)}, author={Engels, Gregor and Güldali, Baris and Juwig, Oliver and Lohmann, Marc and Richter, Jan-Peter}, year={2006}, pages={111–122}, collection={Lecture Notes in Informatics} }"},"volume":79,"user_id":"52534","_id":"7957","publisher":"Gesellschaft für Informatik (GI)","page":"111-122","status":"public"},{"author":[{"first_name":"Marc","last_name":"Lohmann","full_name":"Lohmann, Marc"},{"first_name":"Jan-Peter","last_name":"Richter","full_name":"Richter, Jan-Peter"},{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"},{"last_name":"Güldali","first_name":"Baris","full_name":"Güldali, Baris"},{"last_name":"Juwig","first_name":"Oliver","full_name":"Juwig, Oliver"},{"id":"447","full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan"}],"year":"2006","title":"Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie","status":"public","date_updated":"2022-01-06T07:03:52Z","language":[{"iso":"eng"}],"_id":"8215","publisher":"University of Paderborn, s-lab","user_id":"52534","citation":{"ieee":"M. Lohmann, J.-P. Richter, G. Engels, B. Güldali, O. Juwig, and S. Sauer, <i>Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie</i>. University of Paderborn, s-lab, 2006.","apa":"Lohmann, M., Richter, J.-P., Engels, G., Güldali, B., Juwig, O., &#38; Sauer, S. (2006). <i>Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie</i>. University of Paderborn, s-lab.","chicago":"Lohmann, Marc, Jan-Peter Richter, Gregor Engels, Baris Güldali, Oliver Juwig, and Stefan Sauer. <i>Semantische Beschreibung von Enterprise Services – Eine Industrielle Fallstudie</i>. University of Paderborn, s-lab, 2006.","short":"M. Lohmann, J.-P. Richter, G. Engels, B. Güldali, O. Juwig, S. Sauer, Semantische Beschreibung von Enterprise Services – Eine Industrielle Fallstudie, University of Paderborn, s-lab, 2006.","mla":"Lohmann, Marc, et al. <i>Semantische Beschreibung von Enterprise Services – Eine Industrielle Fallstudie</i>. University of Paderborn, s-lab, 2006.","bibtex":"@book{Lohmann_Richter_Engels_Güldali_Juwig_Sauer_2006, title={Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie}, publisher={University of Paderborn, s-lab}, author={Lohmann, Marc and Richter, Jan-Peter and Engels, Gregor and Güldali, Baris and Juwig, Oliver and Sauer, Stefan}, year={2006} }","ama":"Lohmann M, Richter J-P, Engels G, Güldali B, Juwig O, Sauer S. <i>Semantische Beschreibung von Enterprise Services – Eine Industrielle Fallstudie</i>. University of Paderborn, s-lab; 2006."},"report_number":"1","date_created":"2019-03-03T16:13:14Z","department":[{"_id":"66"}],"type":"report"},{"user_id":"52534","editor":[{"first_name":"G.","last_name":"Kappel, B. Pröll, S. Reich, W. Retschitzegger","full_name":"Kappel, B. Pröll, S. Reich, W. Retschitzegger, G."}],"publisher":"Wiley","_id":"7549","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:39Z","title":"The Web Application Development Process","status":"public","year":"2006","author":[{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"last_name":"Lohmann","first_name":"Marc","full_name":"Lohmann, Marc"},{"last_name":"Wagner","first_name":"Annika","full_name":"Wagner, Annika"}],"type":"book_chapter","department":[{"_id":"66"}],"date_created":"2019-02-05T13:03:09Z","abstract":[{"text":"The current situation of ad hoc development of Web applications reminds us of the software development practices of the 1960s, before it was realized that the development of applications required more than programming expertise. This book counteracts this situation by giving a comprehensive, practice-oriented and thorough insight into the new discipline of Web Engineering. The text highlights the need to examine and re-use the body of knowledge found within software engineering. It demonstrates how to use that knowledge within the Web environment, in order to achieve a highly disciplined and methodological means of producing Web-based software, putting emphasize on current practices, experiences and pitfalls. The book demonstrates the distinctions between software engineering and Web engineering, for instance, the shorter lead times that Web engineering has compared to its software counterpart, whilst also demonstrating the rapid prototyping and agile methods of development needed to meet these criteria. The book covers important topics of Web Engineering, including requirements analysis, design, architectures, technologies, test, operation and maintenance; this is complemented by in-depth knowledge about Web project management and process issues as well as important quality aspects of Web applications like usability, performance and security. An overview of Semantic Web concepts points the way to the development of future Web applications.","lang":"eng"}],"publication":"Web Engineering: The Discipline of Systematic Development of Web Applications","citation":{"short":"G. Engels, M. Lohmann, A. Wagner, in: G. Kappel, B. Pröll, S. Reich, W. Retschitzegger (Ed.), Web Engineering: The Discipline of Systematic Development of Web Applications, Wiley, 2006.","chicago":"Engels, Gregor, Marc Lohmann, and Annika Wagner. “The Web Application Development Process.” In <i>Web Engineering: The Discipline of Systematic Development of Web Applications</i>, edited by G. Kappel, B. Pröll, S. Reich, W. Retschitzegger. Wiley, 2006.","apa":"Engels, G., Lohmann, M., &#38; Wagner, A. (2006). The Web Application Development Process. In G. Kappel, B. Pröll, S. Reich, W. Retschitzegger (Ed.), <i>Web Engineering: The Discipline of Systematic Development of Web Applications</i>. Wiley.","ieee":"G. Engels, M. Lohmann, and A. Wagner, “The Web Application Development Process,” in <i>Web Engineering: The Discipline of Systematic Development of Web Applications</i>, G. Kappel, B. Pröll, S. Reich, W. Retschitzegger, Ed. Wiley, 2006.","ama":"Engels G, Lohmann M, Wagner A. The Web Application Development Process. In: Kappel, B. Pröll, S. Reich, W. Retschitzegger G, ed. <i>Web Engineering: The Discipline of Systematic Development of Web Applications</i>. Wiley; 2006.","bibtex":"@inbook{Engels_Lohmann_Wagner_2006, title={The Web Application Development Process}, booktitle={Web Engineering: The Discipline of Systematic Development of Web Applications}, publisher={Wiley}, author={Engels, Gregor and Lohmann, Marc and Wagner, Annika}, editor={Kappel, B. Pröll, S. Reich, W. Retschitzegger, G.Editor}, year={2006} }","mla":"Engels, Gregor, et al. “The Web Application Development Process.” <i>Web Engineering: The Discipline of Systematic Development of Web Applications</i>, edited by G. Kappel, B. Pröll, S. Reich, W. Retschitzegger, Wiley, 2006."}},{"abstract":[{"lang":"eng","text":"The Model-Driven Architecture (MDA) approach for constructing software systems advocates a stepwise refinement and transformation process starting from high-level models to concrete program code. In contrast to numerous research efforts that try to generate executable function code from models, we propose a novel approach termed model-driven monitoring. On the model level the behavior of an operation is specified with a pair of UML composite structure diagrams (visual contract), a visual notation for pre- and post-conditions. The specified behavior is implemented by a programmer manually. An automatic translation from our visual contracts to JML assertions allows for monitoring the hand-coded programs during their execution. In this paper we present an approach to extend our model-driven monitoring approach to allow for model-driven unit testing. In this approach we utilize the generated JML assertions as test oracles. Further, we present an idea how to generate sufficient test cases from our visual contracts with the help of model-checking techniques."}],"publication":"Proceedings of the workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France)","citation":{"mla":"Engels, Gregor, et al. “Towards Model-Driven Unit Testing.” <i>Proceedings of the Workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France)</i>, Le Commissariat à l’Energie Atomique - CEA, 2006, pp. 16–29.","ama":"Engels G, Güldali B, Lohmann M. Towards Model-Driven Unit Testing. In: <i>Proceedings of the Workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France)</i>. Berlin / Heidelberg: Le Commissariat à l’Energie Atomique - CEA; 2006:16-29.","bibtex":"@inproceedings{Engels_Güldali_Lohmann_2006, place={Berlin / Heidelberg}, title={Towards Model-Driven Unit Testing}, booktitle={Proceedings of the workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France)}, publisher={Le Commissariat à l’Energie Atomique - CEA}, author={Engels, Gregor and Güldali, Baris and Lohmann, Marc}, year={2006}, pages={16–29} }","apa":"Engels, G., Güldali, B., &#38; Lohmann, M. (2006). Towards Model-Driven Unit Testing. In <i>Proceedings of the workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France)</i> (pp. 16–29). Berlin / Heidelberg: Le Commissariat à l’Energie Atomique - CEA.","ieee":"G. Engels, B. Güldali, and M. Lohmann, “Towards Model-Driven Unit Testing,” in <i>Proceedings of the workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France)</i>, 2006, pp. 16–29.","short":"G. Engels, B. Güldali, M. Lohmann, in: Proceedings of the Workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France), Le Commissariat à l’Energie Atomique - CEA, Berlin / Heidelberg, 2006, pp. 16–29.","chicago":"Engels, Gregor, Baris Güldali, and Marc Lohmann. “Towards Model-Driven Unit Testing.” In <i>Proceedings of the Workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France)</i>, 16–29. Berlin / Heidelberg: Le Commissariat à l’Energie Atomique - CEA, 2006."},"type":"conference","department":[{"_id":"66"}],"place":"Berlin / Heidelberg","date_created":"2019-03-06T11:44:46Z","date_updated":"2022-01-06T07:03:54Z","title":"Towards Model-Driven Unit Testing","status":"public","year":"2006","author":[{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"},{"full_name":"Güldali, Baris","last_name":"Güldali","first_name":"Baris"},{"first_name":"Marc","last_name":"Lohmann","full_name":"Lohmann, Marc"}],"user_id":"52534","page":"16-29","publisher":"Le Commissariat à l'Energie Atomique - CEA","_id":"8405","language":[{"iso":"eng"}]},{"department":[{"_id":"66"}],"type":"conference","place":"Bonn","date_created":"2019-03-06T11:44:48Z","citation":{"chicago":"Engels, Gregor, Matthias Gehrke, and Stefan Sauer. “Multi-Private Public Partnership (MPPP) - Softwaretechnik Auf Dem Weg in Die Industrie.” In <i>Proceedings of the Workshop on Vernetzung von Software Engineering Expertise in Industrie Und Forschung (VSEEIF, Satellite Event of the Informatik 2006 - Informatik Für Menschen)</i>, 93:281–87. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2006.","short":"G. Engels, M. Gehrke, S. Sauer, in: Proceedings of the Workshop on Vernetzung von Software Engineering Expertise in Industrie Und Forschung (VSEEIF, Satellite Event of the Informatik 2006 - Informatik Für Menschen), Gesellschaft für Informatik (GI), Bonn, 2006, pp. 281–287.","apa":"Engels, G., Gehrke, M., &#38; Sauer, S. (2006). Multi-Private Public Partnership (MPPP) - Softwaretechnik auf dem Weg in die Industrie. In <i>Proceedings of the Workshop on Vernetzung von Software Engineering Expertise in Industrie und Forschung (VSEEIF, satellite event of the Informatik 2006 - Informatik für Menschen)</i> (Vol. 93, pp. 281–287). Bonn: Gesellschaft für Informatik (GI).","ieee":"G. Engels, M. Gehrke, and S. Sauer, “Multi-Private Public Partnership (MPPP) - Softwaretechnik auf dem Weg in die Industrie,” in <i>Proceedings of the Workshop on Vernetzung von Software Engineering Expertise in Industrie und Forschung (VSEEIF, satellite event of the Informatik 2006 - Informatik für Menschen)</i>, 2006, vol. 93, pp. 281–287.","ama":"Engels G, Gehrke M, Sauer S. Multi-Private Public Partnership (MPPP) - Softwaretechnik auf dem Weg in die Industrie. In: <i>Proceedings of the Workshop on Vernetzung von Software Engineering Expertise in Industrie Und Forschung (VSEEIF, Satellite Event of the Informatik 2006 - Informatik Für Menschen)</i>. Vol 93. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2006:281-287.","bibtex":"@inproceedings{Engels_Gehrke_Sauer_2006, place={Bonn}, series={Lecture Notes in Informatics}, title={Multi-Private Public Partnership (MPPP) - Softwaretechnik auf dem Weg in die Industrie}, volume={93}, booktitle={Proceedings of the Workshop on Vernetzung von Software Engineering Expertise in Industrie und Forschung (VSEEIF, satellite event of the Informatik 2006 - Informatik für Menschen)}, publisher={Gesellschaft für Informatik (GI)}, author={Engels, Gregor and Gehrke, Matthias and Sauer, Stefan}, year={2006}, pages={281–287}, collection={Lecture Notes in Informatics} }","mla":"Engels, Gregor, et al. “Multi-Private Public Partnership (MPPP) - Softwaretechnik Auf Dem Weg in Die Industrie.” <i>Proceedings of the Workshop on Vernetzung von Software Engineering Expertise in Industrie Und Forschung (VSEEIF, Satellite Event of the Informatik 2006 - Informatik Für Menschen)</i>, vol. 93, Gesellschaft für Informatik (GI), 2006, pp. 281–87."},"publication":"Proceedings of the Workshop on Vernetzung von Software Engineering Expertise in Industrie und Forschung (VSEEIF, satellite event of the Informatik 2006 - Informatik für Menschen)","volume":93,"user_id":"52534","publisher":"Gesellschaft für Informatik (GI)","_id":"8406","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Informatics","page":"281-287","intvolume":"        93","date_updated":"2022-01-06T07:03:54Z","author":[{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"first_name":"Matthias","last_name":"Gehrke","full_name":"Gehrke, Matthias"},{"id":"447","last_name":"Sauer","first_name":"Stefan","full_name":"Sauer, Stefan"}],"year":"2006","title":"Multi-Private Public Partnership (MPPP) - Softwaretechnik auf dem Weg in die Industrie","status":"public"},{"year":"2006","title":"Use Case Points in der industriellen Praxis","status":"public","author":[{"first_name":"Stephan","last_name":"Frohnhoff","full_name":"Frohnhoff, Stephan"},{"last_name":"Jung","first_name":"Volker","full_name":"Jung, Volker"},{"id":"107","last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"}],"date_updated":"2022-01-06T07:03:54Z","page":"511-526","_id":"8407","publisher":"Magdeburger Schriften zum Empirischen Software-Engineering","language":[{"iso":"eng"}],"user_id":"52534","publication":"Proceedings of the International Workshop on Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany)","citation":{"ama":"Frohnhoff S, Jung V, Engels G. Use Case Points in der industriellen Praxis. In: <i>Proceedings of the International Workshop on Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany)</i>. Magdeburger Schriften zum Empirischen Software-Engineering; 2006:511-526.","bibtex":"@inproceedings{Frohnhoff_Jung_Engels_2006, title={Use Case Points in der industriellen Praxis}, booktitle={Proceedings of the International Workshop on Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany)}, publisher={Magdeburger Schriften zum Empirischen Software-Engineering}, author={Frohnhoff, Stephan and Jung, Volker and Engels, Gregor}, year={2006}, pages={511–526} }","mla":"Frohnhoff, Stephan, et al. “Use Case Points in Der Industriellen Praxis.” <i>Proceedings of the International Workshop on Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany)</i>, Magdeburger Schriften zum Empirischen Software-Engineering, 2006, pp. 511–26.","short":"S. Frohnhoff, V. Jung, G. Engels, in: Proceedings of the International Workshop on Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany), Magdeburger Schriften zum Empirischen Software-Engineering, 2006, pp. 511–526.","chicago":"Frohnhoff, Stephan, Volker Jung, and Gregor Engels. “Use Case Points in Der Industriellen Praxis.” In <i>Proceedings of the International Workshop on Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany)</i>, 511–26. Magdeburger Schriften zum Empirischen Software-Engineering, 2006.","apa":"Frohnhoff, S., Jung, V., &#38; Engels, G. (2006). Use Case Points in der industriellen Praxis. In <i>Proceedings of the International Workshop on Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany)</i> (pp. 511–526). Magdeburger Schriften zum Empirischen Software-Engineering.","ieee":"S. Frohnhoff, V. Jung, and G. Engels, “Use Case Points in der industriellen Praxis,” in <i>Proceedings of the International Workshop on Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany)</i>, 2006, pp. 511–526."},"date_created":"2019-03-06T11:44:49Z","type":"conference","department":[{"_id":"66"}]},{"page":"124-133","_id":"7936","publisher":"ACM Press","language":[{"iso":"eng"}],"user_id":"52534","title":"ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications","year":"2005","status":"public","author":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"full_name":"Erwig, Martin","last_name":"Erwig","first_name":"Martin"}],"date_updated":"2022-01-06T07:03:48Z","place":"New York, NY, USA","date_created":"2019-02-21T11:33:39Z","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA)","citation":{"short":"G. Engels, M. Erwig, in: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA), ACM Press, New York, NY, USA, 2005, pp. 124–133.","chicago":"Engels, Gregor, and Martin Erwig. “ClassSheets: Automatic Generation of Spreadsheet Applications from Object-Oriented Specifications.” In <i>Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA)</i>, 124–33. New York, NY, USA: ACM Press, 2005.","ieee":"G. Engels and M. Erwig, “ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications,” in <i>Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA)</i>, 2005, pp. 124–133.","apa":"Engels, G., &#38; Erwig, M. (2005). ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications. In <i>Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA)</i> (pp. 124–133). New York, NY, USA: ACM Press.","bibtex":"@inproceedings{Engels_Erwig_2005, place={New York, NY, USA}, title={ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications}, booktitle={Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA)}, publisher={ACM Press}, author={Engels, Gregor and Erwig, Martin}, year={2005}, pages={124–133} }","ama":"Engels G, Erwig M. ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications. In: <i>Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA)</i>. New York, NY, USA: ACM Press; 2005:124-133.","mla":"Engels, Gregor, and Martin Erwig. “ClassSheets: Automatic Generation of Spreadsheet Applications from Object-Oriented Specifications.” <i>Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA)</i>, ACM Press, 2005, pp. 124–33."},"abstract":[{"lang":"eng","text":"Spreadsheets are widely used in all kinds of business applications. Numerous studies have shown that they contain many errors that sometimes have dramatic impacts. One reason for this situation is the low-level, cell-oriented development process of spreadsheets. We improve this process by introducing and formalizing a higher-level object-oriented model termed ClassSheet. While still following the tabular look-and-feel of spreadsheets, ClassSheets allow the developer to express explicitly business object structures within a spreadsheet, which is achieved by integrating concepts from the UML (Unified Modeling Language). A stepwise automatic transformation process generates a spreadsheet application that is consistent with the ClassSheet model. Thus, by deploying the formal underpinning of ClassSheets, a large variety of errors can be prevented that occur in many existing spreadsheet applications today. The presented ClassSheet approach links spreadsheet applications to the object-oriented modeling world and advocates an automatic model-driven development process for spreadsheet applications of high quality."}]},{"user_id":"52534","volume":3713,"page":"2-16","language":[{"iso":"eng"}],"_id":"7937","publisher":"Springer","series_title":"LNCS","date_updated":"2022-01-06T07:03:48Z","intvolume":"      3713","title":"Activity Diagram Patterns for Modeling Quality Constraints in Business Processes","year":"2005","status":"public","author":[{"full_name":"Förster, Alexander","first_name":"Alexander","last_name":"Förster"},{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"},{"last_name":"Schattkowsky","first_name":"Tim","full_name":"Schattkowsky, Tim"}],"type":"conference","department":[{"_id":"66"}],"place":"Berlin/Heidelberg","date_created":"2019-02-21T11:34:17Z","publication":"Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)","citation":{"mla":"Förster, Alexander, et al. “Activity Diagram Patterns for Modeling Quality Constraints in Business Processes.” <i>Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)</i>, vol. 3713, Springer, 2005, pp. 2–16.","bibtex":"@inproceedings{Förster_Engels_Schattkowsky_2005, place={Berlin/Heidelberg}, series={LNCS}, title={Activity Diagram Patterns for Modeling Quality Constraints in Business Processes}, volume={3713}, booktitle={Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)}, publisher={Springer}, author={Förster, Alexander and Engels, Gregor and Schattkowsky, Tim}, year={2005}, pages={2–16}, collection={LNCS} }","ama":"Förster A, Engels G, Schattkowsky T. Activity Diagram Patterns for Modeling Quality Constraints in Business Processes. In: <i>Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)</i>. Vol 3713. LNCS. Berlin/Heidelberg: Springer; 2005:2-16.","ieee":"A. Förster, G. Engels, and T. Schattkowsky, “Activity Diagram Patterns for Modeling Quality Constraints in Business Processes,” in <i>Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)</i>, 2005, vol. 3713, pp. 2–16.","apa":"Förster, A., Engels, G., &#38; Schattkowsky, T. (2005). Activity Diagram Patterns for Modeling Quality Constraints in Business Processes. In <i>Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)</i> (Vol. 3713, pp. 2–16). Berlin/Heidelberg: Springer.","chicago":"Förster, Alexander, Gregor Engels, and Tim Schattkowsky. “Activity Diagram Patterns for Modeling Quality Constraints in Business Processes.” In <i>Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)</i>, 3713:2–16. LNCS. Berlin/Heidelberg: Springer, 2005.","short":"A. Förster, G. Engels, T. Schattkowsky, in: Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica), Springer, Berlin/Heidelberg, 2005, pp. 2–16."}}]