[{"publication":"Proceedings of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)","citation":{"apa":"Depke, R., Engels, G., Langham, M., Lütkemeier, B., &#38; Thöne, S. (2002). Process-Oriented, Consistent Integration of Software Components. In <i>Proceedings of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)</i> (pp. 13–18). Washington, DC, USA: IEEE Computer Society. <a href=\"http://dx.doi.org/10.1109/CMPSAC.2002.1044527\">http://dx.doi.org/10.1109/CMPSAC.2002.1044527</a>","mla":"Depke, Ralph, et al. “Process-Oriented, Consistent Integration of Software Components.” <i>Proceedings of the Conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)</i>, IEEE Computer Society, 2002, pp. 13–18, doi:<a href=\"http://dx.doi.org/10.1109/CMPSAC.2002.1044527\">http://dx.doi.org/10.1109/CMPSAC.2002.1044527</a>.","ieee":"R. Depke, G. Engels, M. Langham, B. Lütkemeier, and S. Thöne, “Process-Oriented, Consistent Integration of Software Components,” in <i>Proceedings of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)</i>, 2002, pp. 13–18.","short":"R. Depke, G. Engels, M. Langham, B. Lütkemeier, S. Thöne, in: Proceedings of the Conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England), IEEE Computer Society, Washington, DC, USA, 2002, pp. 13–18.","ama":"Depke R, Engels G, Langham M, Lütkemeier B, Thöne S. Process-Oriented, Consistent Integration of Software Components. In: <i>Proceedings of the Conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)</i>. Washington, DC, USA: IEEE Computer Society; 2002:13-18. doi:<a href=\"http://dx.doi.org/10.1109/CMPSAC.2002.1044527\">http://dx.doi.org/10.1109/CMPSAC.2002.1044527</a>","chicago":"Depke, Ralph, Gregor Engels, Matthew Langham, Björn Lütkemeier, and Sebastian Thöne. “Process-Oriented, Consistent Integration of Software Components.” In <i>Proceedings of the Conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)</i>, 13–18. Washington, DC, USA: IEEE Computer Society, 2002. <a href=\"http://dx.doi.org/10.1109/CMPSAC.2002.1044527\">http://dx.doi.org/10.1109/CMPSAC.2002.1044527</a>.","bibtex":"@inproceedings{Depke_Engels_Langham_Lütkemeier_Thöne_2002, place={Washington, DC, USA}, title={Process-Oriented, Consistent Integration of Software Components}, DOI={<a href=\"http://dx.doi.org/10.1109/CMPSAC.2002.1044527\">http://dx.doi.org/10.1109/CMPSAC.2002.1044527</a>}, booktitle={Proceedings of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)}, publisher={IEEE Computer Society}, author={Depke, Ralph and Engels, Gregor and Langham, Matthew and Lütkemeier, Björn and Thöne, Sebastian}, year={2002}, pages={13–18} }"},"date_created":"2019-02-21T10:55:46Z","place":"Washington, DC, USA","type":"conference","department":[{"_id":"66"}],"title":"Process-Oriented, Consistent Integration of Software Components","year":"2002","status":"public","author":[{"full_name":"Depke, Ralph","first_name":"Ralph","last_name":"Depke"},{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"last_name":"Langham","first_name":"Matthew","full_name":"Langham, Matthew"},{"full_name":"Lütkemeier, Björn","first_name":"Björn","last_name":"Lütkemeier"},{"first_name":"Sebastian","last_name":"Thöne","full_name":"Thöne, Sebastian"}],"date_updated":"2022-01-06T07:03:47Z","page":"13-18","_id":"7896","publisher":"IEEE Computer Society","language":[{"iso":"eng"}],"user_id":"52534","doi":"http://dx.doi.org/10.1109/CMPSAC.2002.1044527"},{"volume":2460,"user_id":"52534","series_title":"LNCS","_id":"7897","publisher":"Springer","language":[{"iso":"eng"}],"page":"212-226","intvolume":"      2460","date_updated":"2022-01-06T07:03:47Z","author":[{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"last_name":"Heckel","first_name":"Reiko","full_name":"Heckel, Reiko"},{"last_name":"Küster","first_name":"Jochen","full_name":"Küster, Jochen"},{"full_name":"Groenewegen, Luuk","first_name":"Luuk","last_name":"Groenewegen"}],"title":"Consistency-Preserving Model Evolution through Transformations","status":"public","year":"2002","department":[{"_id":"66"}],"type":"conference","place":"Berlin/Heidelberg","date_created":"2019-02-21T10:56:48Z","citation":{"apa":"Engels, G., Heckel, R., Küster, J., &#38; Groenewegen, L. (2002). Consistency-Preserving Model Evolution through Transformations. In <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i> (Vol. 2460, pp. 212–226). Berlin/Heidelberg: Springer.","mla":"Engels, Gregor, et al. “Consistency-Preserving Model Evolution through Transformations.” <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>, vol. 2460, Springer, 2002, pp. 212–26.","ieee":"G. Engels, R. Heckel, J. Küster, and L. Groenewegen, “Consistency-Preserving Model Evolution through Transformations,” in <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>, 2002, vol. 2460, pp. 212–226.","short":"G. Engels, R. Heckel, J. Küster, L. Groenewegen, in: Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany), Springer, Berlin/Heidelberg, 2002, pp. 212–226.","ama":"Engels G, Heckel R, Küster J, Groenewegen L. Consistency-Preserving Model Evolution through Transformations. In: <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>. Vol 2460. LNCS. Berlin/Heidelberg: Springer; 2002:212-226.","chicago":"Engels, Gregor, Reiko Heckel, Jochen Küster, and Luuk Groenewegen. “Consistency-Preserving Model Evolution through Transformations.” In <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>, 2460:212–26. LNCS. Berlin/Heidelberg: Springer, 2002.","bibtex":"@inproceedings{Engels_Heckel_Küster_Groenewegen_2002, place={Berlin/Heidelberg}, series={LNCS}, title={Consistency-Preserving Model Evolution through Transformations}, volume={2460}, booktitle={Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko and Küster, Jochen and Groenewegen, Luuk}, year={2002}, pages={212–226}, collection={LNCS} }"},"publication":"Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)"},{"publication":"Proceedings of the conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)","issue":"4","citation":{"mla":"Engels, Gregor, et al. “Consistent Interaction Of Software Components.” <i>Proceedings of the Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, vol. 6, no. 4, IOS Press, 2002, pp. 2–22.","bibtex":"@inproceedings{Engels_Küster_Groenewegen_2002, title={Consistent Interaction Of Software Components}, volume={6}, number={4}, booktitle={Proceedings of the conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)}, publisher={IOS Press}, author={Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}, year={2002}, pages={2–22} }","ama":"Engels G, Küster J, Groenewegen L. Consistent Interaction Of Software Components. In: <i>Proceedings of the Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>. Vol 6. IOS Press; 2002:2-22.","ieee":"G. Engels, J. Küster, and L. Groenewegen, “Consistent Interaction Of Software Components,” in <i>Proceedings of the conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, 2002, vol. 6, no. 4, pp. 2–22.","apa":"Engels, G., Küster, J., &#38; Groenewegen, L. (2002). Consistent Interaction Of Software Components. In <i>Proceedings of the conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i> (Vol. 6, pp. 2–22). IOS Press.","short":"G. Engels, J. Küster, L. Groenewegen, in: Proceedings of the Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), IOS Press, 2002, pp. 2–22.","chicago":"Engels, Gregor, Jochen Küster, and Luuk Groenewegen. “Consistent Interaction Of Software Components.” In <i>Proceedings of the Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, 6:2–22. IOS Press, 2002."},"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-21T10:57:29Z","date_updated":"2022-01-06T07:03:47Z","intvolume":"         6","year":"2002","status":"public","title":"Consistent Interaction Of Software Components","author":[{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"},{"first_name":"Jochen","last_name":"Küster","full_name":"Küster, Jochen"},{"last_name":"Groenewegen","first_name":"Luuk","full_name":"Groenewegen, Luuk"}],"user_id":"52534","volume":6,"page":"2-22","language":[{"iso":"eng"}],"_id":"7898","publisher":"IOS Press"},{"date_created":"2019-02-21T10:58:02Z","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)","citation":{"mla":"Engels, Gregor, et al. “Testing the Consistency of Dynamic UML Diagrams.” <i>Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, 2002.","ama":"Engels G, Hendrik Hausmann J, Heckel R, Sauer S. Testing the Consistency of Dynamic UML Diagrams. In: <i>Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>. ; 2002.","bibtex":"@inproceedings{Engels_Hendrik Hausmann_Heckel_Sauer_2002, title={Testing the Consistency of Dynamic UML Diagrams}, booktitle={Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)}, author={Engels, Gregor and Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2002} }","apa":"Engels, G., Hendrik Hausmann, J., Heckel, R., &#38; Sauer, S. (2002). Testing the Consistency of Dynamic UML Diagrams. In <i>Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>.","ieee":"G. Engels, J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Testing the Consistency of Dynamic UML Diagrams,” in <i>Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, 2002.","chicago":"Engels, Gregor, Jan Hendrik Hausmann, Reiko Heckel, and Stefan Sauer. “Testing the Consistency of Dynamic UML Diagrams.” In <i>Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, 2002.","short":"G. Engels, J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), 2002."},"language":[{"iso":"eng"}],"_id":"7899","user_id":"52534","title":"Testing the Consistency of Dynamic UML Diagrams","status":"public","year":"2002","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"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"id":"447","last_name":"Sauer","first_name":"Stefan","full_name":"Sauer, Stefan"}],"date_updated":"2022-01-06T07:03:47Z"},{"author":[{"full_name":"Gyapay, Szilvia","first_name":"Szilvia","last_name":"Gyapay"},{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"},{"first_name":"Dániel","last_name":"Varró","full_name":"Varró, Dániel"}],"status":"public","year":"2002","title":"Graph Transformation with Time: Causality and Logical Clocks","intvolume":"      2505","date_updated":"2022-01-06T07:03:47Z","language":[{"iso":"eng"}],"_id":"7900","publisher":"Springer","series_title":"LNCS","page":"120-134","volume":2505,"user_id":"52534","citation":{"ieee":"S. Gyapay, R. Heckel, and D. Varró, “Graph Transformation with Time: Causality and Logical Clocks,” in <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>, 2002, vol. 2505, pp. 120–134.","apa":"Gyapay, S., Heckel, R., &#38; Varró, D. (2002). Graph Transformation with Time: Causality and Logical Clocks. In <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i> (Vol. 2505, pp. 120–134). Berlin/Heidelberg: Springer.","mla":"Gyapay, Szilvia, et al. “Graph Transformation with Time: Causality and Logical Clocks.” <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>, vol. 2505, Springer, 2002, pp. 120–34.","bibtex":"@inproceedings{Gyapay_Heckel_Varró_2002, place={Berlin/Heidelberg}, series={LNCS}, title={Graph Transformation with Time: Causality and Logical Clocks}, volume={2505}, booktitle={Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)}, publisher={Springer}, author={Gyapay, Szilvia and Heckel, Reiko and Varró, Dániel}, year={2002}, pages={120–134}, collection={LNCS} }","short":"S. Gyapay, R. Heckel, D. Varró, in: Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg, 2002, pp. 120–134.","ama":"Gyapay S, Heckel R, Varró D. Graph Transformation with Time: Causality and Logical Clocks. In: <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>. Vol 2505. LNCS. Berlin/Heidelberg: Springer; 2002:120-134.","chicago":"Gyapay, Szilvia, Reiko Heckel, and Dániel Varró. “Graph Transformation with Time: Causality and Logical Clocks.” In <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>, 2505:120–34. LNCS. Berlin/Heidelberg: Springer, 2002."},"publication":"Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)","date_created":"2019-02-21T10:58:36Z","place":"Berlin/Heidelberg","department":[{"_id":"66"}],"type":"conference"},{"date_created":"2019-02-21T10:59:09Z","place":"New York, NY, USA","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)","citation":{"bibtex":"@inproceedings{Hendrik Hausmann_Heckel_Taentzer_2002, place={New York, NY, USA}, title={Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation}, DOI={<a href=\"http://doi.acm.org/10.1145/581339.581355\">http://doi.acm.org/10.1145/581339.581355</a>}, booktitle={Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)}, publisher={ACM Press}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Taentzer, Gabriele}, year={2002}, pages={105–155} }","ama":"Hendrik Hausmann J, Heckel R, Taentzer G. Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation. In: <i>Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)</i>. New York, NY, USA: ACM Press; 2002:105-155. doi:<a href=\"http://doi.acm.org/10.1145/581339.581355\">http://doi.acm.org/10.1145/581339.581355</a>","mla":"Hendrik Hausmann, Jan, et al. “Detecting Conflicting Functional Requirements in a Use Case Driven Approach: A Static Analysis Technique Based on Graph Transformation.” <i>Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)</i>, ACM Press, 2002, pp. 105–55, doi:<a href=\"http://doi.acm.org/10.1145/581339.581355\">http://doi.acm.org/10.1145/581339.581355</a>.","chicago":"Hendrik Hausmann, Jan, Reiko Heckel, and Gabriele Taentzer. “Detecting Conflicting Functional Requirements in a Use Case Driven Approach: A Static Analysis Technique Based on Graph Transformation.” In <i>Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)</i>, 105–55. New York, NY, USA: ACM Press, 2002. <a href=\"http://doi.acm.org/10.1145/581339.581355\">http://doi.acm.org/10.1145/581339.581355</a>.","short":"J. Hendrik Hausmann, R. Heckel, G. Taentzer, in: Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA), ACM Press, New York, NY, USA, 2002, pp. 105–155.","ieee":"J. Hendrik Hausmann, R. Heckel, and G. Taentzer, “Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation,” in <i>Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)</i>, 2002, pp. 105–155.","apa":"Hendrik Hausmann, J., Heckel, R., &#38; Taentzer, G. (2002). Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation. In <i>Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)</i> (pp. 105–155). New York, NY, USA: ACM Press. <a href=\"http://doi.acm.org/10.1145/581339.581355\">http://doi.acm.org/10.1145/581339.581355</a>"},"page":"105-155 ","_id":"7901","publisher":"ACM Press","language":[{"iso":"eng"}],"user_id":"52534","doi":"http://doi.acm.org/10.1145/581339.581355","title":"Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation","status":"public","year":"2002","author":[{"last_name":"Hendrik Hausmann","first_name":"Jan","full_name":"Hendrik Hausmann, Jan"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"last_name":"Taentzer","first_name":"Gabriele","full_name":"Taentzer, Gabriele"}],"date_updated":"2022-01-06T07:03:47Z"},{"date_updated":"2022-01-06T07:03:47Z","title":"Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets","year":"2002","status":"public","author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"first_name":"Mourad","last_name":"Chouikha","full_name":"Chouikha, Mourad"}],"user_id":"52534","page":"63-77","language":[{"iso":"eng"}],"_id":"7902","publisher":"Society of Design and Process Science","publication":"Proceedings of the conference on Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA)","citation":{"mla":"Heckel, Reiko, and Mourad Chouikha. “Compositional Control Synthesis for Discrete Event Systems: An Approach Based on Open Petri Nets.” <i>Proceedings of the Conference on Integrated Design &#38; Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, Society of Design and Process Science, 2002, pp. 63–77.","bibtex":"@inproceedings{Heckel_Chouikha_2002, place={Grandview, TX, USA}, title={Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets}, booktitle={Proceedings of the conference on Integrated Design &#38; Process Technology (IDPT 2002), Pasadena, CA (USA)}, publisher={Society of Design and Process Science}, author={Heckel, Reiko and Chouikha, Mourad}, year={2002}, pages={63–77} }","ama":"Heckel R, Chouikha M. Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets. In: <i>Proceedings of the Conference on Integrated Design &#38; Process Technology (IDPT 2002), Pasadena, CA (USA)</i>. Grandview, TX, USA: Society of Design and Process Science; 2002:63-77.","ieee":"R. Heckel and M. Chouikha, “Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets,” in <i>Proceedings of the conference on Integrated Design &#38; Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, 2002, pp. 63–77.","apa":"Heckel, R., &#38; Chouikha, M. (2002). Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets. In <i>Proceedings of the conference on Integrated Design &#38; Process Technology (IDPT 2002), Pasadena, CA (USA)</i> (pp. 63–77). Grandview, TX, USA: Society of Design and Process Science.","chicago":"Heckel, Reiko, and Mourad Chouikha. “Compositional Control Synthesis for Discrete Event Systems: An Approach Based on Open Petri Nets.” In <i>Proceedings of the Conference on Integrated Design &#38; Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, 63–77. Grandview, TX, USA: Society of Design and Process Science, 2002.","short":"R. Heckel, M. Chouikha, in: Proceedings of the Conference on Integrated Design &#38; Process Technology (IDPT 2002), Pasadena, CA (USA), Society of Design and Process Science, Grandview, TX, USA, 2002, pp. 63–77."},"type":"conference","department":[{"_id":"66"}],"place":"Grandview, TX, USA","date_created":"2019-02-21T10:59:49Z"},{"author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"full_name":"Küster, Jochen","first_name":"Jochen","last_name":"Küster"},{"full_name":"Taentzer, Gabriele","first_name":"Gabriele","last_name":"Taentzer"}],"title":"Confluence of Typed Attributed Graph Transformation Systems","status":"public","year":"2002","date_updated":"2022-01-06T07:03:47Z","_id":"7903","language":[{"iso":"eng"}],"publisher":"Springer","page":"161-176","user_id":"52534","citation":{"chicago":"Heckel, Reiko, Jochen Küster, and Gabriele Taentzer. “Confluence of Typed Attributed Graph Transformation Systems.” In <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>, 161–76. Berlin/Heidelberg: Springer, 2002.","short":"R. Heckel, J. Küster, G. Taentzer, in: Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg, 2002, pp. 161–176.","ieee":"R. Heckel, J. Küster, and G. Taentzer, “Confluence of Typed Attributed Graph Transformation Systems,” in <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>, 2002, pp. 161–176.","apa":"Heckel, R., Küster, J., &#38; Taentzer, G. (2002). Confluence of Typed Attributed Graph Transformation Systems. In <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i> (pp. 161–176). Berlin/Heidelberg: Springer.","bibtex":"@inproceedings{Heckel_Küster_Taentzer_2002, place={Berlin/Heidelberg}, title={Confluence of Typed Attributed Graph Transformation Systems}, booktitle={Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)}, publisher={Springer}, author={Heckel, Reiko and Küster, Jochen and Taentzer, Gabriele}, year={2002}, pages={161–176} }","ama":"Heckel R, Küster J, Taentzer G. Confluence of Typed Attributed Graph Transformation Systems. In: <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>. Berlin/Heidelberg: Springer; 2002:161-176.","mla":"Heckel, Reiko, et al. “Confluence of Typed Attributed Graph Transformation Systems.” <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>, Springer, 2002, pp. 161–76."},"publication":"Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)","date_created":"2019-02-21T11:00:30Z","place":"Berlin/Heidelberg","department":[{"_id":"66"}],"type":"conference"},{"department":[{"_id":"66"}],"type":"conference","place":"Berlin/Heidelberg","date_created":"2019-02-21T11:01:07Z","citation":{"mla":"Mehner, Katharina. “JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs.” <i>Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)</i>, vol. 2269, Springer, 2002, pp. 163–75.","bibtex":"@inproceedings{Mehner_2002, place={Berlin/Heidelberg}, series={LNCS}, title={JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs}, volume={2269}, booktitle={Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)}, publisher={Springer}, author={Mehner, Katharina}, year={2002}, pages={163–175}, collection={LNCS} }","ama":"Mehner K. JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs. In: <i>Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)</i>. Vol 2269. LNCS. Berlin/Heidelberg: Springer; 2002:163-175.","ieee":"K. Mehner, “JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs,” in <i>Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)</i>, 2002, vol. 2269, pp. 163–175.","apa":"Mehner, K. (2002). JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs. In <i>Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)</i> (Vol. 2269, pp. 163–175). Berlin/Heidelberg: Springer.","short":"K. Mehner, in: Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany), Springer, Berlin/Heidelberg, 2002, pp. 163–175.","chicago":"Mehner, Katharina. “JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs.” In <i>Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)</i>, 2269:163–75. LNCS. Berlin/Heidelberg: Springer, 2002."},"publication":"Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)","volume":2269,"user_id":"52534","_id":"7904","publisher":"Springer","series_title":"LNCS","language":[{"iso":"eng"}],"page":"163-175","intvolume":"      2269","date_updated":"2022-01-06T07:03:47Z","author":[{"last_name":"Mehner","first_name":"Katharina","full_name":"Mehner, Katharina"}],"title":"JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs","status":"public","year":"2002"},{"date_updated":"2022-01-06T07:03:47Z","year":"2002","title":"Rapid Development of Modular Dynamic Web Sites Using UML","status":"public","author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"last_name":"Lohmann","first_name":"Marc","full_name":"Lohmann, Marc"}],"user_id":"52534","doi":"http://dx.doi.org/10.1007/3-540-45800-X","page":"336-350","language":[{"iso":"eng"}],"_id":"7905","publisher":"Springer","series_title":"LNCS","publication":"Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)","citation":{"chicago":"Schattkowsky, Tim, and Marc Lohmann. “Rapid Development of Modular Dynamic Web Sites Using UML.” In <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>, 336–50. LNCS. London, UK: Springer, 2002. <a href=\"http://dx.doi.org/10.1007/3-540-45800-X\">http://dx.doi.org/10.1007/3-540-45800-X</a>.","short":"T. Schattkowsky, M. Lohmann, in: Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany), Springer, London, UK, 2002, pp. 336–350.","ieee":"T. Schattkowsky and M. Lohmann, “Rapid Development of Modular Dynamic Web Sites Using UML,” in <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>, 2002, pp. 336–350.","apa":"Schattkowsky, T., &#38; Lohmann, M. (2002). Rapid Development of Modular Dynamic Web Sites Using UML. In <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i> (pp. 336–350). London, UK: Springer. <a href=\"http://dx.doi.org/10.1007/3-540-45800-X\">http://dx.doi.org/10.1007/3-540-45800-X</a>","bibtex":"@inproceedings{Schattkowsky_Lohmann_2002, place={London, UK}, series={LNCS}, title={Rapid Development of Modular Dynamic Web Sites Using UML}, DOI={<a href=\"http://dx.doi.org/10.1007/3-540-45800-X\">http://dx.doi.org/10.1007/3-540-45800-X</a>}, booktitle={Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)}, publisher={Springer}, author={Schattkowsky, Tim and Lohmann, Marc}, year={2002}, pages={336–350}, collection={LNCS} }","ama":"Schattkowsky T, Lohmann M. Rapid Development of Modular Dynamic Web Sites Using UML. In: <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>. LNCS. London, UK: Springer; 2002:336-350. doi:<a href=\"http://dx.doi.org/10.1007/3-540-45800-X\">http://dx.doi.org/10.1007/3-540-45800-X</a>","mla":"Schattkowsky, Tim, and Marc Lohmann. “Rapid Development of Modular Dynamic Web Sites Using UML.” <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>, Springer, 2002, pp. 336–50, doi:<a href=\"http://dx.doi.org/10.1007/3-540-45800-X\">http://dx.doi.org/10.1007/3-540-45800-X</a>."},"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-21T11:01:45Z","place":"London, UK"},{"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-21T11:02:12Z","publication":"Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)","citation":{"ama":"Cherchago A. Formal Semantics for a UML fragment using UML/OCL metamodeling. In: <i>Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)</i>. ACTA Press; 2002.","bibtex":"@inproceedings{Cherchago_2002, title={Formal Semantics for a UML fragment using UML/OCL metamodeling}, booktitle={Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)}, publisher={ACTA Press}, author={Cherchago, Alexey}, year={2002} }","mla":"Cherchago, Alexey. “Formal Semantics for a UML Fragment Using UML/OCL Metamodeling.” <i>Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)</i>, ACTA Press, 2002.","short":"A. Cherchago, in: Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA), ACTA Press, 2002.","chicago":"Cherchago, Alexey. “Formal Semantics for a UML Fragment Using UML/OCL Metamodeling.” In <i>Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)</i>. ACTA Press, 2002.","apa":"Cherchago, A. (2002). Formal Semantics for a UML fragment using UML/OCL metamodeling. In <i>Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)</i>. ACTA Press.","ieee":"A. Cherchago, “Formal Semantics for a UML fragment using UML/OCL metamodeling,” in <i>Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)</i>, 2002."},"user_id":"52534","language":[{"iso":"eng"}],"_id":"7906","publisher":"ACTA Press","date_updated":"2022-01-06T07:03:47Z","status":"public","title":"Formal Semantics for a UML fragment using UML/OCL metamodeling","year":"2002","author":[{"full_name":"Cherchago, Alexey","last_name":"Cherchago","first_name":"Alexey"}]},{"author":[{"full_name":"Constanza, Pascal","first_name":"Pascal","last_name":"Constanza"},{"full_name":"Kniesel, Günther","first_name":"Günther","last_name":"Kniesel"},{"full_name":"Mehner, Katharina","last_name":"Mehner","first_name":"Katharina"},{"first_name":"Elke","last_name":"Pulvermüller","full_name":"Pulvermüller, Elke"},{"full_name":"Speck, Andreas","first_name":"Andreas","last_name":"Speck"}],"status":"public","title":"Proceedings of the Workshop on Aspect-Oriented Software Developement, held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement","year":"2002","date_updated":"2022-01-06T07:03:52Z","_id":"8212","language":[{"iso":"eng"}],"publisher":"University of Bonn","user_id":"52534","citation":{"apa":"Constanza, P., Kniesel, G., Mehner, K., Pulvermüller, E., &#38; Speck, A. (2002). <i>Proceedings of the Workshop on Aspect-Oriented Software Developement, held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement</i>. University of Bonn.","ieee":"P. Constanza, G. Kniesel, K. Mehner, E. Pulvermüller, and A. Speck, <i>Proceedings of the Workshop on Aspect-Oriented Software Developement, held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement</i>. University of Bonn, 2002.","short":"P. Constanza, G. Kniesel, K. Mehner, E. Pulvermüller, A. Speck, Proceedings of the Workshop on Aspect-Oriented Software Developement, Held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, University of Bonn, 2002.","chicago":"Constanza, Pascal, Günther Kniesel, Katharina Mehner, Elke Pulvermüller, and Andreas Speck. <i>Proceedings of the Workshop on Aspect-Oriented Software Developement, Held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement</i>. University of Bonn, 2002.","mla":"Constanza, Pascal, et al. <i>Proceedings of the Workshop on Aspect-Oriented Software Developement, Held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement</i>. University of Bonn, 2002.","ama":"Constanza P, Kniesel G, Mehner K, Pulvermüller E, Speck A. <i>Proceedings of the Workshop on Aspect-Oriented Software Developement, Held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement</i>. University of Bonn; 2002.","bibtex":"@book{Constanza_Kniesel_Mehner_Pulvermüller_Speck_2002, title={Proceedings of the Workshop on Aspect-Oriented Software Developement, held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement}, publisher={University of Bonn}, author={Constanza, Pascal and Kniesel, Günther and Mehner, Katharina and Pulvermüller, Elke and Speck, Andreas}, year={2002} }"},"report_number":"IAI-TR-2002-1","date_created":"2019-03-03T16:13:10Z","department":[{"_id":"66"}],"type":"report"},{"status":"public","year":"2002","title":"Concurrency and Loose Semantics of Open Graph Transformation Systems","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"full_name":"Llabrés, Mercé","last_name":"Llabrés","first_name":"Mercé"},{"full_name":"Ehrig, Hartmut","first_name":"Hartmut","last_name":"Ehrig"},{"first_name":"Fernando","last_name":"Orejas","full_name":"Orejas, Fernando"}],"date_updated":"2022-01-06T07:03:36Z","intvolume":"        12","page":"349-376","language":[{"iso":"eng"}],"_id":"7385","user_id":"52534","volume":12,"publication":"Mathematical Structures in Computer Science","issue":"4","citation":{"mla":"Heckel, Reiko, et al. “Concurrency and Loose Semantics of Open Graph Transformation Systems.” <i>Mathematical Structures in Computer Science</i>, vol. 12, no. 4, 2002, pp. 349–76.","bibtex":"@article{Heckel_Llabrés_Ehrig_Orejas_2002, title={Concurrency and Loose Semantics of Open Graph Transformation Systems}, volume={12}, number={4}, journal={Mathematical Structures in Computer Science}, author={Heckel, Reiko and Llabrés, Mercé and Ehrig, Hartmut and Orejas, Fernando}, year={2002}, pages={349–376} }","ama":"Heckel R, Llabrés M, Ehrig H, Orejas F. Concurrency and Loose Semantics of Open Graph Transformation Systems. <i>Mathematical Structures in Computer Science</i>. 2002;12(4):349-376.","ieee":"R. Heckel, M. Llabrés, H. Ehrig, and F. Orejas, “Concurrency and Loose Semantics of Open Graph Transformation Systems,” <i>Mathematical Structures in Computer Science</i>, vol. 12, no. 4, pp. 349–376, 2002.","apa":"Heckel, R., Llabrés, M., Ehrig, H., &#38; Orejas, F. (2002). Concurrency and Loose Semantics of Open Graph Transformation Systems. <i>Mathematical Structures in Computer Science</i>, <i>12</i>(4), 349–376.","short":"R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, Mathematical Structures in Computer Science 12 (2002) 349–376.","chicago":"Heckel, Reiko, Mercé Llabrés, Hartmut Ehrig, and Fernando Orejas. “Concurrency and Loose Semantics of Open Graph Transformation Systems.” <i>Mathematical Structures in Computer Science</i> 12, no. 4 (2002): 349–76."},"date_created":"2019-01-31T15:36:17Z","type":"journal_article","department":[{"_id":"66"}]},{"user_id":"52534","volume":6,"page":"2-22","language":[{"iso":"eng"}],"_id":"7387","date_updated":"2022-01-06T07:03:36Z","intvolume":"         6","title":"Consistent Interaction of Software Components","status":"public","year":"2002","author":[{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"},{"first_name":"Luuk","last_name":"Groenewegen","full_name":"Groenewegen, Luuk"}],"type":"journal_article","department":[{"_id":"66"}],"date_created":"2019-01-31T15:38:09Z","abstract":[{"lang":"eng","text":"Constructing complex software systems by integrating different software components is a promising and challenging approach. With the functionality of software components given by models it is possible to ensure consistency of such models before implementation in order to successfully build the system. Models consisting of different submodels, the absence of an overall formal semantics and the numerous possibilities of employing models requires the development of techniques ensuring the consistency. In this paper, we discuss the issue of consistency of models made up of different submodels proposing a concept for the management of consistency. Consistency management relies on a consistency concept and a process for ensuring consistency of models. We introduce a consistency concept for software components modeled in the Unified Modeling Language (UML) and devise suitable consistency checks. On this basis, we propose a process how to locate and resolve inconsistencies, thus ensuring the consistency of models and by that the consistency of componentbased systems derived from those models."}],"issue":"4","publication":"Transactions of the SDPS: Journal of Integrated Design & Process Science","citation":{"chicago":"Engels, Gregor, Jochen Küster, and Luuk Groenewegen. “Consistent Interaction of Software Components.” <i>Transactions of the SDPS: Journal of Integrated Design &#38; Process Science</i> 6, no. 4 (2002): 2–22.","short":"G. Engels, J. Küster, L. Groenewegen, Transactions of the SDPS: Journal of Integrated Design &#38; Process Science 6 (2002) 2–22.","apa":"Engels, G., Küster, J., &#38; Groenewegen, L. (2002). Consistent Interaction of Software Components. <i>Transactions of the SDPS: Journal of Integrated Design &#38; Process Science</i>, <i>6</i>(4), 2–22.","ieee":"G. Engels, J. Küster, and L. Groenewegen, “Consistent Interaction of Software Components,” <i>Transactions of the SDPS: Journal of Integrated Design &#38; Process Science</i>, vol. 6, no. 4, pp. 2–22, 2002.","ama":"Engels G, Küster J, Groenewegen L. Consistent Interaction of Software Components. <i>Transactions of the SDPS: Journal of Integrated Design &#38; Process Science</i>. 2002;6(4):2-22.","bibtex":"@article{Engels_Küster_Groenewegen_2002, title={Consistent Interaction of Software Components}, volume={6}, number={4}, journal={Transactions of the SDPS: Journal of Integrated Design &#38; Process Science}, author={Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}, year={2002}, pages={2–22} }","mla":"Engels, Gregor, et al. “Consistent Interaction of Software Components.” <i>Transactions of the SDPS: Journal of Integrated Design &#38; Process Science</i>, vol. 6, no. 4, 2002, pp. 2–22."}},{"publication":"Science of Computer Programming","citation":{"short":"R. Depke, R. Heckel, J. Küster, Science of Computer Programming 44 (2002) 229–252.","chicago":"Depke, Ralph, Reiko Heckel, and Jochen Küster. “Formal Agent-Oriented Modeling with Graph Transformation.” <i>Science of Computer Programming</i> 44 (2002): 229–52.","ieee":"R. Depke, R. Heckel, and J. Küster, “Formal Agent-Oriented Modeling with Graph Transformation,” <i>Science of Computer Programming</i>, vol. 44, pp. 229–252, 2002.","apa":"Depke, R., Heckel, R., &#38; Küster, J. (2002). Formal Agent-Oriented Modeling with Graph Transformation. <i>Science of Computer Programming</i>, <i>44</i>, 229–252.","bibtex":"@article{Depke_Heckel_Küster_2002, title={Formal Agent-Oriented Modeling with Graph Transformation}, volume={44}, journal={Science of Computer Programming}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2002}, pages={229–252} }","ama":"Depke R, Heckel R, Küster J. Formal Agent-Oriented Modeling with Graph Transformation. <i>Science of Computer Programming</i>. 2002;44:229-252.","mla":"Depke, Ralph, et al. “Formal Agent-Oriented Modeling with Graph Transformation.” <i>Science of Computer Programming</i>, vol. 44, 2002, pp. 229–52."},"date_created":"2019-01-31T15:39:00Z","type":"journal_article","department":[{"_id":"66"}],"title":"Formal Agent-Oriented Modeling with Graph Transformation","year":"2002","status":"public","author":[{"first_name":"Ralph","last_name":"Depke","full_name":"Depke, Ralph"},{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"},{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"}],"date_updated":"2022-01-06T07:03:36Z","intvolume":"        44","page":"229-252","language":[{"iso":"eng"}],"_id":"7388","user_id":"52534","volume":44},{"department":[{"_id":"66"}],"type":"journal_article","date_created":"2019-01-31T15:39:38Z","abstract":[{"lang":"ger","text":"Im BMBF-Verbundprojekt MuSofT werden multimediale Lehrmaterialien für die Lehre der Softwaretechnik entwickelt. Neben den inhaltliche Aspekten sind die Distribution und die Lizenzierung der erstellten Lehrmaterialien wichtige Themakomplexe, um die Nachhaltigkeit des Projektes zu erhöhen. In diesem Papier stellen wir die in MuSofT gewählten Lösungen einer Open-Content-Lizenz sowie eines Portals zur Distribution der entwickelten Materialien vor."}],"citation":{"ama":"Doberkat E-E, Engels G. MuSofT - Multimedia in der Softwaretechnik. <i>Informatik Forschung und Entwicklung</i>. 2002;1(17):41-44.","bibtex":"@article{Doberkat_Engels_2002, title={MuSofT - Multimedia in der Softwaretechnik}, volume={1}, number={17}, journal={Informatik Forschung und Entwicklung}, author={Doberkat, Ernst-Erich and Engels, Gregor}, year={2002}, pages={41–44} }","mla":"Doberkat, Ernst-Erich, and Gregor Engels. “MuSofT - Multimedia in Der Softwaretechnik.” <i>Informatik Forschung Und Entwicklung</i>, vol. 1, no. 17, 2002, pp. 41–44.","chicago":"Doberkat, Ernst-Erich, and Gregor Engels. “MuSofT - Multimedia in Der Softwaretechnik.” <i>Informatik Forschung Und Entwicklung</i> 1, no. 17 (2002): 41–44.","short":"E.-E. Doberkat, G. Engels, Informatik Forschung Und Entwicklung 1 (2002) 41–44.","apa":"Doberkat, E.-E., &#38; Engels, G. (2002). MuSofT - Multimedia in der Softwaretechnik. <i>Informatik Forschung Und Entwicklung</i>, <i>1</i>(17), 41–44.","ieee":"E.-E. Doberkat and G. Engels, “MuSofT - Multimedia in der Softwaretechnik,” <i>Informatik Forschung und Entwicklung</i>, vol. 1, no. 17, pp. 41–44, 2002."},"issue":"17","publication":"Informatik Forschung und Entwicklung","volume":1,"user_id":"52534","language":[{"iso":"eng"}],"_id":"7389","page":"41-44","intvolume":"         1","date_updated":"2022-01-06T07:03:36Z","author":[{"last_name":"Doberkat","first_name":"Ernst-Erich","full_name":"Doberkat, Ernst-Erich"},{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"}],"status":"public","title":"MuSofT - Multimedia in der Softwaretechnik","year":"2002"},{"issue":"1-2","publication":"Theoretical Computer Science","citation":{"bibtex":"@article{Corradini_Heckel_Montanari_2002, title={Compositional SOS and Beyond: A Coalgebraic View of Open Systems}, volume={280}, DOI={<a href=\"http://dx.doi.org/10.1016/S0304-3975(01)00025-1\">http://dx.doi.org/10.1016/S0304-3975(01)00025-1</a>}, number={1–2}, journal={Theoretical Computer Science}, author={Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}, year={2002}, pages={163–192} }","ama":"Corradini A, Heckel R, Montanari U. Compositional SOS and Beyond: A Coalgebraic View of Open Systems. <i>Theoretical Computer Science</i>. 2002;280(1-2):163-192. doi:<a href=\"http://dx.doi.org/10.1016/S0304-3975(01)00025-1\">http://dx.doi.org/10.1016/S0304-3975(01)00025-1</a>","mla":"Corradini, Andrea, et al. “Compositional SOS and Beyond: A Coalgebraic View of Open Systems.” <i>Theoretical Computer Science</i>, vol. 280, no. 1–2, 2002, pp. 163–92, doi:<a href=\"http://dx.doi.org/10.1016/S0304-3975(01)00025-1\">http://dx.doi.org/10.1016/S0304-3975(01)00025-1</a>.","chicago":"Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “Compositional SOS and Beyond: A Coalgebraic View of Open Systems.” <i>Theoretical Computer Science</i> 280, no. 1–2 (2002): 163–92. <a href=\"http://dx.doi.org/10.1016/S0304-3975(01)00025-1\">http://dx.doi.org/10.1016/S0304-3975(01)00025-1</a>.","short":"A. Corradini, R. Heckel, U. Montanari, Theoretical Computer Science 280 (2002) 163–192.","ieee":"A. Corradini, R. Heckel, and U. Montanari, “Compositional SOS and Beyond: A Coalgebraic View of Open Systems,” <i>Theoretical Computer Science</i>, vol. 280, no. 1–2, pp. 163–192, 2002.","apa":"Corradini, A., Heckel, R., &#38; Montanari, U. (2002). Compositional SOS and Beyond: A Coalgebraic View of Open Systems. <i>Theoretical Computer Science</i>, <i>280</i>(1–2), 163–192. <a href=\"http://dx.doi.org/10.1016/S0304-3975(01)00025-1\">http://dx.doi.org/10.1016/S0304-3975(01)00025-1</a>"},"date_created":"2019-01-31T15:40:17Z","type":"journal_article","department":[{"_id":"66"}],"title":"Compositional SOS and Beyond: A Coalgebraic View of Open Systems","year":"2002","status":"public","author":[{"full_name":"Corradini, Andrea","last_name":"Corradini","first_name":"Andrea"},{"last_name":"Heckel","first_name":"Reiko","full_name":"Heckel, Reiko"},{"full_name":"Montanari, Ugo","last_name":"Montanari","first_name":"Ugo"}],"date_updated":"2022-01-06T07:03:36Z","intvolume":"       280","page":"163-192","language":[{"iso":"eng"}],"_id":"7390","doi":"http://dx.doi.org/10.1016/S0304-3975(01)00025-1","user_id":"52534","volume":280},{"language":[{"iso":"eng"}],"series_title":"LNCS","doi":"http://dx.doi.org/10.1007/3-540-45711-9_12","author":[{"last_name":"Ehrig","first_name":"Hartmut","full_name":"Ehrig, Hartmut"},{"full_name":"Hoffmann, Kathrin","first_name":"Kathrin","last_name":"Hoffmann"},{"last_name":"Padberg","first_name":"Julia","full_name":"Padberg, Julia"},{"full_name":"Baldan, Paolo","last_name":"Baldan","first_name":"Paolo"},{"last_name":"Heckel","first_name":"Reiko","full_name":"Heckel, Reiko"}],"title":"High-Level Net Processes","year":"2002","intvolume":"      2300","date_updated":"2022-01-06T07:03:39Z","date_created":"2019-02-04T23:02:26Z","department":[{"_id":"66"}],"type":"book_chapter","publication":"Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg","_id":"7524","publisher":"Springer","page":"191-219","volume":2300,"editor":[{"last_name":"Brauer","first_name":"W. ","full_name":"Brauer, W. "},{"last_name":"Ehrig","first_name":"H. ","full_name":"Ehrig, H. "},{"last_name":"Karhumäki","first_name":"J. ","full_name":"Karhumäki, J. "},{"first_name":"A. ","last_name":"Salomaa ","full_name":"Salomaa , A. "}],"user_id":"52534","status":"public","place":"Berlin/Heidelberg","citation":{"mla":"Ehrig, Hartmut, et al. “High-Level Net Processes.” <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, edited by W.  Brauer et al., vol. 2300, Springer, 2002, pp. 191–219, doi:<a href=\"http://dx.doi.org/10.1007/3-540-45711-9_12\">http://dx.doi.org/10.1007/3-540-45711-9_12</a>.","ama":"Ehrig H, Hoffmann K, Padberg J, Baldan P, Heckel R. High-Level Net Processes. In: Brauer W, Ehrig H, Karhumäki J, Salomaa  A, eds. <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>. Vol 2300. LNCS. Berlin/Heidelberg: Springer; 2002:191-219. doi:<a href=\"http://dx.doi.org/10.1007/3-540-45711-9_12\">http://dx.doi.org/10.1007/3-540-45711-9_12</a>","bibtex":"@inbook{Ehrig_Hoffmann_Padberg_Baldan_Heckel_2002, place={Berlin/Heidelberg}, series={LNCS}, title={High-Level Net Processes}, volume={2300}, DOI={<a href=\"http://dx.doi.org/10.1007/3-540-45711-9_12\">http://dx.doi.org/10.1007/3-540-45711-9_12</a>}, booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg}, publisher={Springer}, author={Ehrig, Hartmut and Hoffmann, Kathrin and Padberg, Julia and Baldan, Paolo and Heckel, Reiko}, editor={Brauer, W.  and Ehrig, H.  and Karhumäki, J.  and Salomaa , A. Editors}, year={2002}, pages={191–219}, collection={LNCS} }","apa":"Ehrig, H., Hoffmann, K., Padberg, J., Baldan, P., &#38; Heckel, R. (2002). High-Level Net Processes. In W. Brauer, H. Ehrig, J. Karhumäki, &#38; A. Salomaa  (Eds.), <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i> (Vol. 2300, pp. 191–219). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/3-540-45711-9_12\">http://dx.doi.org/10.1007/3-540-45711-9_12</a>","ieee":"H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, and R. Heckel, “High-Level Net Processes,” in <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, vol. 2300, W. Brauer, H. Ehrig, J. Karhumäki, and A. Salomaa , Eds. Berlin/Heidelberg: Springer, 2002, pp. 191–219.","short":"H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, R. Heckel, in: W. Brauer, H. Ehrig, J. Karhumäki, A. Salomaa  (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 191–219.","chicago":"Ehrig, Hartmut, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, and Reiko Heckel. “High-Level Net Processes.” In <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, edited by W.  Brauer, H.  Ehrig, J.  Karhumäki, and A.  Salomaa , 2300:191–219. LNCS. Berlin/Heidelberg: Springer, 2002. <a href=\"http://dx.doi.org/10.1007/3-540-45711-9_12\">http://dx.doi.org/10.1007/3-540-45711-9_12</a>."}},{"type":"book_chapter","department":[{"_id":"66"}],"place":"Berlin/Heidelberg","date_created":"2019-02-04T23:03:52Z","abstract":[{"text":"The paper studies and compares two different approaches to model communication and cooperation. The approaches are team automata, a well-defined variant of communicating automata, and statecharts, heavily used in object-oriented modelling methods. The comparison yields interesting insights for modelling communication and cooperation. In particular, the differences between action-based, synchronous and state-based, asynchronous communication are elucidated.","lang":"eng"}],"publication":"Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg","citation":{"bibtex":"@inbook{Engels_Groenewegen_2002, place={Berlin/Heidelberg}, series={LNCS}, title={Towards Team-Automata-Driven Object-Oriented Collaborative Work}, volume={2300}, booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg}, publisher={Springer}, author={Engels, Gregor and Groenewegen, Luuk}, year={2002}, pages={257–276}, collection={LNCS} }","ama":"Engels G, Groenewegen L. Towards Team-Automata-Driven Object-Oriented Collaborative Work. In: <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>. Vol 2300. LNCS. Berlin/Heidelberg: Springer; 2002:257-276.","mla":"Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented Collaborative Work.” <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, vol. 2300, Springer, 2002, pp. 257–76.","chicago":"Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented Collaborative Work.” In <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, 2300:257–76. LNCS. Berlin/Heidelberg: Springer, 2002.","short":"G. Engels, L. Groenewegen, in: Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 257–276.","ieee":"G. Engels and L. Groenewegen, “Towards Team-Automata-Driven Object-Oriented Collaborative Work,” in <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, vol. 2300, Berlin/Heidelberg: Springer, 2002, pp. 257–276.","apa":"Engels, G., &#38; Groenewegen, L. (2002). Towards Team-Automata-Driven Object-Oriented Collaborative Work. In <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i> (Vol. 2300, pp. 257–276). Berlin/Heidelberg: Springer."},"user_id":"52534","volume":2300,"page":"257-276","publisher":"Springer","_id":"7525","series_title":"LNCS","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:39Z","intvolume":"      2300","year":"2002","title":"Towards Team-Automata-Driven Object-Oriented Collaborative Work","status":"public","author":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"last_name":"Groenewegen","first_name":"Luuk","full_name":"Groenewegen, Luuk"}]},{"publication":"Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics","citation":{"ama":"Engels G, Doberkat E-E. Multimedia in der Informatik-Lehre. In: <i>Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics</i>. Vol P-19. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2002:377-384.","bibtex":"@inbook{Engels_Doberkat_2002, place={Bonn}, series={Lecture Notes in Informatics}, title={Multimedia in der Informatik-Lehre}, volume={P-19}, booktitle={Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics}, publisher={Gesellschaft für Informatik (GI)}, author={Engels, Gregor and Doberkat, Ernst-Erich}, year={2002}, pages={377–384}, collection={Lecture Notes in Informatics} }","mla":"Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.” <i>Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics</i>, vol. P-19, Gesellschaft für Informatik (GI), 2002, pp. 377–84.","chicago":"Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.” In <i>Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics</i>, P-19:377–84. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2002.","short":"G. Engels, E.-E. Doberkat, in: Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics, Gesellschaft für Informatik (GI), Bonn, 2002, pp. 377–384.","apa":"Engels, G., &#38; Doberkat, E.-E. (2002). Multimedia in der Informatik-Lehre. In <i>Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics</i> (Vol. P-19, pp. 377–384). Bonn: Gesellschaft für Informatik (GI).","ieee":"G. Engels and E.-E. Doberkat, “Multimedia in der Informatik-Lehre,” in <i>Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics</i>, vol. P-19, Bonn: Gesellschaft für Informatik (GI), 2002, pp. 377–384."},"abstract":[{"lang":"eng","text":"Neue Medien werden in der universitären Lehre in zunehmendem Maße eingesetzt. Nachdem sich noch vor einigen Jahren nur vereinzelte Pilotprojekte mit dem Thema beschäftigt haben, wird inzwischen eine Vielzahl von Projekten öffentlich gefördert. Als Beispiel sei das BMBF-Förderprogramm Neue Medien in der Hochschullehre genannt. In der Informatik haben nicht zuletzt die hohen Studierendenzahlen dazu beigetragen, multimediale Elemente in der Lehre als ein mögliches Mittel zur Bewältigung der hohen Lehrbelastung bei gleichzeitiger Wahrung von Qualität und Vielfalt der Lehre anzusehen. Das fachliche Interesse vieler Informatiker am Thema Multimedia kommt hinzu. Im Workshop Multimedia in der Informatik-Lehre wird ein Überblick über gegenwärtige Ansätze zur Unterstützung der Lehre in der Informatik mit multimedialen Mitteln gegeben und es werden Erfahrungen und Konsequenzen diskutiert."}],"date_created":"2019-02-04T23:04:36Z","place":"Bonn","type":"book_chapter","department":[{"_id":"66"}],"year":"2002","status":"public","title":"Multimedia in der Informatik-Lehre","author":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"last_name":"Doberkat","first_name":"Ernst-Erich","full_name":"Doberkat, Ernst-Erich"}],"date_updated":"2022-01-06T07:03:39Z","page":"377-384","_id":"7526","publisher":"Gesellschaft für Informatik (GI)","series_title":"Lecture Notes in Informatics","language":[{"iso":"eng"}],"user_id":"52534","volume":"P-19"}]