[{"place":"Berlin/Heidelberg","date_created":"2019-02-21T11:44:16Z","type":"conference","department":[{"_id":"66"}],"publication":"Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica)","citation":{"bibtex":"@inproceedings{Pleuß_Van den Bergh_Sauer_Hußmann_2006, place={Berlin/Heidelberg}, series={LNCS}, title={Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI)}, volume={3844}, DOI={<a href=\"https://doi.org/dx.doi.org/10.1007/11663430_19\">dx.doi.org/10.1007/11663430_19</a>}, booktitle={Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica)}, publisher={Springer}, author={Pleuß, Andreas and Van den Bergh, Jan and Sauer, Stefan and Hußmann, Heinrich}, year={2006}, pages={182–190}, collection={LNCS} }","ama":"Pleuß A, Van den Bergh J, Sauer S, Hußmann H. Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI). In: <i>Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica)</i>. Vol 3844. LNCS. Berlin/Heidelberg: Springer; 2006:182-190. doi:<a href=\"https://doi.org/dx.doi.org/10.1007/11663430_19\">dx.doi.org/10.1007/11663430_19</a>","mla":"Pleuß, Andreas, et al. “Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI).” <i>Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica)</i>, vol. 3844, Springer, 2006, pp. 182–90, doi:<a href=\"https://doi.org/dx.doi.org/10.1007/11663430_19\">dx.doi.org/10.1007/11663430_19</a>.","short":"A. Pleuß, J. Van den Bergh, S. Sauer, H. Hußmann, in: Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica), Springer, Berlin/Heidelberg, 2006, pp. 182–190.","chicago":"Pleuß, Andreas, Jan Van den Bergh, Stefan Sauer, and Heinrich Hußmann. “Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI).” In <i>Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica)</i>, 3844:182–90. LNCS. Berlin/Heidelberg: Springer, 2006. <a href=\"https://doi.org/dx.doi.org/10.1007/11663430_19\">https://doi.org/dx.doi.org/10.1007/11663430_19</a>.","ieee":"A. Pleuß, J. Van den Bergh, S. Sauer, and H. Hußmann, “Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI),” in <i>Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica)</i>, 2006, vol. 3844, pp. 182–190.","apa":"Pleuß, A., Van den Bergh, J., Sauer, S., &#38; Hußmann, H. (2006). Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI). In <i>Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica)</i> (Vol. 3844, pp. 182–190). Berlin/Heidelberg: Springer. <a href=\"https://doi.org/dx.doi.org/10.1007/11663430_19\">https://doi.org/dx.doi.org/10.1007/11663430_19</a>"},"page":"182-190","series_title":"LNCS","_id":"7950","publisher":"Springer","language":[{"iso":"eng"}],"doi":"dx.doi.org/10.1007/11663430_19","user_id":"52534","volume":3844,"year":"2006","status":"public","title":"Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI)","author":[{"full_name":"Pleuß, Andreas","first_name":"Andreas","last_name":"Pleuß"},{"full_name":"Van den Bergh, Jan","first_name":"Jan","last_name":"Van den Bergh"},{"last_name":"Sauer","first_name":"Stefan","full_name":"Sauer, Stefan","id":"447"},{"full_name":"Hußmann, Heinrich","first_name":"Heinrich","last_name":"Hußmann"}],"date_updated":"2022-01-06T07:03:48Z","intvolume":"      3844"},{"publication":"Proceedings of the conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy)","citation":{"ama":"Ehrig K, Taentzer G, Küster J, Winkelmann J. Generating Instance Models from Meta Models. In: <i>Proceedings of the Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy)</i>. Vol 4037/2006. LNCS. Berlin/Heidelberg: Springer; 2006:156-170. doi:<a href=\"https://doi.org/dx.doi.org/10.1007/11768869_13\">dx.doi.org/10.1007/11768869_13</a>","bibtex":"@inproceedings{Ehrig_Taentzer_Küster_Winkelmann_2006, place={Berlin/Heidelberg}, series={LNCS}, title={Generating Instance Models from Meta Models}, volume={4037/2006}, DOI={<a href=\"https://doi.org/dx.doi.org/10.1007/11768869_13\">dx.doi.org/10.1007/11768869_13</a>}, booktitle={Proceedings of the conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy)}, publisher={Springer}, author={Ehrig, Karsten and Taentzer, Gabriele and Küster, Jochen and Winkelmann, Jessica}, year={2006}, pages={156–170}, collection={LNCS} }","mla":"Ehrig, Karsten, et al. “Generating Instance Models from Meta Models.” <i>Proceedings of the Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy)</i>, vol. 4037/2006, Springer, 2006, pp. 156–70, doi:<a href=\"https://doi.org/dx.doi.org/10.1007/11768869_13\">dx.doi.org/10.1007/11768869_13</a>.","chicago":"Ehrig, Karsten, Gabriele Taentzer, Jochen Küster, and Jessica Winkelmann. “Generating Instance Models from Meta Models.” In <i>Proceedings of the Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy)</i>, 4037/2006:156–70. LNCS. Berlin/Heidelberg: Springer, 2006. <a href=\"https://doi.org/dx.doi.org/10.1007/11768869_13\">https://doi.org/dx.doi.org/10.1007/11768869_13</a>.","short":"K. Ehrig, G. Taentzer, J. Küster, J. Winkelmann, in: Proceedings of the Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy), Springer, Berlin/Heidelberg, 2006, pp. 156–170.","apa":"Ehrig, K., Taentzer, G., Küster, J., &#38; Winkelmann, J. (2006). Generating Instance Models from Meta Models. In <i>Proceedings of the conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy)</i> (Vol. 4037/2006, pp. 156–170). Berlin/Heidelberg: Springer. <a href=\"https://doi.org/dx.doi.org/10.1007/11768869_13\">https://doi.org/dx.doi.org/10.1007/11768869_13</a>","ieee":"K. Ehrig, G. Taentzer, J. Küster, and J. Winkelmann, “Generating Instance Models from Meta Models,” in <i>Proceedings of the conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy)</i>, 2006, vol. 4037/2006, pp. 156–170."},"place":"Berlin/Heidelberg","date_created":"2019-02-21T11:44:17Z","type":"conference","department":[{"_id":"66"}],"status":"public","title":"Generating Instance Models from Meta Models","year":"2006","author":[{"full_name":"Ehrig, Karsten","first_name":"Karsten","last_name":"Ehrig"},{"full_name":"Taentzer, Gabriele","last_name":"Taentzer","first_name":"Gabriele"},{"last_name":"Küster","first_name":"Jochen","full_name":"Küster, Jochen"},{"last_name":"Winkelmann","first_name":"Jessica","full_name":"Winkelmann, Jessica"}],"date_updated":"2022-01-06T07:03:48Z","page":"156-170","_id":"7951","publisher":"Springer","series_title":"LNCS","language":[{"iso":"eng"}],"doi":"dx.doi.org/10.1007/11768869_13","user_id":"52534","volume":"4037/2006"},{"type":"conference","department":[{"_id":"66"}],"place":"Washington, DC, USA","date_created":"2019-02-21T11:44:18Z","publication":"Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006)","citation":{"chicago":"Hauser, Rainer, Michael Friess, Jochen Küster, and Jussi Vanhatalo. “Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows.” In <i>Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006)</i>, 129–40. Washington, DC, USA: IEEE Computer Society, 2006. <a href=\"http://dx.doi.org/10.1109/EDOC.2006.21\">http://dx.doi.org/10.1109/EDOC.2006.21</a>.","short":"R. Hauser, M. Friess, J. Küster, J. Vanhatalo, in: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), IEEE Computer Society, Washington, DC, USA, 2006, pp. 129–140.","ieee":"R. Hauser, M. Friess, J. Küster, and J. Vanhatalo, “Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows,” in <i>Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006)</i>, 2006, pp. 129–140.","apa":"Hauser, R., Friess, M., Küster, J., &#38; Vanhatalo, J. (2006). Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows. In <i>Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006)</i> (pp. 129–140). Washington, DC, USA: IEEE Computer Society. <a href=\"http://dx.doi.org/10.1109/EDOC.2006.21\">http://dx.doi.org/10.1109/EDOC.2006.21</a>","bibtex":"@inproceedings{Hauser_Friess_Küster_Vanhatalo_2006, place={Washington, DC, USA}, title={Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows}, DOI={<a href=\"http://dx.doi.org/10.1109/EDOC.2006.21\">http://dx.doi.org/10.1109/EDOC.2006.21</a>}, booktitle={Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006)}, publisher={IEEE Computer Society}, author={Hauser, Rainer and Friess, Michael and Küster, Jochen and Vanhatalo, Jussi}, year={2006}, pages={129–140} }","ama":"Hauser R, Friess M, Küster J, Vanhatalo J. Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows. In: <i>Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006)</i>. Washington, DC, USA: IEEE Computer Society; 2006:129-140. doi:<a href=\"http://dx.doi.org/10.1109/EDOC.2006.21\">http://dx.doi.org/10.1109/EDOC.2006.21</a>","mla":"Hauser, Rainer, et al. “Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows.” <i>Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006)</i>, IEEE Computer Society, 2006, pp. 129–40, doi:<a href=\"http://dx.doi.org/10.1109/EDOC.2006.21\">http://dx.doi.org/10.1109/EDOC.2006.21</a>."},"doi":"http://dx.doi.org/10.1109/EDOC.2006.21","user_id":"52534","page":"129-140","_id":"7952","publisher":"IEEE Computer Society","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:48Z","year":"2006","status":"public","title":"Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows","author":[{"full_name":"Hauser, Rainer","last_name":"Hauser","first_name":"Rainer"},{"full_name":"Friess, Michael","first_name":"Michael","last_name":"Friess"},{"full_name":"Küster, Jochen","first_name":"Jochen","last_name":"Küster"},{"first_name":"Jussi","last_name":"Vanhatalo","full_name":"Vanhatalo, Jussi"}]},{"status":"public","year":"2006","title":"Teaching UML Is Teaching Software Engineering Is Teaching Abstraction","author":[{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"},{"full_name":"Hendrik Hausmann, Jan","last_name":"Hendrik Hausmann","first_name":"Jan"},{"first_name":"Marc","last_name":"Lohmann","full_name":"Lohmann, Marc"},{"id":"447","first_name":"Stefan","last_name":"Sauer","full_name":"Sauer, Stefan"}],"date_updated":"2022-01-06T07:03:48Z","page":"306-319","series_title":"LNCS","_id":"7953","publisher":"Springer","language":[{"iso":"eng"}],"user_id":"52534","volume":"3844 / 2006","publication":"Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica)","citation":{"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.","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.","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.","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.","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} }"},"abstract":[{"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.","lang":"eng"}],"place":"Berlin/Heidelberg","date_created":"2019-02-21T11:44:20Z","type":"conference","department":[{"_id":"66"}]},{"place":"Berlin/Heidelberg","citation":{"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.","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>.","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.","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>","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} }","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>","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>."},"_id":"7954","publisher":"Springer","page":"336-350","volume":4178,"user_id":"52534","status":"public","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"}],"language":[{"iso":"eng"}],"series_title":"LNCS","doi":"http://dx.doi.org/10.1007/11841883","author":[{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"},{"full_name":"Lohmann, Marc","first_name":"Marc","last_name":"Lohmann"},{"last_name":"Sauer","first_name":"Stefan","full_name":"Sauer, Stefan","id":"447"},{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"}],"title":"Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract","year":"2006","intvolume":"      4178","date_updated":"2022-01-06T07:03:48Z"},{"publisher":"IEEE Computer Society","_id":"7955","language":[{"iso":"eng"}],"page":"135-142","user_id":"52534","author":[{"first_name":"Alexander","last_name":"Förster","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"}],"year":"2006","title":"A Pattern-driven Development Process for Quality Standard-conforming Business Process Models","status":"public","date_updated":"2022-01-06T07:03:48Z","place":"Washington, DC, USA","date_created":"2019-02-21T11:44:22Z","department":[{"_id":"66"}],"type":"conference","citation":{"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.","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.","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.","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.","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."},"publication":"IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK)"},{"publication":"Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan)","citation":{"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>.","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} }","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>","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.","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>","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."},"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."}],"date_created":"2019-02-21T11:44:23Z","place":"Los Alamitos, CA, USA","type":"conference","department":[{"_id":"66"}],"year":"2006","title":"Model-driven Monitoring: Generating Assertions from Visual Contracts","status":"public","author":[{"full_name":"Lohmann, Marc","last_name":"Lohmann","first_name":"Marc"},{"id":"107","last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"},{"last_name":"Sauer","first_name":"Stefan","full_name":"Sauer, Stefan","id":"447"}],"date_updated":"2022-01-06T07:03:48Z","page":"355-356","publisher":"IEEE Computer Society","_id":"7956","language":[{"iso":"eng"}],"user_id":"52534","doi":"http://doi.ieeecomputersociety.org/10.1109/ASE.2006.52"},{"abstract":[{"lang":"eng","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."}],"publication":"Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany)","department":[{"_id":"66"}],"type":"conference","date_created":"2019-02-21T11:44:25Z","intvolume":"        79","date_updated":"2022-01-06T07:03:48Z","author":[{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"},{"first_name":"Baris","last_name":"Güldali","full_name":"Güldali, Baris"},{"full_name":"Juwig, Oliver","last_name":"Juwig","first_name":"Oliver"},{"full_name":"Lohmann, Marc","first_name":"Marc","last_name":"Lohmann"},{"first_name":"Jan-Peter","last_name":"Richter","full_name":"Richter, Jan-Peter"}],"year":"2006","title":"Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen","doi":"http://dx.doi.org/10.1007/11841883","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Informatics","citation":{"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} }","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>.","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>","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.","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.","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>","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>."},"place":"Bonn","status":"public","volume":79,"user_id":"52534","_id":"7957","publisher":"Gesellschaft für Informatik (GI)","page":"111-122"},{"_id":"8215","publisher":"University of Paderborn, s-lab","language":[{"iso":"eng"}],"user_id":"52534","title":"Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie","status":"public","year":"2006","author":[{"first_name":"Marc","last_name":"Lohmann","full_name":"Lohmann, Marc"},{"first_name":"Jan-Peter","last_name":"Richter","full_name":"Richter, Jan-Peter"},{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"last_name":"Güldali","first_name":"Baris","full_name":"Güldali, Baris"},{"last_name":"Juwig","first_name":"Oliver","full_name":"Juwig, Oliver"},{"id":"447","first_name":"Stefan","last_name":"Sauer","full_name":"Sauer, Stefan"}],"date_updated":"2022-01-06T07:03:52Z","date_created":"2019-03-03T16:13:14Z","type":"report","department":[{"_id":"66"}],"citation":{"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.","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.","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.","mla":"Lohmann, Marc, et al. <i>Semantische Beschreibung von Enterprise Services – Eine Industrielle Fallstudie</i>. University of Paderborn, s-lab, 2006."},"report_number":"1"},{"department":[{"_id":"66"}],"type":"journal_article","date_created":"2019-01-31T15:28:56Z","citation":{"short":"R. Heckel, M. Lohmann, International Journal on Software Tools for Technology Transfer (STTT) 9 (2006) 193–207.","chicago":"Heckel, Reiko, and Marc Lohmann. “Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts.” <i>International Journal on Software Tools for Technology Transfer (STTT)</i> 9, no. 2 (2006): 193–207.","ieee":"R. Heckel and M. Lohmann, “Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts,” <i>International Journal on Software Tools for Technology Transfer (STTT)</i>, vol. 9, no. 2, pp. 193–207, 2006.","apa":"Heckel, R., &#38; Lohmann, M. (2006). Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts. <i>International Journal on Software Tools for Technology Transfer (STTT)</i>, <i>9</i>(2), 193–207.","bibtex":"@article{Heckel_Lohmann_2006, title={Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts}, volume={9}, number={2}, journal={International Journal on Software Tools for Technology Transfer (STTT)}, author={Heckel, Reiko and Lohmann, Marc}, year={2006}, pages={193–207} }","ama":"Heckel R, Lohmann M. Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts. <i>International Journal on Software Tools for Technology Transfer (STTT)</i>. 2006;9(2):193-207.","mla":"Heckel, Reiko, and Marc Lohmann. “Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts.” <i>International Journal on Software Tools for Technology Transfer (STTT)</i>, vol. 9, no. 2, 2006, pp. 193–207."},"issue":"2","publication":"International Journal on Software Tools for Technology Transfer (STTT)","volume":9,"user_id":"52534","language":[{"iso":"eng"}],"_id":"7376","page":"193-207","intvolume":"         9","date_updated":"2022-01-06T07:03:35Z","author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"full_name":"Lohmann, Marc","last_name":"Lohmann","first_name":"Marc"}],"title":"Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts","status":"public","year":"2006"},{"department":[{"_id":"66"}],"type":"journal_article","date_created":"2019-01-31T15:29:26Z","citation":{"mla":"Küster, Jochen. “Definition and Validation of Model Transformations.” <i>Software and Systems Modeling</i>, vol. 5, no. 3, 2006, pp. 233–59, doi:<a href=\"http://dx.doi.org/10.1007/s10270-006-0018-8\">http://dx.doi.org/10.1007/s10270-006-0018-8</a>.","bibtex":"@article{Küster_2006, title={Definition and Validation of Model Transformations}, volume={5}, DOI={<a href=\"http://dx.doi.org/10.1007/s10270-006-0018-8\">http://dx.doi.org/10.1007/s10270-006-0018-8</a>}, number={3}, journal={Software and Systems Modeling}, author={Küster, Jochen}, year={2006}, pages={233–259} }","ama":"Küster J. Definition and Validation of Model Transformations. <i>Software and Systems Modeling</i>. 2006;5(3):233-259. doi:<a href=\"http://dx.doi.org/10.1007/s10270-006-0018-8\">http://dx.doi.org/10.1007/s10270-006-0018-8</a>","ieee":"J. Küster, “Definition and Validation of Model Transformations,” <i>Software and Systems Modeling</i>, vol. 5, no. 3, pp. 233–259, 2006.","apa":"Küster, J. (2006). Definition and Validation of Model Transformations. <i>Software and Systems Modeling</i>, <i>5</i>(3), 233–259. <a href=\"http://dx.doi.org/10.1007/s10270-006-0018-8\">http://dx.doi.org/10.1007/s10270-006-0018-8</a>","chicago":"Küster, Jochen. “Definition and Validation of Model Transformations.” <i>Software and Systems Modeling</i> 5, no. 3 (2006): 233–59. <a href=\"http://dx.doi.org/10.1007/s10270-006-0018-8\">http://dx.doi.org/10.1007/s10270-006-0018-8</a>.","short":"J. Küster, Software and Systems Modeling 5 (2006) 233–259."},"issue":"3","publication":"Software and Systems Modeling","volume":5,"doi":"http://dx.doi.org/10.1007/s10270-006-0018-8","user_id":"52534","language":[{"iso":"eng"}],"_id":"7377","page":"233-259","intvolume":"         5","date_updated":"2022-01-06T07:03:35Z","author":[{"last_name":"Küster","first_name":"Jochen","full_name":"Küster, Jochen"}],"year":"2006","status":"public","title":"Definition and Validation of Model Transformations"},{"publication":"Web Engineering: The Discipline of Systematic Development of Web Applications","citation":{"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.","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.","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 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."}],"date_created":"2019-02-05T13:03:09Z","type":"book_chapter","department":[{"_id":"66"}],"title":"The Web Application Development Process","status":"public","year":"2006","author":[{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"first_name":"Marc","last_name":"Lohmann","full_name":"Lohmann, Marc"},{"first_name":"Annika","last_name":"Wagner","full_name":"Wagner, Annika"}],"date_updated":"2022-01-06T07:03:39Z","_id":"7549","publisher":"Wiley","language":[{"iso":"eng"}],"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."}]},{"date_created":"2019-02-06T14:24:25Z","department":[{"_id":"66"}],"type":"dissertation","citation":{"chicago":"Lohmann, Marc. <i>Kontraktbasierte Modellierung, Implementierung Und Suche von Komponenten in Serviceorientierten Architekturen</i>, 2006.","short":"M. Lohmann, Kontraktbasierte Modellierung, Implementierung Und Suche von Komponenten in Serviceorientierten Architekturen, 2006.","apa":"Lohmann, M. (2006). <i>Kontraktbasierte Modellierung, Implementierung und Suche von Komponenten in serviceorientierten Architekturen</i>.","ieee":"M. Lohmann, <i>Kontraktbasierte Modellierung, Implementierung und Suche von Komponenten in serviceorientierten Architekturen</i>. 2006.","ama":"Lohmann M. <i>Kontraktbasierte Modellierung, Implementierung Und Suche von Komponenten in Serviceorientierten Architekturen</i>.; 2006.","bibtex":"@book{Lohmann_2006, title={Kontraktbasierte Modellierung, Implementierung und Suche von Komponenten in serviceorientierten Architekturen}, author={Lohmann, Marc}, year={2006} }","mla":"Lohmann, Marc. <i>Kontraktbasierte Modellierung, Implementierung Und Suche von Komponenten in Serviceorientierten Architekturen</i>. 2006."},"abstract":[{"text":"Service oriented architectures promise an easy integration of existing IT systems inside and outside of an organization. Service descriptions and software developers are the pivotal elements when systems are integrated over a service oriented architecture. The integration of a service into a client is based on its public service description. On the service provider side, a software developer develops a service description and implements a service accordingly. Today, a service is implemented mainly manual. Automated code generation techniques are seldom used. On the service requestor side, if a software developer needs a specific functionality he searches for a sufficient service. Thus, the success of service oriented architectures is strongly coupled to the content and usability of service descriptions by software developers. In this thesis we describe how to use contracts on the model level to enable a correct implementation and retrieval of services. In our approach we take the pivotal roles of the software developer and the public service description into account. Especially, we allow for a model-based semantic description, monitoring of the correctness of a service and the comparison of existing service descriptions. Therefore, our approach is based on three important techniques: Visual contracts allow for specifying the semantics of a service. A visual contract consists of a pair of UML composite structure diagrams for the representation of the pre- and post-condition of a service. By using UML composite structure diagrams, we have chosen a graphical notation that is familiar to software developers and easily integrates with today’s model-driven software development processes. By embedding our visual contracts into a software development process we are able to monitor the correctness of a hand-coded implementation. Therefore, we will show how models can be used to generate assertions which monitor the execution of the hand-coded implementation. Herewith, violations of the modeled requirements will be detected at runtime. We call this novel approach model-driven monitoring. Model-driven Matching is a new approach to enable a model-based query of existing services. Therefore, we allow for using visual contracts on the service requestor side to describe a needed service. A matching procedure checks the compatibility of a service description and a service query.","lang":"eng"}],"_id":"7580","language":[{"iso":"eng"}],"user_id":"52534","author":[{"last_name":"Lohmann","first_name":"Marc","full_name":"Lohmann, Marc"}],"year":"2006","title":"Kontraktbasierte Modellierung, Implementierung und Suche von Komponenten in serviceorientierten Architekturen","status":"public","date_updated":"2022-01-06T07:03:40Z"},{"abstract":[{"text":"One of the main tasks of modern application integration projects is to allow one business unit (requestor) to use services offered by another business unit (provider). When software systems of business partners are composed, an import interface of the requestor system is connected to an exportinterface of the provider system. Here, the import interface specification containing the requestor's requirements for a needed service has to be matched against the export interface specification describing the provided service. Usually, software engineers carry out matching of interface specifications manually; it makes the design and implementation of composite software expensive and error-prone. Therefore, the demand for instruments that would automate the matching procedure is high. In this thesis, we develop a new technique facilitating integration of software systems. To this end, we solve a problem of how to construct visual and formal interface specifications comprising semantic descriptions. Our method also includes a matching procedure that checks compatibility of such specifications. Interface specifications consist of structural and behavioural compartments. The structural compartment, given by a signature analogous to those appearing in algebraic specifications, defines operation declarations. The behavioural compartment, modelled by a conditional graph transformation system (GTS), contains operation contracts in the form of graph transformation rules. The rules of conditional GTS are equipped with loose semantics to describe operations in the import interface, and with strict semantics to describe those in the export interface. Composition of two compartments leads to an integral interface specification which is represented by the novel concept of parameterized conditional GTS. We develop three kinds of compatibility relations underlying the matching procedure. The intended correspondence between declarations and contracts of the required and provided operations is reflected by structural and behavioural compatibility relations that are established over the corresponding compartments of interface specifications. These two compatibility relations are combined into an integral compatibility relation that links the integral specification of the import interface to the one of the export interface. Furthermore, the constructed relations are equipped with rigorously formulated semantic requirements to compatibility and are justified against them. The introduced mathematical theory is supplemented with a conceptual framework. It is aimed at generating interface specifications that are suitable for automation of the matching process. The framework is based on an industry standard that outlines a uniform way of generating specifications. We use the standard issued by the Open Travel Alliance (OTA) in our example scenario where we develop and match standard-based interface specifications of Web services taken from the travelling business domain. Compatibility of interface specifications is necessary but not sufficient for accurate interactions between systems. The integration process is based on the assumption that these systems are correct. First and foremost, this correctness means that interface specifications representing externally visible parts of systems are consistent with implementations which appear internally in the systems. To check this assumption, we propose a model describing external as well as internal parts of a system. The model, formally represented by a graph transformation module, defines consistency relations between external and internal specifications and allows to validate correctness of systems prior to the integration. The proposed model and the matching procedure developed in the thesis are the key elements of a technology designed to improve the application integration process, making it theoretically well-defined and practically machine-processable.","lang":"eng"}],"citation":{"ama":"Cherchago A. <i>Service Specification and Matching Based on Graph Transformation</i>.; 2006.","bibtex":"@book{Cherchago_2006, title={Service Specification and Matching Based on Graph Transformation}, author={Cherchago, Alexey}, year={2006} }","mla":"Cherchago, Alexey. <i>Service Specification and Matching Based on Graph Transformation</i>. 2006.","chicago":"Cherchago, Alexey. <i>Service Specification and Matching Based on Graph Transformation</i>, 2006.","short":"A. Cherchago, Service Specification and Matching Based on Graph Transformation, 2006.","apa":"Cherchago, A. (2006). <i>Service Specification and Matching Based on Graph Transformation</i>.","ieee":"A. Cherchago, <i>Service Specification and Matching Based on Graph Transformation</i>. 2006."},"department":[{"_id":"66"}],"type":"dissertation","date_created":"2019-02-06T14:25:17Z","date_updated":"2022-01-06T07:03:40Z","author":[{"last_name":"Cherchago","first_name":"Alexey","full_name":"Cherchago, Alexey"}],"year":"2006","title":"Service Specification and Matching Based on Graph Transformation","status":"public","user_id":"52534","language":[{"iso":"eng"}],"_id":"7581"},{"title":"A perceptual quality model intended for adaptive VoIP applications","status":"public","year":"2006","author":[{"full_name":"Hoene, Christian","last_name":"Hoene","first_name":"Christian"},{"full_name":"Karl, Holger","last_name":"Karl","first_name":"Holger","id":"126"},{"last_name":"Wolisz","first_name":"Adam","full_name":"Wolisz, Adam"}],"date_updated":"2022-01-06T07:03:53Z","page":"299--316","_id":"837","doi":"10.1002/dac.755","user_id":"15572","issue":"3","publication":"Int. J. Communication Systems","citation":{"mla":"Hoene, Christian, et al. “A Perceptual Quality Model Intended for Adaptive VoIP Applications.” <i>Int. J. Communication Systems</i>, no. 3, 2006, pp. 299--316, doi:<a href=\"https://doi.org/10.1002/dac.755\">10.1002/dac.755</a>.","bibtex":"@article{Hoene_Karl_Wolisz_2006, title={A perceptual quality model intended for adaptive VoIP applications}, DOI={<a href=\"https://doi.org/10.1002/dac.755\">10.1002/dac.755</a>}, number={3}, journal={Int. J. Communication Systems}, author={Hoene, Christian and Karl, Holger and Wolisz, Adam}, year={2006}, pages={299--316} }","ama":"Hoene C, Karl H, Wolisz A. A perceptual quality model intended for adaptive VoIP applications. <i>Int J Communication Systems</i>. 2006;(3):299--316. doi:<a href=\"https://doi.org/10.1002/dac.755\">10.1002/dac.755</a>","ieee":"C. Hoene, H. Karl, and A. Wolisz, “A perceptual quality model intended for adaptive VoIP applications,” <i>Int. J. Communication Systems</i>, no. 3, pp. 299--316, 2006.","apa":"Hoene, C., Karl, H., &#38; Wolisz, A. (2006). A perceptual quality model intended for adaptive VoIP applications. <i>Int. J. Communication Systems</i>, (3), 299--316. <a href=\"https://doi.org/10.1002/dac.755\">https://doi.org/10.1002/dac.755</a>","short":"C. Hoene, H. Karl, A. Wolisz, Int. J. Communication Systems (2006) 299--316.","chicago":"Hoene, Christian, Holger Karl, and Adam Wolisz. “A Perceptual Quality Model Intended for Adaptive VoIP Applications.” <i>Int. J. Communication Systems</i>, no. 3 (2006): 299--316. <a href=\"https://doi.org/10.1002/dac.755\">https://doi.org/10.1002/dac.755</a>."},"date_created":"2017-11-27T10:22:27Z","type":"journal_article","department":[{"_id":"75"}]},{"date_created":"2017-11-27T10:22:27Z","department":[{"_id":"75"}],"type":"journal_article","citation":{"ama":"Gross J, Geerdes H-}Florian, Karl H, Wolisz A. Performance analysis of dynamic OFDMA systems with inband signaling. <i>IEEE Journal on Selected Areas in Communications</i>. 2006;(3):427--436. doi:<a href=\"https://doi.org/10.1109/JSAC.2005.862386\">10.1109/JSAC.2005.862386</a>","bibtex":"@article{Gross_Geerdes_Karl_Wolisz_2006, title={Performance analysis of dynamic OFDMA systems with inband signaling}, DOI={<a href=\"https://doi.org/10.1109/JSAC.2005.862386\">10.1109/JSAC.2005.862386</a>}, number={3}, journal={IEEE Journal on Selected Areas in Communications}, author={Gross, James and Geerdes, Hans{-}Florian and Karl, Holger and Wolisz, Adam}, year={2006}, pages={427--436} }","mla":"Gross, James, et al. “Performance Analysis of Dynamic OFDMA Systems with Inband Signaling.” <i>IEEE Journal on Selected Areas in Communications</i>, no. 3, 2006, pp. 427--436, doi:<a href=\"https://doi.org/10.1109/JSAC.2005.862386\">10.1109/JSAC.2005.862386</a>.","chicago":"Gross, James, Hans{-}Florian Geerdes, Holger Karl, and Adam Wolisz. “Performance Analysis of Dynamic OFDMA Systems with Inband Signaling.” <i>IEEE Journal on Selected Areas in Communications</i>, no. 3 (2006): 427--436. <a href=\"https://doi.org/10.1109/JSAC.2005.862386\">https://doi.org/10.1109/JSAC.2005.862386</a>.","short":"J. Gross, H.-}Florian Geerdes, H. Karl, A. Wolisz, IEEE Journal on Selected Areas in Communications (2006) 427--436.","apa":"Gross, J., Geerdes, H.-}Florian, Karl, H., &#38; Wolisz, A. (2006). Performance analysis of dynamic OFDMA systems with inband signaling. <i>IEEE Journal on Selected Areas in Communications</i>, (3), 427--436. <a href=\"https://doi.org/10.1109/JSAC.2005.862386\">https://doi.org/10.1109/JSAC.2005.862386</a>","ieee":"J. Gross, H.-}Florian Geerdes, H. Karl, and A. Wolisz, “Performance analysis of dynamic OFDMA systems with inband signaling,” <i>IEEE Journal on Selected Areas in Communications</i>, no. 3, pp. 427--436, 2006."},"issue":"3","publication":"IEEE Journal on Selected Areas in Communications","_id":"838","page":"427--436","user_id":"15572","doi":"10.1109/JSAC.2005.862386","author":[{"full_name":"Gross, James","last_name":"Gross","first_name":"James"},{"full_name":"Geerdes, Hans{-}Florian","first_name":"Hans{-}Florian","last_name":"Geerdes"},{"full_name":"Karl, Holger","first_name":"Holger","last_name":"Karl","id":"126"},{"first_name":"Adam","last_name":"Wolisz","full_name":"Wolisz, Adam"}],"title":"Performance analysis of dynamic OFDMA systems with inband signaling","year":"2006","status":"public","date_updated":"2022-01-06T07:03:53Z"},{"citation":{"bibtex":"@article{Carlson_Prehofer_Bettstetter_Karl_Wolisz_2006, title={A Distributed End-to-End Reservation Protocol for IEEE 802.11-Based Wireless Mesh Networks}, DOI={<a href=\"https://doi.org/10.1109/JSAC.2006.881633\">10.1109/JSAC.2006.881633</a>}, number={11}, journal={IEEE Journal on Selected Areas in Communications}, author={Carlson, E. and Prehofer, Christian and Bettstetter, Christian and Karl, Holger and Wolisz, Adam}, year={2006}, pages={2018--2027} }","ama":"Carlson E, Prehofer C, Bettstetter C, Karl H, Wolisz A. A Distributed End-to-End Reservation Protocol for IEEE 802.11-Based Wireless Mesh Networks. <i>IEEE Journal on Selected Areas in Communications</i>. 2006;(11):2018--2027. doi:<a href=\"https://doi.org/10.1109/JSAC.2006.881633\">10.1109/JSAC.2006.881633</a>","mla":"Carlson, E., et al. “A Distributed End-to-End Reservation Protocol for IEEE 802.11-Based Wireless Mesh Networks.” <i>IEEE Journal on Selected Areas in Communications</i>, no. 11, 2006, pp. 2018--2027, doi:<a href=\"https://doi.org/10.1109/JSAC.2006.881633\">10.1109/JSAC.2006.881633</a>.","short":"E. Carlson, C. Prehofer, C. Bettstetter, H. Karl, A. Wolisz, IEEE Journal on Selected Areas in Communications (2006) 2018--2027.","chicago":"Carlson, E., Christian Prehofer, Christian Bettstetter, Holger Karl, and Adam Wolisz. “A Distributed End-to-End Reservation Protocol for IEEE 802.11-Based Wireless Mesh Networks.” <i>IEEE Journal on Selected Areas in Communications</i>, no. 11 (2006): 2018--2027. <a href=\"https://doi.org/10.1109/JSAC.2006.881633\">https://doi.org/10.1109/JSAC.2006.881633</a>.","ieee":"E. Carlson, C. Prehofer, C. Bettstetter, H. Karl, and A. Wolisz, “A Distributed End-to-End Reservation Protocol for IEEE 802.11-Based Wireless Mesh Networks,” <i>IEEE Journal on Selected Areas in Communications</i>, no. 11, pp. 2018--2027, 2006.","apa":"Carlson, E., Prehofer, C., Bettstetter, C., Karl, H., &#38; Wolisz, A. (2006). A Distributed End-to-End Reservation Protocol for IEEE 802.11-Based Wireless Mesh Networks. <i>IEEE Journal on Selected Areas in Communications</i>, (11), 2018--2027. <a href=\"https://doi.org/10.1109/JSAC.2006.881633\">https://doi.org/10.1109/JSAC.2006.881633</a>"},"issue":"11","publication":"IEEE Journal on Selected Areas in Communications","department":[{"_id":"75"}],"type":"journal_article","date_created":"2017-11-27T10:22:27Z","date_updated":"2022-01-06T07:03:54Z","author":[{"full_name":"Carlson, E.","last_name":"Carlson","first_name":"E."},{"first_name":"Christian","last_name":"Prehofer","full_name":"Prehofer, Christian"},{"first_name":"Christian","last_name":"Bettstetter","full_name":"Bettstetter, Christian"},{"first_name":"Holger","last_name":"Karl","full_name":"Karl, Holger"},{"first_name":"Adam","last_name":"Wolisz","full_name":"Wolisz, Adam"}],"status":"public","title":"A Distributed End-to-End Reservation Protocol for IEEE 802.11-Based Wireless Mesh Networks","year":"2006","user_id":"15572","doi":"10.1109/JSAC.2006.881633","_id":"839","page":"2018--2027"},{"department":[{"_id":"75"}],"type":"conference","date_created":"2017-11-27T10:22:27Z","citation":{"apa":"Mattern, F., Karl, H., &#38; Römer, K. (2006). Wireless Sensor Networks. In K. R{\\\"{o}}mer, H. Karl, &#38; F. Mattern (Eds.), <i>Third European Workshop, {EWSN} 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings</i>. <a href=\"https://doi.org/10.1007/11669463\">https://doi.org/10.1007/11669463</a>","ieee":"F. Mattern, H. Karl, and K. Römer, “Wireless Sensor Networks,” in <i>Third European Workshop, {EWSN} 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings</i>, 2006.","chicago":"Mattern, Friedemann, Holger Karl, and Kay Römer. “Wireless Sensor Networks.” In <i>Third European Workshop, {EWSN} 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings</i>, edited by Kay R{\\\"{o}}mer, Holger Karl, and Friedemann Mattern. Lecture Notes in Computer Science, 2006. <a href=\"https://doi.org/10.1007/11669463\">https://doi.org/10.1007/11669463</a>.","short":"F. Mattern, H. Karl, K. Römer, in: K. R{\\\"{o}}mer, H. Karl, F. Mattern (Eds.), Third European Workshop, {EWSN} 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings, 2006.","mla":"Mattern, Friedemann, et al. “Wireless Sensor Networks.” <i>Third European Workshop, {EWSN} 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings</i>, edited by Kay R{\\\"{o}}mer et al., 2006, doi:<a href=\"https://doi.org/10.1007/11669463\">10.1007/11669463</a>.","ama":"Mattern F, Karl H, Römer K. Wireless Sensor Networks. In: R{\\\"{o}}mer K, Karl H, Mattern F, eds. <i>Third European Workshop, {EWSN} 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings</i>. Lecture Notes in Computer Science. ; 2006. doi:<a href=\"https://doi.org/10.1007/11669463\">10.1007/11669463</a>","bibtex":"@inproceedings{Mattern_Karl_Römer_2006, series={Lecture Notes in Computer Science}, title={Wireless Sensor Networks}, DOI={<a href=\"https://doi.org/10.1007/11669463\">10.1007/11669463</a>}, booktitle={Third European Workshop, {EWSN} 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings}, author={Mattern, Friedemann and Karl, Holger and Römer, Kay}, editor={R{\\\"{o}}mer, Kay and Karl, Holger and Mattern, FriedemannEditors}, year={2006}, collection={Lecture Notes in Computer Science} }"},"publication":"Third European Workshop, {EWSN} 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings","editor":[{"full_name":"R{\\\"{o}}mer, Kay","first_name":"Kay","last_name":"R{\\\"{o}}mer"},{"full_name":"Karl, Holger","first_name":"Holger","last_name":"Karl"},{"last_name":"Mattern","first_name":"Friedemann","full_name":"Mattern, Friedemann"}],"user_id":"15572","doi":"10.1007/11669463","series_title":"Lecture Notes in Computer Science","_id":"840","date_updated":"2022-01-06T07:03:54Z","publication_identifier":{"isbn":["3-540-32158-6"]},"author":[{"full_name":"Mattern, Friedemann","first_name":"Friedemann","last_name":"Mattern"},{"id":"126","full_name":"Karl, Holger","first_name":"Holger","last_name":"Karl"},{"last_name":"Römer","first_name":"Kay","full_name":"Römer, Kay"}],"title":"Wireless Sensor Networks","status":"public","year":"2006"},{"citation":{"ieee":"T. Schattkowsky, A. Rettberg, and R. Dömer, “Design Space Exploration through Interactive Model Mappings for UML-based Specifications,” in <i>Proceedings of the 3rd UML for SoC Design Workshop (satellite event of the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA)</i>, 2006, pp. 25–28.","apa":"Schattkowsky, T., Rettberg, A., &#38; Dömer, R. (2006). Design Space Exploration through Interactive Model Mappings for UML-based Specifications. In <i>Proceedings of the 3rd UML for SoC Design Workshop (satellite event of the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA)</i> (pp. 25–28).","chicago":"Schattkowsky, Tim, Achim Rettberg, and Rainer Dömer. “Design Space Exploration through Interactive Model Mappings for UML-Based Specifications.” In <i>Proceedings of the 3rd UML for SoC Design Workshop (Satellite Event of the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA)</i>, 25–28, 2006.","short":"T. Schattkowsky, A. Rettberg, R. Dömer, in: Proceedings of the 3rd UML for SoC Design Workshop (Satellite Event of the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA), 2006, pp. 25–28.","mla":"Schattkowsky, Tim, et al. “Design Space Exploration through Interactive Model Mappings for UML-Based Specifications.” <i>Proceedings of the 3rd UML for SoC Design Workshop (Satellite Event of the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA)</i>, 2006, pp. 25–28.","bibtex":"@inproceedings{Schattkowsky_Rettberg_Dömer_2006, title={Design Space Exploration through Interactive Model Mappings for UML-based Specifications}, booktitle={Proceedings of the 3rd UML for SoC Design Workshop (satellite event of the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA)}, author={Schattkowsky, Tim and Rettberg, Achim and Dömer, Rainer}, year={2006}, pages={25–28} }","ama":"Schattkowsky T, Rettberg A, Dömer R. Design Space Exploration through Interactive Model Mappings for UML-based Specifications. In: <i>Proceedings of the 3rd UML for SoC Design Workshop (Satellite Event of the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA)</i>. ; 2006:25-28."},"publication":"Proceedings of the 3rd UML for SoC Design Workshop (satellite event of the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA)","department":[{"_id":"66"}],"type":"conference","date_created":"2019-03-06T11:44:45Z","date_updated":"2022-01-06T07:03:54Z","author":[{"full_name":"Schattkowsky, Tim","first_name":"Tim","last_name":"Schattkowsky"},{"full_name":"Rettberg, Achim","last_name":"Rettberg","first_name":"Achim"},{"full_name":"Dömer, Rainer","last_name":"Dömer","first_name":"Rainer"}],"title":"Design Space Exploration through Interactive Model Mappings for UML-based Specifications","status":"public","year":"2006","user_id":"52534","language":[{"iso":"eng"}],"_id":"8404","page":"25-28"},{"department":[{"_id":"66"}],"type":"conference","date_created":"2019-03-06T11:44:46Z","place":"Berlin / Heidelberg","abstract":[{"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.","lang":"eng"}],"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.","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} }","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.","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.","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.","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.","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."},"publication":"Proceedings of the workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France)","user_id":"52534","publisher":"Le Commissariat à l'Energie Atomique - CEA","_id":"8405","language":[{"iso":"eng"}],"page":"16-29","date_updated":"2022-01-06T07:03:54Z","author":[{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"last_name":"Güldali","first_name":"Baris","full_name":"Güldali, Baris"},{"first_name":"Marc","last_name":"Lohmann","full_name":"Lohmann, Marc"}],"year":"2006","status":"public","title":"Towards Model-Driven Unit Testing"}]