[{"title":"Proceedings of the 4th Young Researchers Workshop, satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE '02), Pittsburgh, PA (USA)","status":"public","year":"2002","date_updated":"2022-01-06T07:03:46Z","_id":"7786","series_title":"IESE-Report","language":[{"iso":"eng"}],"user_id":"52534","editor":[{"full_name":"Clauss, M.","last_name":"Clauss","first_name":"M."},{"full_name":"Hanenberg, S.","last_name":"Hanenberg","first_name":"S."},{"full_name":"John, I.","first_name":"I.","last_name":"John"},{"full_name":"Mehner, Katharina","last_name":"Mehner","first_name":"Katharina"},{"last_name":"Van Der Straeten","first_name":"Ragnhild","full_name":"Van Der Straeten, Ragnhild"}],"issue":"053.02/E","citation":{"ieee":"M. Clauss, S. Hanenberg, I. John, K. Mehner, and R. Van Der Straeten, Eds., <i>Proceedings of the 4th Young Researchers Workshop, satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA)</i>, no. 053.02/E. 2002.","apa":"Clauss, M., Hanenberg, S., John, I., Mehner, K., &#38; Van Der Straeten, R. (Eds.). (2002). <i>Proceedings of the 4th Young Researchers Workshop, satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA)</i>.","chicago":"Clauss, M., S. Hanenberg, I. John, Katharina Mehner, and Ragnhild Van Der Straeten, eds. <i>Proceedings of the 4th Young Researchers Workshop, Satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA)</i>. IESE-Report, 2002.","short":"M. Clauss, S. Hanenberg, I. John, K. Mehner, R. Van Der Straeten, eds., Proceedings of the 4th Young Researchers Workshop, Satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA), 2002.","mla":"Clauss, M., et al., editors. <i>Proceedings of the 4th Young Researchers Workshop, Satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA)</i>. no. 053.02/E, 2002.","bibtex":"@book{Clauss_Hanenberg_John_Mehner_Van Der Straeten_2002, series={IESE-Report}, title={Proceedings of the 4th Young Researchers Workshop, satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA)}, number={053.02/E}, year={2002}, collection={IESE-Report} }","ama":"Clauss M, Hanenberg S, John I, Mehner K, Van Der Straeten R, eds. <i>Proceedings of the 4th Young Researchers Workshop, Satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA)</i>.; 2002."},"date_created":"2019-02-19T19:08:18Z","type":"conference_editor","department":[{"_id":"66"}]},{"volume":2505,"user_id":"52534","doi":"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934","_id":"7895","publisher":"Springer","series_title":"LNCS","language":[{"iso":"eng"}],"page":"402-429","intvolume":"      2505","date_updated":"2022-01-06T07:03:47Z","author":[{"first_name":"Luciano","last_name":"Baresi","full_name":"Baresi, Luciano"},{"last_name":"Heckel","first_name":"Reiko","full_name":"Heckel, Reiko"}],"year":"2002","title":"Tutorial Introduction to Graph Transformation: A Software Engineering Perspective","status":"public","department":[{"_id":"66"}],"type":"conference","date_created":"2019-02-21T10:55:19Z","place":"Berlin/Heidelberg","citation":{"mla":"Baresi, Luciano, and Reiko Heckel. “Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.” <i>Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>, vol. 2505, Springer, 2002, pp. 402–29, doi:<a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934\">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934</a>.","bibtex":"@inproceedings{Baresi_Heckel_2002, place={Berlin/Heidelberg}, series={LNCS}, title={Tutorial Introduction to Graph Transformation: A Software Engineering Perspective}, volume={2505}, DOI={<a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934\">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934</a>}, booktitle={Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)}, publisher={Springer}, author={Baresi, Luciano and Heckel, Reiko}, year={2002}, pages={402–429}, collection={LNCS} }","ama":"Baresi L, Heckel R. Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. In: <i>Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>. Vol 2505. LNCS. Berlin/Heidelberg: Springer; 2002:402-429. doi:<a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934\">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934</a>","ieee":"L. Baresi and R. Heckel, “Tutorial Introduction to Graph Transformation: A Software Engineering Perspective,” in <i>Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>, 2002, vol. 2505, pp. 402–429.","apa":"Baresi, L., &#38; Heckel, R. (2002). Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. In <i>Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i> (Vol. 2505, pp. 402–429). Berlin/Heidelberg: Springer. <a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934\">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934</a>","short":"L. Baresi, R. Heckel, in: Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg, 2002, pp. 402–429.","chicago":"Baresi, Luciano, and Reiko Heckel. “Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.” In <i>Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>, 2505:402–29. LNCS. Berlin/Heidelberg: Springer, 2002. <a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934\">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934</a>."},"publication":"Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)"},{"date_updated":"2022-01-06T07:03:47Z","status":"public","title":"Process-Oriented, Consistent Integration of Software Components","year":"2002","author":[{"first_name":"Ralph","last_name":"Depke","full_name":"Depke, Ralph"},{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"},{"last_name":"Langham","first_name":"Matthew","full_name":"Langham, Matthew"},{"first_name":"Björn","last_name":"Lütkemeier","full_name":"Lütkemeier, Björn"},{"full_name":"Thöne, Sebastian","last_name":"Thöne","first_name":"Sebastian"}],"user_id":"52534","doi":"http://dx.doi.org/10.1109/CMPSAC.2002.1044527","page":"13-18","_id":"7896","publisher":"IEEE Computer Society","language":[{"iso":"eng"}],"publication":"Proceedings of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)","citation":{"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} }","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>.","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>","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.","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>.","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>"},"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-21T10:55:46Z","place":"Washington, DC, USA"},{"series_title":"LNCS","_id":"7897","language":[{"iso":"eng"}],"publisher":"Springer","page":"212-226","volume":2460,"user_id":"52534","author":[{"id":"107","last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"},{"full_name":"Groenewegen, Luuk","first_name":"Luuk","last_name":"Groenewegen"}],"year":"2002","status":"public","title":"Consistency-Preserving Model Evolution through Transformations","intvolume":"      2460","date_updated":"2022-01-06T07:03:47Z","date_created":"2019-02-21T10:56:48Z","place":"Berlin/Heidelberg","department":[{"_id":"66"}],"type":"conference","citation":{"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} }","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."},"publication":"Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)"},{"citation":{"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.","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.","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.","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.","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} }","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."},"publication":"Proceedings of the conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)","issue":"4","date_created":"2019-02-21T10:57:29Z","department":[{"_id":"66"}],"type":"conference","author":[{"id":"107","last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"},{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"},{"full_name":"Groenewegen, Luuk","last_name":"Groenewegen","first_name":"Luuk"}],"year":"2002","status":"public","title":"Consistent Interaction Of Software Components","intvolume":"         6","date_updated":"2022-01-06T07:03:47Z","publisher":"IOS Press","_id":"7898","language":[{"iso":"eng"}],"page":"2-22","volume":6,"user_id":"52534"},{"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-21T10:58:02Z","publication":"Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)","citation":{"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.","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.","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>.","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} }","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.","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."},"user_id":"52534","language":[{"iso":"eng"}],"_id":"7899","date_updated":"2022-01-06T07:03:47Z","status":"public","year":"2002","title":"Testing the Consistency of Dynamic UML Diagrams","author":[{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"last_name":"Hendrik Hausmann","first_name":"Jan","full_name":"Hendrik Hausmann, Jan"},{"last_name":"Heckel","first_name":"Reiko","full_name":"Heckel, Reiko"},{"id":"447","full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan"}]},{"intvolume":"      2505","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"},{"full_name":"Varró, Dániel","last_name":"Varró","first_name":"Dániel"}],"status":"public","year":"2002","title":"Graph Transformation with Time: Causality and Logical Clocks","volume":2505,"user_id":"52534","_id":"7900","language":[{"iso":"eng"}],"publisher":"Springer","series_title":"LNCS","page":"120-134","citation":{"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.","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.","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.","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} }","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.","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."},"publication":"Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)","department":[{"_id":"66"}],"type":"conference","place":"Berlin/Heidelberg","date_created":"2019-02-21T10:58:36Z"},{"date_updated":"2022-01-06T07:03:47Z","title":"Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation","status":"public","year":"2002","author":[{"full_name":"Hendrik Hausmann, Jan","last_name":"Hendrik Hausmann","first_name":"Jan"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"last_name":"Taentzer","first_name":"Gabriele","full_name":"Taentzer, Gabriele"}],"user_id":"52534","doi":"http://doi.acm.org/10.1145/581339.581355","page":"105-155 ","_id":"7901","publisher":"ACM Press","language":[{"iso":"eng"}],"publication":"Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)","citation":{"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>","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.","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.","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>.","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>.","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>","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} }"},"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-21T10:59:09Z","place":"New York, NY, USA"},{"citation":{"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.","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} }","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.","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.","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.","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.","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."},"publication":"Proceedings of the conference on Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA)","department":[{"_id":"66"}],"type":"conference","date_created":"2019-02-21T10:59:49Z","place":"Grandview, TX, USA","date_updated":"2022-01-06T07:03:47Z","author":[{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"},{"full_name":"Chouikha, Mourad","last_name":"Chouikha","first_name":"Mourad"}],"title":"Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets","year":"2002","status":"public","user_id":"52534","_id":"7902","publisher":"Society of Design and Process Science","language":[{"iso":"eng"}],"page":"63-77"},{"date_updated":"2022-01-06T07:03:47Z","status":"public","title":"Confluence of Typed Attributed Graph Transformation Systems","year":"2002","author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"},{"full_name":"Taentzer, Gabriele","last_name":"Taentzer","first_name":"Gabriele"}],"user_id":"52534","page":"161-176","publisher":"Springer","_id":"7903","language":[{"iso":"eng"}],"publication":"Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)","citation":{"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.","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.","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.","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."},"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-21T11:00:30Z","place":"Berlin/Heidelberg"},{"citation":{"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.","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.","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.","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."},"publication":"Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)","department":[{"_id":"66"}],"type":"conference","place":"Berlin/Heidelberg","date_created":"2019-02-21T11:01:07Z","intvolume":"      2269","date_updated":"2022-01-06T07:03:47Z","author":[{"full_name":"Mehner, Katharina","last_name":"Mehner","first_name":"Katharina"}],"title":"JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs","status":"public","year":"2002","volume":2269,"user_id":"52534","publisher":"Springer","_id":"7904","language":[{"iso":"eng"}],"series_title":"LNCS","page":"163-175"},{"date_created":"2019-02-21T11:01:45Z","place":"London, UK","type":"conference","department":[{"_id":"66"}],"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.","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>","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.","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>","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} }","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>."},"page":"336-350","language":[{"iso":"eng"}],"_id":"7905","publisher":"Springer","series_title":"LNCS","user_id":"52534","doi":"http://dx.doi.org/10.1007/3-540-45800-X","title":"Rapid Development of Modular Dynamic Web Sites Using UML","year":"2002","status":"public","author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"full_name":"Lohmann, Marc","last_name":"Lohmann","first_name":"Marc"}],"date_updated":"2022-01-06T07:03:47Z"},{"_id":"7906","language":[{"iso":"eng"}],"publisher":"ACTA Press","user_id":"52534","year":"2002","status":"public","title":"Formal Semantics for a UML fragment using UML/OCL metamodeling","author":[{"full_name":"Cherchago, Alexey","last_name":"Cherchago","first_name":"Alexey"}],"date_updated":"2022-01-06T07:03:47Z","date_created":"2019-02-21T11:02:12Z","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)","citation":{"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.","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.","short":"A. Cherchago, in: Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA), ACTA Press, 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.","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} }"}},{"department":[{"_id":"66"}],"type":"report","date_created":"2019-03-03T16:13:10Z","report_number":"IAI-TR-2002-1","citation":{"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.","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.","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} }","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."},"user_id":"52534","publisher":"University of Bonn","_id":"8212","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:52Z","author":[{"first_name":"Pascal","last_name":"Constanza","full_name":"Constanza, Pascal"},{"full_name":"Kniesel, Günther","first_name":"Günther","last_name":"Kniesel"},{"full_name":"Mehner, Katharina","first_name":"Katharina","last_name":"Mehner"},{"full_name":"Pulvermüller, Elke","last_name":"Pulvermüller","first_name":"Elke"},{"full_name":"Speck, Andreas","last_name":"Speck","first_name":"Andreas"}],"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"},{"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.","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.","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} }","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.","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.","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.","short":"R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, Mathematical Structures in Computer Science 12 (2002) 349–376."},"publication":"Mathematical Structures in Computer Science","issue":"4","date_created":"2019-01-31T15:36:17Z","department":[{"_id":"66"}],"type":"journal_article","author":[{"last_name":"Heckel","first_name":"Reiko","full_name":"Heckel, Reiko"},{"full_name":"Llabrés, Mercé","first_name":"Mercé","last_name":"Llabrés"},{"full_name":"Ehrig, Hartmut","first_name":"Hartmut","last_name":"Ehrig"},{"full_name":"Orejas, Fernando","last_name":"Orejas","first_name":"Fernando"}],"title":"Concurrency and Loose Semantics of Open Graph Transformation Systems","year":"2002","status":"public","intvolume":"        12","date_updated":"2022-01-06T07:03:36Z","_id":"7385","language":[{"iso":"eng"}],"page":"349-376","volume":12,"user_id":"52534"},{"issue":"4","publication":"Transactions of the SDPS: Journal of Integrated Design & Process Science","citation":{"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.","short":"G. Engels, J. Küster, L. Groenewegen, Transactions of the SDPS: Journal of Integrated Design &#38; Process Science 6 (2002) 2–22.","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.","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.","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} }"},"abstract":[{"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.","lang":"eng"}],"date_created":"2019-01-31T15:38:09Z","type":"journal_article","department":[{"_id":"66"}],"status":"public","title":"Consistent Interaction of Software Components","year":"2002","author":[{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"first_name":"Jochen","last_name":"Küster","full_name":"Küster, Jochen"},{"full_name":"Groenewegen, Luuk","last_name":"Groenewegen","first_name":"Luuk"}],"date_updated":"2022-01-06T07:03:36Z","intvolume":"         6","page":"2-22","_id":"7387","language":[{"iso":"eng"}],"user_id":"52534","volume":6},{"publication":"Science of Computer Programming","citation":{"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.","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."},"type":"journal_article","department":[{"_id":"66"}],"date_created":"2019-01-31T15:39:00Z","date_updated":"2022-01-06T07:03:36Z","intvolume":"        44","status":"public","year":"2002","title":"Formal Agent-Oriented Modeling with Graph Transformation","author":[{"full_name":"Depke, Ralph","first_name":"Ralph","last_name":"Depke"},{"last_name":"Heckel","first_name":"Reiko","full_name":"Heckel, Reiko"},{"first_name":"Jochen","last_name":"Küster","full_name":"Küster, Jochen"}],"user_id":"52534","volume":44,"page":"229-252","language":[{"iso":"eng"}],"_id":"7388"},{"abstract":[{"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.","lang":"ger"}],"publication":"Informatik Forschung und Entwicklung","issue":"17","citation":{"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.","short":"E.-E. Doberkat, G. Engels, Informatik Forschung Und Entwicklung 1 (2002) 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.","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.","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} }"},"type":"journal_article","department":[{"_id":"66"}],"date_created":"2019-01-31T15:39:38Z","date_updated":"2022-01-06T07:03:36Z","intvolume":"         1","status":"public","title":"MuSofT - Multimedia in der Softwaretechnik","year":"2002","author":[{"full_name":"Doberkat, Ernst-Erich","first_name":"Ernst-Erich","last_name":"Doberkat"},{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"}],"user_id":"52534","volume":1,"page":"41-44","language":[{"iso":"eng"}],"_id":"7389"},{"citation":{"short":"A. Corradini, R. Heckel, U. Montanari, Theoretical Computer Science 280 (2002) 163–192.","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>.","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>","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>."},"publication":"Theoretical Computer Science","issue":"1-2","date_created":"2019-01-31T15:40:17Z","department":[{"_id":"66"}],"type":"journal_article","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"}],"title":"Compositional SOS and Beyond: A Coalgebraic View of Open Systems","status":"public","year":"2002","intvolume":"       280","date_updated":"2022-01-06T07:03:36Z","language":[{"iso":"eng"}],"_id":"7390","page":"163-192","volume":280,"doi":"http://dx.doi.org/10.1016/S0304-3975(01)00025-1","user_id":"52534"},{"date_created":"2019-02-04T23:02:26Z","type":"book_chapter","department":[{"_id":"66"}],"publication":"Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg","series_title":"LNCS","language":[{"iso":"eng"}],"doi":"http://dx.doi.org/10.1007/3-540-45711-9_12","title":"High-Level Net Processes","year":"2002","author":[{"full_name":"Ehrig, Hartmut","first_name":"Hartmut","last_name":"Ehrig"},{"full_name":"Hoffmann, Kathrin","last_name":"Hoffmann","first_name":"Kathrin"},{"first_name":"Julia","last_name":"Padberg","full_name":"Padberg, Julia"},{"last_name":"Baldan","first_name":"Paolo","full_name":"Baldan, Paolo"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"}],"date_updated":"2022-01-06T07:03:39Z","intvolume":"      2300","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>."},"page":"191-219","_id":"7524","publisher":"Springer","user_id":"52534","editor":[{"last_name":"Brauer","first_name":"W. ","full_name":"Brauer, W. "},{"full_name":"Ehrig, H. ","last_name":"Ehrig","first_name":"H. "},{"full_name":"Karhumäki, J. ","last_name":"Karhumäki","first_name":"J. "},{"last_name":"Salomaa ","first_name":"A. ","full_name":"Salomaa , A. "}],"volume":2300,"status":"public"}]