[{"user_id":"52534","department":[{"_id":"66"}],"_id":"7859","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems","status":"public","date_created":"2019-02-20T14:37:40Z","author":[{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"}],"date_updated":"2022-01-06T07:03:47Z","title":"Modeling Agent-Based Systems with Graph Transformation and UML","issue":"258","citation":{"chicago":"Heckel, Reiko. “Modeling Agent-Based Systems with Graph Transformation and UML.” In <i>Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems</i>, 1999.","ieee":"R. Heckel, “Modeling Agent-Based Systems with Graph Transformation and UML,” in <i>Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems</i>, 1999, no. 258.","ama":"Heckel R. Modeling Agent-Based Systems with Graph Transformation and UML. In: <i>Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems</i>. ; 1999.","apa":"Heckel, R. (1999). Modeling Agent-Based Systems with Graph Transformation and UML. In <i>Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems</i>.","bibtex":"@inproceedings{Heckel_1999, title={Modeling Agent-Based Systems with Graph Transformation and UML}, number={258}, booktitle={Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems}, author={Heckel, Reiko}, year={1999} }","short":"R. Heckel, in: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems, 1999.","mla":"Heckel, Reiko. “Modeling Agent-Based Systems with Graph Transformation and UML.” <i>Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems</i>, no. 258, 1999."},"year":"1999"},{"author":[{"first_name":"Stefan","last_name":"Sauer","full_name":"Sauer, Stefan","id":"447"},{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"}],"date_created":"2019-02-20T14:38:09Z","date_updated":"2022-01-06T07:03:47Z","publisher":"IEEE Computer Society","doi":"http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878","title":"Extending UML for Modeling of Multimedia Applications","citation":{"ieee":"S. Sauer and G. Engels, “Extending UML for Modeling of Multimedia Applications,” in <i>Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)</i>, 1999, pp. 80–87.","chicago":"Sauer, Stefan, and Gregor Engels. “Extending UML for Modeling of Multimedia Applications.” In <i>Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)</i>, 80–87. Tokyo, Japan: IEEE Computer Society, 1999. <a href=\"http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878\">http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878</a>.","ama":"Sauer S, Engels G. Extending UML for Modeling of Multimedia Applications. In: <i>Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)</i>. Tokyo, Japan: IEEE Computer Society; 1999:80-87. doi:<a href=\"http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878\">http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878</a>","apa":"Sauer, S., &#38; Engels, G. (1999). Extending UML for Modeling of Multimedia Applications. In <i>Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)</i> (pp. 80–87). Tokyo, Japan: IEEE Computer Society. <a href=\"http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878\">http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878</a>","short":"S. Sauer, G. Engels, in: Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan), IEEE Computer Society, Tokyo, Japan, 1999, pp. 80–87.","bibtex":"@inproceedings{Sauer_Engels_1999, place={Tokyo, Japan}, title={Extending UML for Modeling of Multimedia Applications}, DOI={<a href=\"http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878\">http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878</a>}, booktitle={Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)}, publisher={IEEE Computer Society}, author={Sauer, Stefan and Engels, Gregor}, year={1999}, pages={80–87} }","mla":"Sauer, Stefan, and Gregor Engels. “Extending UML for Modeling of Multimedia Applications.” <i>Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)</i>, IEEE Computer Society, 1999, pp. 80–87, doi:<a href=\"http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878\">http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878</a>."},"page":"80-87","place":"Tokyo, Japan","year":"1999","user_id":"52534","department":[{"_id":"66"}],"_id":"7860","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)","status":"public","abstract":[{"lang":"eng","text":"An analysis of how visual modeling of structure and dynamic behavior of a multimedia application differs from modeling conventional software yields that aspects of the graphical user interface and time-dynamic behavior ought to be integral parts of a coherent multimedia application model. In this sense, we extend the model-view-controller paradigm towards multimedia.As a result, we present OMMMA-L, a visual Language for the Object-Oriented Modeling of MultiMedia Applications that is based on the Unified Modeling Language (UML). The structural and behavioral diagram types of UML have been analyzed and are adapted and extended according to multimedia application characteristics.A presentation diagram is introduced and integrated to adequately describe the visual presentation. In addition to explaining the different diagram types, we also give pragmatic guidelines on how to deploy and combine the various diagrams."}]},{"author":[{"last_name":"Salhi","full_name":"Salhi, M. J.","first_name":"M. J."},{"last_name":"Krauter","orcid":"0000-0002-3594-260X","id":"28836","full_name":"Krauter, Stefan","first_name":"Stefan"},{"last_name":"Lemoine","full_name":"Lemoine, R.","first_name":"R."},{"first_name":"C.","full_name":"Triebel, C.","last_name":"Triebel"},{"first_name":"S.","last_name":"Schroer","full_name":"Schroer, S."},{"full_name":"Araújo, R. G.","last_name":"Araújo","first_name":"R. G."}],"date_created":"2019-02-27T07:01:04Z","date_updated":"2022-01-06T07:03:51Z","conference":{"name":"ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999"},"title":"Combined Photovoltaic and Solar Thermal Systems for Facade Integration and Building Insulation","citation":{"ama":"Salhi MJ, Krauter S, Lemoine R, Triebel C, Schroer S, Araújo RG. Combined Photovoltaic and Solar Thermal Systems for Facade Integration and Building Insulation. In: <i>Proceedings of the ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999, II-88.</i> ; 1999.","ieee":"M. J. Salhi, S. Krauter, R. Lemoine, C. Triebel, S. Schroer, and R. G. Araújo, “Combined Photovoltaic and Solar Thermal Systems for Facade Integration and Building Insulation,” in <i>Proceedings of the ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999, II-88.</i>, 1999.","chicago":"Salhi, M. J., Stefan Krauter, R. Lemoine, C. Triebel, S. Schroer, and R. G. Araújo. “Combined Photovoltaic and Solar Thermal Systems for Facade Integration and Building Insulation.” In <i>Proceedings of the ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999, II-88.</i>, 1999.","apa":"Salhi, M. J., Krauter, S., Lemoine, R., Triebel, C., Schroer, S., &#38; Araújo, R. G. (1999). Combined Photovoltaic and Solar Thermal Systems for Facade Integration and Building Insulation. In <i>Proceedings of the ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999, II-88.</i>","mla":"Salhi, M. J., et al. “Combined Photovoltaic and Solar Thermal Systems for Facade Integration and Building Insulation.” <i>Proceedings of the ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999, II-88.</i>, 1999.","bibtex":"@inproceedings{Salhi_Krauter_Lemoine_Triebel_Schroer_Araújo_1999, title={Combined Photovoltaic and Solar Thermal Systems for Facade Integration and Building Insulation}, booktitle={Proceedings of the ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999, II-88.}, author={Salhi, M. J. and Krauter, Stefan and Lemoine, R. and Triebel, C. and Schroer, S. and Araújo, R. G.}, year={1999} }","short":"M.J. Salhi, S. Krauter, R. Lemoine, C. Triebel, S. Schroer, R.G. Araújo, in: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999, II-88., 1999."},"year":"1999","department":[{"_id":"53"}],"user_id":"16148","_id":"8117","extern":"1","language":[{"iso":"eng"}],"publication":"Proceedings of the ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999, II-88.","type":"conference","status":"public"},{"_id":"8118","department":[{"_id":"53"}],"user_id":"16148","language":[{"iso":"eng"}],"extern":"1","publication":"Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288","type":"conference","status":"public","date_updated":"2022-01-06T07:03:51Z","date_created":"2019-02-27T07:16:08Z","author":[{"id":"28836","full_name":"Krauter, Stefan","orcid":"0000-0002-3594-260X","last_name":"Krauter","first_name":"Stefan"},{"full_name":"Stephan, R.","last_name":"Stephan","first_name":"R."},{"first_name":"L.","full_name":"Bastos, L.","last_name":"Bastos"}],"title":"Set-up of a Laboratory for Research and Education in Solar Energy in Rio de Janeiro","conference":{"name":"ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999"},"year":"1999","citation":{"apa":"Krauter, S., Stephan, R., &#38; Bastos, L. (1999). Set-up of a Laboratory for Research and Education in Solar Energy in Rio de Janeiro. In <i>Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288</i>.","short":"S. Krauter, R. Stephan, L. Bastos, in: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288, 1999.","mla":"Krauter, Stefan, et al. “Set-up of a Laboratory for Research and Education in Solar Energy in Rio de Janeiro.” <i>Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288</i>, 1999.","bibtex":"@inproceedings{Krauter_Stephan_Bastos_1999, title={Set-up of a Laboratory for Research and Education in Solar Energy in Rio de Janeiro}, booktitle={Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288}, author={Krauter, Stefan and Stephan, R. and Bastos, L.}, year={1999} }","ieee":"S. Krauter, R. Stephan, and L. Bastos, “Set-up of a Laboratory for Research and Education in Solar Energy in Rio de Janeiro,” in <i>Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288</i>, 1999.","chicago":"Krauter, Stefan, R. Stephan, and L. Bastos. “Set-up of a Laboratory for Research and Education in Solar Energy in Rio de Janeiro.” In <i>Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288</i>, 1999.","ama":"Krauter S, Stephan R, Bastos L. Set-up of a Laboratory for Research and Education in Solar Energy in Rio de Janeiro. In: <i>Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, S. II-288</i>. ; 1999."}},{"extern":"1","language":[{"iso":"eng"}],"user_id":"16148","department":[{"_id":"53"}],"_id":"8119","status":"public","type":"conference","publication":"Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999,","conference":{"name":"ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999"},"title":"Cooling and Less Reflections at Photovoltaic Modules by a Frontside Water Film.","date_created":"2019-02-27T07:19:32Z","author":[{"orcid":"0000-0002-3594-260X","last_name":"Krauter","id":"28836","full_name":"Krauter, Stefan","first_name":"Stefan"},{"first_name":"U.","full_name":"Schmid, U.","last_name":"Schmid"}],"date_updated":"2022-01-06T07:03:51Z","citation":{"bibtex":"@inproceedings{Krauter_Schmid_1999, title={Cooling and Less Reflections at Photovoltaic Modules by a Frontside Water Film.}, booktitle={Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999,}, author={Krauter, Stefan and Schmid, U.}, year={1999} }","mla":"Krauter, Stefan, and U. Schmid. “Cooling and Less Reflections at Photovoltaic Modules by a Frontside Water Film.” <i>Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999,</i> 1999.","short":"S. Krauter, U. Schmid, in: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, 1999.","apa":"Krauter, S., &#38; Schmid, U. (1999). Cooling and Less Reflections at Photovoltaic Modules by a Frontside Water Film. In <i>Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999,</i>.","ama":"Krauter S, Schmid U. Cooling and Less Reflections at Photovoltaic Modules by a Frontside Water Film. In: <i>Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999,</i>. ; 1999.","ieee":"S. Krauter and U. Schmid, “Cooling and Less Reflections at Photovoltaic Modules by a Frontside Water Film.,” in <i>Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999,</i> 1999.","chicago":"Krauter, Stefan, and U. Schmid. “Cooling and Less Reflections at Photovoltaic Modules by a Frontside Water Film.” In <i>Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999,</i> 1999."},"year":"1999"},{"status":"public","type":"conference","publication":"Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375.","language":[{"iso":"eng"}],"extern":"1","_id":"8120","user_id":"16148","department":[{"_id":"53"}],"year":"1999","citation":{"ieee":"S. Krauter, “The Use of Solar Energy: Considerations for Calculations of Greenhouse Gas Reduction by Photovoltaics,” in <i>Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375.</i>, 1999.","chicago":"Krauter, Stefan. “The Use of Solar Energy: Considerations for Calculations of Greenhouse Gas Reduction by Photovoltaics.” In <i>Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375.</i>, 1999.","ama":"Krauter S. The Use of Solar Energy: Considerations for Calculations of Greenhouse Gas Reduction by Photovoltaics. In: <i>Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375.</i> ; 1999.","apa":"Krauter, S. (1999). The Use of Solar Energy: Considerations for Calculations of Greenhouse Gas Reduction by Photovoltaics. In <i>Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375.</i>","bibtex":"@inproceedings{Krauter_1999, title={The Use of Solar Energy: Considerations for Calculations of Greenhouse Gas Reduction by Photovoltaics}, booktitle={Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375.}, author={Krauter, Stefan}, year={1999} }","mla":"Krauter, Stefan. “The Use of Solar Energy: Considerations for Calculations of Greenhouse Gas Reduction by Photovoltaics.” <i>Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375.</i>, 1999.","short":"S. Krauter, in: Proceedings of the ISES Solar World Congress, Jerusalem (Israel), 4.–9. Juli 1999, II-375., 1999."},"title":"The Use of Solar Energy: Considerations for Calculations of Greenhouse Gas Reduction by Photovoltaics","conference":{"name":"ISES Solar World Congress, Jerusalem (Israel), .4.–9. Juli 1999"},"date_updated":"2022-01-06T07:03:51Z","author":[{"first_name":"Stefan","last_name":"Krauter","orcid":"0000-0002-3594-260X","id":"28836","full_name":"Krauter, Stefan"}],"date_created":"2019-02-27T07:23:25Z"},{"year":"1999","citation":{"mla":"Krauter, Stefan, and U. Schmid. “Optical and Thermal Improvements of PV Performance by a Flowing Film of Water at the Frontside of PV Generators. .” <i>Proceedings of the 9th Sede Boquer Symposium on Solar Electricity Production, Sede Boquer (Israel), 12.–13. Juli 1999, S. 123–126</i>, 1999.","bibtex":"@inproceedings{Krauter_Schmid_1999, title={Optical and Thermal Improvements of PV Performance by a Flowing Film of Water at the Frontside of PV Generators. }, booktitle={Proceedings of the 9th Sede Boquer Symposium on Solar Electricity Production, Sede Boquer (Israel), 12.–13. Juli 1999, S. 123–126}, author={Krauter, Stefan and Schmid, U.}, year={1999} }","short":"S. Krauter, U. Schmid, in: Proceedings of the 9th Sede Boquer Symposium on Solar Electricity Production, Sede Boquer (Israel), 12.–13. Juli 1999, S. 123–126, 1999.","apa":"Krauter, S., &#38; Schmid, U. (1999). Optical and Thermal Improvements of PV Performance by a Flowing Film of Water at the Frontside of PV Generators. . In <i>Proceedings of the 9th Sede Boquer Symposium on Solar Electricity Production, Sede Boquer (Israel), 12.–13. Juli 1999, S. 123–126</i>.","chicago":"Krauter, Stefan, and U. Schmid. “Optical and Thermal Improvements of PV Performance by a Flowing Film of Water at the Frontside of PV Generators. .” In <i>Proceedings of the 9th Sede Boquer Symposium on Solar Electricity Production, Sede Boquer (Israel), 12.–13. Juli 1999, S. 123–126</i>, 1999.","ieee":"S. Krauter and U. Schmid, “Optical and Thermal Improvements of PV Performance by a Flowing Film of Water at the Frontside of PV Generators. ,” in <i>Proceedings of the 9th Sede Boquer Symposium on Solar Electricity Production, Sede Boquer (Israel), 12.–13. Juli 1999, S. 123–126</i>, 1999.","ama":"Krauter S, Schmid U. Optical and Thermal Improvements of PV Performance by a Flowing Film of Water at the Frontside of PV Generators. . In: <i>Proceedings of the 9th Sede Boquer Symposium on Solar Electricity Production, Sede Boquer (Israel), 12.–13. Juli 1999, S. 123–126</i>. ; 1999."},"date_updated":"2022-01-06T07:03:51Z","author":[{"id":"28836","full_name":"Krauter, Stefan","last_name":"Krauter","orcid":"0000-0002-3594-260X","first_name":"Stefan"},{"last_name":"Schmid","full_name":"Schmid, U.","first_name":"U."}],"date_created":"2019-02-27T07:24:55Z","title":"Optical and Thermal Improvements of PV Performance by a Flowing Film of Water at the Frontside of PV Generators. ","conference":{"name":"9th Sede Boquer Symposium on Solar Electricity Production, Sede Boquer (Israel), 12.–13. Juli 1999"},"type":"conference","publication":"Proceedings of the 9th Sede Boquer Symposium on Solar Electricity Production, Sede Boquer (Israel), 12.–13. Juli 1999, S. 123–126","status":"public","_id":"8121","user_id":"16148","department":[{"_id":"53"}],"language":[{"iso":"eng"}],"extern":"1"},{"author":[{"first_name":"Stefan","last_name":"Krauter","orcid":"0000-0002-3594-260X","id":"28836","full_name":"Krauter, Stefan"}],"date_created":"2019-02-27T07:26:41Z","date_updated":"2022-01-06T07:03:51Z","conference":{"name":" Workshop Energias Alternativas para Produção de Calor, Frio e Geração e Conservação de Energia Elétrica, UFSC, Florianópolis, Santa Catarina (Brasilien), 6.–9. Dezember 1999"},"title":"Híbridos Termo/Solares Fotovoltaicos (Combined Solar–Thermal/Photovoltaic Systems)","citation":{"apa":"Krauter, S. (1999). Híbridos Termo/Solares Fotovoltaicos (Combined Solar–Thermal/Photovoltaic Systems). In <i>Proceedings of Workshop Energias Alternativas para Produção de Calor, Frio e Geração e Conservação de Energia Elétrica, UFSC, Florianópolis, Santa Catarina (Brasilien), 6.–9. Dezember 1999</i>.","short":"S. Krauter, in: Proceedings of Workshop Energias Alternativas Para Produção de Calor, Frio e Geração e Conservação de Energia Elétrica, UFSC, Florianópolis, Santa Catarina (Brasilien), 6.–9. Dezember 1999, 1999.","mla":"Krauter, Stefan. “Híbridos Termo/Solares Fotovoltaicos (Combined Solar–Thermal/Photovoltaic Systems).” <i>Proceedings of Workshop Energias Alternativas Para Produção de Calor, Frio e Geração e Conservação de Energia Elétrica, UFSC, Florianópolis, Santa Catarina (Brasilien), 6.–9. Dezember 1999</i>, 1999.","bibtex":"@inproceedings{Krauter_1999, title={Híbridos Termo/Solares Fotovoltaicos (Combined Solar–Thermal/Photovoltaic Systems)}, booktitle={Proceedings of Workshop Energias Alternativas para Produção de Calor, Frio e Geração e Conservação de Energia Elétrica, UFSC, Florianópolis, Santa Catarina (Brasilien), 6.–9. Dezember 1999}, author={Krauter, Stefan}, year={1999} }","ieee":"S. Krauter, “Híbridos Termo/Solares Fotovoltaicos (Combined Solar–Thermal/Photovoltaic Systems),” in <i>Proceedings of Workshop Energias Alternativas para Produção de Calor, Frio e Geração e Conservação de Energia Elétrica, UFSC, Florianópolis, Santa Catarina (Brasilien), 6.–9. Dezember 1999</i>, 1999.","chicago":"Krauter, Stefan. “Híbridos Termo/Solares Fotovoltaicos (Combined Solar–Thermal/Photovoltaic Systems).” In <i>Proceedings of Workshop Energias Alternativas Para Produção de Calor, Frio e Geração e Conservação de Energia Elétrica, UFSC, Florianópolis, Santa Catarina (Brasilien), 6.–9. Dezember 1999</i>, 1999.","ama":"Krauter S. Híbridos Termo/Solares Fotovoltaicos (Combined Solar–Thermal/Photovoltaic Systems). In: <i>Proceedings of Workshop Energias Alternativas Para Produção de Calor, Frio e Geração e Conservação de Energia Elétrica, UFSC, Florianópolis, Santa Catarina (Brasilien), 6.–9. Dezember 1999</i>. ; 1999."},"year":"1999","department":[{"_id":"53"}],"user_id":"16148","_id":"8122","language":[{"iso":"eng"}],"extern":"1","publication":"Proceedings of Workshop Energias Alternativas para Produção de Calor, Frio e Geração e Conservação de Energia Elétrica, UFSC, Florianópolis, Santa Catarina (Brasilien), 6.–9. Dezember 1999","type":"conference","status":"public"},{"alternative_title":["Krauter, S.; Araújo, G.; Schroer, S.; Salhi, M.; Lemoine, R; Triebel, C. und R. Hanitsch"],"extern":"1","language":[{"iso":"eng"}],"_id":"8123","user_id":"16148","department":[{"_id":"53"}],"status":"public","type":"journal_article","publication":"Solar Energy","title":"Combined PV and Solar Thermal Systems for Facade Integration and Building Insulation","date_updated":"2022-01-06T07:03:51Z","author":[{"first_name":"Stefan","orcid":"0000-0002-3594-260X","last_name":"Krauter","id":"28836","full_name":"Krauter, Stefan"},{"full_name":"Araujo, G.","last_name":"Araujo","first_name":"G."},{"first_name":"S.","full_name":"Schroer, S.","last_name":"Schroer"},{"last_name":"Salhi","full_name":"Salhi, M.","first_name":"M."},{"full_name":"Triebel, C.","last_name":"Triebel","first_name":"C."},{"full_name":"Hanitsch, Rolf","last_name":"Hanitsch","first_name":"Rolf"}],"date_created":"2019-02-27T07:30:23Z","volume":67,"year":"1999","citation":{"ama":"Krauter S, Araujo G, Schroer S, Salhi M, Triebel C, Hanitsch R. Combined PV and Solar Thermal Systems for Facade Integration and Building Insulation. <i>Solar Energy</i>. 1999;67(4-6):239-248.","ieee":"S. Krauter, G. Araujo, S. Schroer, M. Salhi, C. Triebel, and R. Hanitsch, “Combined PV and Solar Thermal Systems for Facade Integration and Building Insulation,” <i>Solar Energy</i>, vol. 67, no. 4–6, pp. 239–248, 1999.","chicago":"Krauter, Stefan, G. Araujo, S. Schroer, M. Salhi, C. Triebel, and Rolf Hanitsch. “Combined PV and Solar Thermal Systems for Facade Integration and Building Insulation.” <i>Solar Energy</i> 67, no. 4–6 (1999): 239–48.","apa":"Krauter, S., Araujo, G., Schroer, S., Salhi, M., Triebel, C., &#38; Hanitsch, R. (1999). Combined PV and Solar Thermal Systems for Facade Integration and Building Insulation. <i>Solar Energy</i>, <i>67</i>(4–6), 239–248.","mla":"Krauter, Stefan, et al. “Combined PV and Solar Thermal Systems for Facade Integration and Building Insulation.” <i>Solar Energy</i>, vol. 67, no. 4–6, 1999, pp. 239–48.","short":"S. Krauter, G. Araujo, S. Schroer, M. Salhi, C. Triebel, R. Hanitsch, Solar Energy 67 (1999) 239–248.","bibtex":"@article{Krauter_Araujo_Schroer_Salhi_Triebel_Hanitsch_1999, title={Combined PV and Solar Thermal Systems for Facade Integration and Building Insulation}, volume={67}, number={4–6}, journal={Solar Energy}, author={Krauter, Stefan and Araujo, G. and Schroer, S. and Salhi, M. and Triebel, C. and Hanitsch, Rolf}, year={1999}, pages={239–248} }"},"page":"239-248","intvolume":"        67","issue":"4-6"},{"date_created":"2019-03-03T16:13:00Z","author":[{"first_name":"Hartmut","full_name":"Ehrig, Hartmut","last_name":"Ehrig"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"last_name":"Llabrés","full_name":"Llabrés, Mercé","first_name":"Mercé"},{"first_name":"Fernando","last_name":"Orejas","full_name":"Orejas, Fernando"}],"publisher":"Technical University of Berlin","date_updated":"2022-01-06T07:03:52Z","title":"Basic Properties of Double Pullback Graph Transitions","citation":{"ama":"Ehrig H, Heckel R, Llabrés M, Orejas F. <i>Basic Properties of Double Pullback Graph Transitions</i>. Technical University of Berlin; 1999.","ieee":"H. Ehrig, R. Heckel, M. Llabrés, and F. Orejas, <i>Basic Properties of Double Pullback Graph Transitions</i>. Technical University of Berlin, 1999.","chicago":"Ehrig, Hartmut, Reiko Heckel, Mercé Llabrés, and Fernando Orejas. <i>Basic Properties of Double Pullback Graph Transitions</i>. Technical University of Berlin, 1999.","short":"H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, Basic Properties of Double Pullback Graph Transitions, Technical University of Berlin, 1999.","mla":"Ehrig, Hartmut, et al. <i>Basic Properties of Double Pullback Graph Transitions</i>. Technical University of Berlin, 1999.","bibtex":"@book{Ehrig_Heckel_Llabrés_Orejas_1999, title={Basic Properties of Double Pullback Graph Transitions}, publisher={Technical University of Berlin}, author={Ehrig, Hartmut and Heckel, Reiko and Llabrés, Mercé and Orejas, Fernando}, year={1999} }","apa":"Ehrig, H., Heckel, R., Llabrés, M., &#38; Orejas, F. (1999). <i>Basic Properties of Double Pullback Graph Transitions</i>. Technical University of Berlin."},"year":"1999","user_id":"52534","department":[{"_id":"66"}],"_id":"8203","language":[{"iso":"eng"}],"type":"report","report_number":"99-02","status":"public"},{"author":[{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"last_name":"Hücking","full_name":"Hücking, Roland","first_name":"Roland"},{"last_name":"Sauer","full_name":"Sauer, Stefan","id":"447","first_name":"Stefan"},{"full_name":"Wagner, Annika","last_name":"Wagner","first_name":"Annika"}],"date_created":"2019-03-03T16:13:01Z","publisher":"University of Paderborn, Department of Computer Science","date_updated":"2022-01-06T07:03:52Z","title":"UML Collaboration Diagrams and Their Transformation to Java","citation":{"short":"G. Engels, R. Hücking, S. Sauer, A. Wagner, UML Collaboration Diagrams and Their Transformation to Java, University of Paderborn, Department of Computer Science, 1999.","bibtex":"@book{Engels_Hücking_Sauer_Wagner_1999, title={UML Collaboration Diagrams and Their Transformation to Java}, publisher={University of Paderborn, Department of Computer Science}, author={Engels, Gregor and Hücking, Roland and Sauer, Stefan and Wagner, Annika}, year={1999} }","mla":"Engels, Gregor, et al. <i>UML Collaboration Diagrams and Their Transformation to Java</i>. University of Paderborn, Department of Computer Science, 1999.","apa":"Engels, G., Hücking, R., Sauer, S., &#38; Wagner, A. (1999). <i>UML Collaboration Diagrams and Their Transformation to Java</i>. University of Paderborn, Department of Computer Science.","ieee":"G. Engels, R. Hücking, S. Sauer, and A. Wagner, <i>UML Collaboration Diagrams and Their Transformation to Java</i>. University of Paderborn, Department of Computer Science, 1999.","chicago":"Engels, Gregor, Roland Hücking, Stefan Sauer, and Annika Wagner. <i>UML Collaboration Diagrams and Their Transformation to Java</i>. University of Paderborn, Department of Computer Science, 1999.","ama":"Engels G, Hücking R, Sauer S, Wagner A. <i>UML Collaboration Diagrams and Their Transformation to Java</i>. University of Paderborn, Department of Computer Science; 1999."},"year":"1999","department":[{"_id":"66"}],"user_id":"52534","_id":"8204","language":[{"iso":"eng"}],"report_number":"99-208","type":"report","status":"public"},{"date_updated":"2022-01-06T07:03:52Z","publisher":"Leiden Institute of Advanced Computer Science","date_created":"2019-03-03T16:13:02Z","author":[{"first_name":"Gregor","last_name":"Engels","id":"107","full_name":"Engels, Gregor"},{"full_name":"Jan t'Hoen, Pieter","last_name":"Jan t'Hoen","first_name":"Pieter"},{"full_name":"Dassen, Ray","last_name":"Dassen","first_name":"Ray"},{"full_name":"Groenewegen, Luuk","last_name":"Groenewegen","first_name":"Luuk"},{"full_name":"G. Sprinkhuizen-Kuyper, Ida","last_name":"G. Sprinkhuizen-Kuyper","first_name":"Ida"},{"first_name":"Pieter","full_name":"Koopman, Pieter","last_name":"Koopman"}],"title":"SOCCA Extended with UML like Packages","year":"1999","citation":{"ieee":"G. Engels, P. Jan t’Hoen, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, and P. Koopman, <i>SOCCA Extended with UML like Packages</i>. Leiden Institute of Advanced Computer Science, 1999, pp. 99–06.","chicago":"Engels, Gregor, Pieter Jan t’Hoen, Ray Dassen, Luuk Groenewegen, Ida G. Sprinkhuizen-Kuyper, and Pieter Koopman. <i>SOCCA Extended with UML like Packages</i>. Leiden Institute of Advanced Computer Science, 1999.","ama":"Engels G, Jan t’Hoen P, Dassen R, Groenewegen L, G. Sprinkhuizen-Kuyper I, Koopman P. <i>SOCCA Extended with UML like Packages</i>. Leiden Institute of Advanced Computer Science; 1999:99-06.","apa":"Engels, G., Jan t’Hoen, P., Dassen, R., Groenewegen, L., G. Sprinkhuizen-Kuyper, I., &#38; Koopman, P. (1999). <i>SOCCA Extended with UML like Packages</i> (pp. 99–06). Leiden Institute of Advanced Computer Science.","short":"G. Engels, P. Jan t’Hoen, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, SOCCA Extended with UML like Packages, Leiden Institute of Advanced Computer Science, 1999.","bibtex":"@book{Engels_Jan t’Hoen_Dassen_Groenewegen_G. Sprinkhuizen-Kuyper_Koopman_1999, title={SOCCA Extended with UML like Packages}, publisher={Leiden Institute of Advanced Computer Science}, author={Engels, Gregor and Jan t’Hoen, Pieter and Dassen, Ray and Groenewegen, Luuk and G. Sprinkhuizen-Kuyper, Ida and Koopman, Pieter}, year={1999}, pages={99–06} }","mla":"Engels, Gregor, et al. <i>SOCCA Extended with UML like Packages</i>. Leiden Institute of Advanced Computer Science, 1999, pp. 99–06."},"page":"99-06","_id":"8205","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"type":"report","status":"public"},{"status":"public","abstract":[{"lang":"eng","text":"This document starts the formalisation of the modelling language of the SOCCA OO method in the formal specification language Z. It captures the `static' aspects of SOCCA, i.e. the meaning of SOCCA language elements at the type level, rather than `dynamic' aspects (dealing with the instance level (objects in execution)). It is restricted to core SOCCA; proposed extensions are not formalised."}],"type":"report","report_number":"1999-03","language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"8206","citation":{"bibtex":"@book{Engels_Dassen_Groenewegen_G. Sprinkhuizen-Kuyper_Koopman_Jan t’Hoen_1999, title={A Formalisation of SOCCA using Z, part 1: The Type Level Concepts}, publisher={Leiden Institute of Advanced Computer Science}, author={Engels, Gregor and Dassen, Ray and Groenewegen, Luuk and G. Sprinkhuizen-Kuyper, Ida and Koopman, Pieter and Jan t’Hoen, Pieter}, year={1999} }","short":"G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, P. Jan t’Hoen, A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts, Leiden Institute of Advanced Computer Science, 1999.","mla":"Engels, Gregor, et al. <i>A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts</i>. Leiden Institute of Advanced Computer Science, 1999.","apa":"Engels, G., Dassen, R., Groenewegen, L., G. Sprinkhuizen-Kuyper, I., Koopman, P., &#38; Jan t’Hoen, P. (1999). <i>A Formalisation of SOCCA using Z, part 1: The Type Level Concepts</i>. Leiden Institute of Advanced Computer Science.","chicago":"Engels, Gregor, Ray Dassen, Luuk Groenewegen, Ida G. Sprinkhuizen-Kuyper, Pieter Koopman, and Pieter Jan t’Hoen. <i>A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts</i>. Leiden Institute of Advanced Computer Science, 1999.","ieee":"G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, and P. Jan t’Hoen, <i>A Formalisation of SOCCA using Z, part 1: The Type Level Concepts</i>. Leiden Institute of Advanced Computer Science, 1999.","ama":"Engels G, Dassen R, Groenewegen L, G. Sprinkhuizen-Kuyper I, Koopman P, Jan t’Hoen P. <i>A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts</i>. Leiden Institute of Advanced Computer Science; 1999."},"year":"1999","title":"A Formalisation of SOCCA using Z, part 1: The Type Level Concepts","date_created":"2019-03-03T16:13:03Z","author":[{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"},{"last_name":"Dassen","full_name":"Dassen, Ray","first_name":"Ray"},{"full_name":"Groenewegen, Luuk","last_name":"Groenewegen","first_name":"Luuk"},{"full_name":"G. Sprinkhuizen-Kuyper, Ida","last_name":"G. Sprinkhuizen-Kuyper","first_name":"Ida"},{"full_name":"Koopman, Pieter","last_name":"Koopman","first_name":"Pieter"},{"first_name":"Pieter","last_name":"Jan t'Hoen","full_name":"Jan t'Hoen, Pieter"}],"publisher":"Leiden Institute of Advanced Computer Science","date_updated":"2022-01-06T07:03:52Z"},{"page":"155-170","citation":{"chicago":"Sauer, Stefan, and Gregor Engels. “UML-Basierte Modellierung von Multimediaanwendungen.” In <i>Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe</i>, 155–70. Karlsruhe, Germany: Teubner, Stuttgart, 1999.","ieee":"S. Sauer and G. Engels, “UML-basierte Modellierung von Multimediaanwendungen,” in <i>Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe</i>, 1999, pp. 155–170.","ama":"Sauer S, Engels G. UML-basierte Modellierung von Multimediaanwendungen. In: <i>Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe</i>. Karlsruhe, Germany: Teubner, Stuttgart; 1999:155-170.","apa":"Sauer, S., &#38; Engels, G. (1999). UML-basierte Modellierung von Multimediaanwendungen. In <i>Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe</i> (pp. 155–170). Karlsruhe, Germany: Teubner, Stuttgart.","bibtex":"@inproceedings{Sauer_Engels_1999, place={Karlsruhe, Germany}, title={UML-basierte Modellierung von Multimediaanwendungen}, booktitle={Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe}, publisher={Teubner, Stuttgart}, author={Sauer, Stefan and Engels, Gregor}, year={1999}, pages={155–170} }","mla":"Sauer, Stefan, and Gregor Engels. “UML-Basierte Modellierung von Multimediaanwendungen.” <i>Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe</i>, Teubner, Stuttgart, 1999, pp. 155–70.","short":"S. Sauer, G. Engels, in: Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe, Teubner, Stuttgart, Karlsruhe, Germany, 1999, pp. 155–170."},"year":"1999","place":"Karlsruhe, Germany","author":[{"first_name":"Stefan","id":"447","full_name":"Sauer, Stefan","last_name":"Sauer"},{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"}],"date_created":"2019-03-05T13:29:08Z","date_updated":"2022-01-06T07:03:53Z","publisher":"Teubner, Stuttgart","title":"UML-basierte Modellierung von Multimediaanwendungen","publication":"Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe","type":"conference","status":"public","abstract":[{"lang":"eng","text":"Der Entwicklungsprozeß von Multimediaanwendungen sollte ebenso wie der herkömmlicher Softwaresysteme eine Analyse und einen Entwurf beinhalten. In dieser Arbeit diskutieren wir, inwiefern die Modellierung der Struktur und des dynamischen Verhaltens einer Multimediaanwendung über die Modellierung herkömmlicher Software hinausgeht. Wir zeigen, daß Aspekte der Benutzungsschnittstelle und das Zeitverhalten integraler Bestandteil der Modellierung sein sollten. Als Ergebnis stellen wir die objektorientierte Modellierungssprache OMMMA-L vor, die auf der Unified Modeling Language (UML) aufbaut. Die Struktur- und Verhaltensdiagramme von UML wurden analysiert und gemäß der Charakteristika von Multimedia adaptiert bzw. erweitert. Im Klassendiagramm werden die Medientypen und die logische Struktur der Anwendung modelliert. Als Verhaltensdiagramme werden spezialisierte Sequenz- und Zustandsdiagramme eingesetzt. Mit dem Layoutdiagramm wird ein neuer Diagrammtyp hinzugefügt, der die integrierte und anschauliche Beschreibung der visuellen Darstellung und interaktiver Benutzereingaben einer Multimediaanwendung erlaubt. Neben der Vorstellung der einzelnen Diagrammtypen geben wir ein aus dem Metamodell zu UML abgeleitetes OMMMA-L-Metamodell an, in dem das Zusammenspiel der Modellelemente aus den verschiedenen Diagrammen spezifiziert wird."}],"department":[{"_id":"66"}],"user_id":"52534","_id":"8321","language":[{"iso":"eng"}]},{"abstract":[{"lang":"eng","text":"We present an object-oriented approach based on the Unified Modeling Language (UML) for modeling structure and dynamic behavior of a multimedia information system. We extend the Model-View-Controller paradigm for interactive systems towards multimedia and show that aspects of the graphical user interface and time-dynamic behavior ought to be integral parts of a model. This is done in the intention of achieving a coherent model of a multimedia information system. As a result, we present OMMMA-L a UML-based language for the Object-Oriented Modeling of MultiMedia Applications. OMMMA-L deploys class and state diagrams of UML as well as an extended sequence diagram and a newly introduced presentation diagram to adequately specify the visual presentation within a multimedia information system. In addition to explaining the different diagram types, we also define pragmatic rules on how to deploy and combine the various diagrams. Additionally, we relate OMMMA-L to basic ideas of multimedia information systems."}],"status":"public","publication":"Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA)","type":"conference","language":[{"iso":"eng"}],"_id":"8322","department":[{"_id":"66"}],"user_id":"52534","year":"1999","place":"Indian Wells, California, USA","page":"64-71","citation":{"apa":"Sauer, S., &#38; Engels, G. (1999). OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems. In <i>Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA)</i> (pp. 64–71). Indian Wells, California, USA.","bibtex":"@inproceedings{Sauer_Engels_1999, place={Indian Wells, California, USA}, title={OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems}, booktitle={Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA)}, author={Sauer, Stefan and Engels, Gregor}, year={1999}, pages={64–71} }","mla":"Sauer, Stefan, and Gregor Engels. “OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems.” <i>Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA)</i>, 1999, pp. 64–71.","short":"S. Sauer, G. Engels, in: Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), Indian Wells, California, USA, 1999, pp. 64–71.","chicago":"Sauer, Stefan, and Gregor Engels. “OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems.” In <i>Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA)</i>, 64–71. Indian Wells, California, USA, 1999.","ieee":"S. Sauer and G. Engels, “OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems,” in <i>Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA)</i>, 1999, pp. 64–71.","ama":"Sauer S, Engels G. OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems. In: <i>Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA)</i>. Indian Wells, California, USA; 1999:64-71."},"title":"OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems","date_updated":"2022-01-06T07:03:53Z","date_created":"2019-03-05T13:29:09Z","author":[{"full_name":"Sauer, Stefan","id":"447","last_name":"Sauer","first_name":"Stefan"},{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"}]},{"status":"public","publication":"Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"series_title":"LNCS","user_id":"52534","_id":"8323","intvolume":"      1589","page":"92-106","citation":{"ieee":"A. Corradini, M. Große-Rhode, and R. Heckel, “An Algebra of Graph Derivations using Finite (co-) limit Double Theories,” in <i>Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)</i>, 1999, vol. 1589, pp. 92–106.","chicago":"Corradini, Andrea, Martin Große-Rhode, and Reiko Heckel. “An Algebra of Graph Derivations Using Finite (Co-) Limit Double Theories.” In <i>Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)</i>, 1589:92–106. LNCS. Berlin/Heidelberg: Springer, 1999. <a href=\"http://dx.doi.org/10.1007/3-540-48483-3_7\">http://dx.doi.org/10.1007/3-540-48483-3_7</a>.","ama":"Corradini A, Große-Rhode M, Heckel R. An Algebra of Graph Derivations using Finite (co-) limit Double Theories. In: <i>Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)</i>. Vol 1589. LNCS. Berlin/Heidelberg: Springer; 1999:92-106. doi:<a href=\"http://dx.doi.org/10.1007/3-540-48483-3_7\">http://dx.doi.org/10.1007/3-540-48483-3_7</a>","apa":"Corradini, A., Große-Rhode, M., &#38; Heckel, R. (1999). An Algebra of Graph Derivations using Finite (co-) limit Double Theories. In <i>Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)</i> (Vol. 1589, pp. 92–106). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/3-540-48483-3_7\">http://dx.doi.org/10.1007/3-540-48483-3_7</a>","bibtex":"@inproceedings{Corradini_Große-Rhode_Heckel_1999, place={Berlin/Heidelberg}, series={LNCS}, title={An Algebra of Graph Derivations using Finite (co-) limit Double Theories}, volume={1589}, DOI={<a href=\"http://dx.doi.org/10.1007/3-540-48483-3_7\">http://dx.doi.org/10.1007/3-540-48483-3_7</a>}, booktitle={Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)}, publisher={Springer}, author={Corradini, Andrea and Große-Rhode, Martin and Heckel, Reiko}, year={1999}, pages={92–106}, collection={LNCS} }","mla":"Corradini, Andrea, et al. “An Algebra of Graph Derivations Using Finite (Co-) Limit Double Theories.” <i>Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)</i>, vol. 1589, Springer, 1999, pp. 92–106, doi:<a href=\"http://dx.doi.org/10.1007/3-540-48483-3_7\">http://dx.doi.org/10.1007/3-540-48483-3_7</a>.","short":"A. Corradini, M. Große-Rhode, R. Heckel, in: Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal), Springer, Berlin/Heidelberg, 1999, pp. 92–106."},"place":"Berlin/Heidelberg","year":"1999","doi":"http://dx.doi.org/10.1007/3-540-48483-3_7","title":"An Algebra of Graph Derivations using Finite (co-) limit Double Theories","volume":1589,"author":[{"first_name":"Andrea","full_name":"Corradini, Andrea","last_name":"Corradini"},{"first_name":"Martin","full_name":"Große-Rhode, Martin","last_name":"Große-Rhode"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"}],"date_created":"2019-03-05T13:29:10Z","date_updated":"2022-01-06T07:03:53Z","publisher":"Springer"},{"place":"Amsterdam, The Netherlands","year":"1999","citation":{"short":"A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99), Elsevier, Amsterdam, The Netherlands, 1999, pp. 118–141.","bibtex":"@inproceedings{Corradini_Heckel_Montanari_1999, place={Amsterdam, The Netherlands}, series={Electronic Notes in TCS}, title={From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence}, volume={19}, DOI={<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80273-7\">http://dx.doi.org/10.1016/S1571-0661(05)80273-7</a>}, booktitle={Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99)}, publisher={Elsevier}, author={Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}, year={1999}, pages={118–141}, collection={Electronic Notes in TCS} }","mla":"Corradini, Andrea, et al. “From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence.” <i>Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99)</i>, vol. 19, Elsevier, 1999, pp. 118–41, doi:<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80273-7\">http://dx.doi.org/10.1016/S1571-0661(05)80273-7</a>.","apa":"Corradini, A., Heckel, R., &#38; Montanari, U. (1999). From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. In <i>Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99)</i> (Vol. 19, pp. 118–141). Amsterdam, The Netherlands: Elsevier. <a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80273-7\">http://dx.doi.org/10.1016/S1571-0661(05)80273-7</a>","ieee":"A. Corradini, R. Heckel, and U. Montanari, “From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence,” in <i>Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99)</i>, 1999, vol. 19, pp. 118–141.","chicago":"Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence.” In <i>Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99)</i>, 19:118–41. Electronic Notes in TCS. Amsterdam, The Netherlands: Elsevier, 1999. <a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80273-7\">http://dx.doi.org/10.1016/S1571-0661(05)80273-7</a>.","ama":"Corradini A, Heckel R, Montanari U. From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. In: <i>Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99)</i>. Vol 19. Electronic Notes in TCS. Amsterdam, The Netherlands: Elsevier; 1999:118-141. doi:<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80273-7\">http://dx.doi.org/10.1016/S1571-0661(05)80273-7</a>"},"intvolume":"        19","page":"118-141","date_updated":"2022-01-06T07:03:53Z","publisher":"Elsevier","date_created":"2019-03-05T13:29:11Z","author":[{"full_name":"Corradini, Andrea","last_name":"Corradini","first_name":"Andrea"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"last_name":"Montanari","full_name":"Montanari, Ugo","first_name":"Ugo"}],"volume":19,"title":"From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence","doi":"http://dx.doi.org/10.1016/S1571-0661(05)80273-7","type":"conference","publication":"Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99)","status":"public","_id":"8324","series_title":"Electronic Notes in TCS","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}]},{"year":"1999","citation":{"ama":"Engels G, Heckel R, Sauer S. Dynamic Meta Modelling: A Graphical Approach to Operational Semantics. In: <i>Proceedings of the Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (Satellite Event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA)</i>. ; 1999.","ieee":"G. Engels, R. Heckel, and S. Sauer, “Dynamic Meta Modelling: A Graphical Approach to Operational Semantics,” in <i>Proceedings of the workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (satellite event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA)</i>, 1999.","chicago":"Engels, Gregor, Reiko Heckel, and Stefan Sauer. “Dynamic Meta Modelling: A Graphical Approach to Operational Semantics.” In <i>Proceedings of the Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (Satellite Event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA)</i>, 1999.","apa":"Engels, G., Heckel, R., &#38; Sauer, S. (1999). Dynamic Meta Modelling: A Graphical Approach to Operational Semantics. In <i>Proceedings of the workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (satellite event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA)</i>.","short":"G. Engels, R. Heckel, S. Sauer, in: Proceedings of the Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (Satellite Event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA), 1999.","bibtex":"@inproceedings{Engels_Heckel_Sauer_1999, title={Dynamic Meta Modelling: A Graphical Approach to Operational Semantics}, booktitle={Proceedings of the workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (satellite event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA)}, author={Engels, Gregor and Heckel, Reiko and Sauer, Stefan}, year={1999} }","mla":"Engels, Gregor, et al. “Dynamic Meta Modelling: A Graphical Approach to Operational Semantics.” <i>Proceedings of the Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (Satellite Event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA)</i>, 1999."},"date_updated":"2022-01-06T07:03:53Z","date_created":"2019-03-05T13:29:13Z","author":[{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"last_name":"Sauer","full_name":"Sauer, Stefan","id":"447","first_name":"Stefan"}],"title":"Dynamic Meta Modelling: A Graphical Approach to Operational Semantics","type":"conference","publication":"Proceedings of the workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (satellite event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA)","abstract":[{"lang":"eng","text":"In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static meta model by a specification of the system’s dynamics by means of collaboration diagrams. In this way, it is possible to define the behavior of UML diagrams within UML. The conceptual idea is inherited from Plotkin’s structured operational semantics (SOS) paradigm, a style of semantics specification for concurrent programming languages and process calculi: Collaboration diagrams are used as deduction rules to specify a goal-oriented interpreter for the language. The approach is exemplified using a fragment of UML statechart and object diagrams. Formally, collaboration diagrams are interpreted as graph transformation rules. In this way, dynamic UML semantics can be both mathematically rigorous so as to enable formal specifications and proofs and, due to the use of UML notation, understandable without prior knowledge of heavy mathematic machinery. Thus, it can be used as a reference by tool developers, teachers, and advanced users."}],"status":"public","_id":"8325","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}]},{"title":"MVC-Based Modeling Support for Embedded Real-Time Systems","author":[{"first_name":"Gregor","last_name":"Engels","id":"107","full_name":"Engels, Gregor"},{"last_name":"Sauer","full_name":"Sauer, Stefan","id":"447","first_name":"Stefan"}],"date_created":"2019-03-05T13:29:14Z","date_updated":"2022-01-06T07:03:53Z","page":"11-14","citation":{"bibtex":"@inproceedings{Engels_Sauer_1999, place={Herrsching, Universität der Bundeswehr München, Fakultät für Informatik}, title={MVC-Based Modeling Support for Embedded Real-Time Systems}, number={01}, booktitle={Proceedings of OMER Workshop, Herrsching, Germany}, author={Engels, Gregor and Sauer, Stefan}, year={1999}, pages={11–14} }","short":"G. Engels, S. Sauer, in: Proceedings of OMER Workshop, Herrsching, Germany, Herrsching, Universität der Bundeswehr München, Fakultät für Informatik, 1999, pp. 11–14.","mla":"Engels, Gregor, and Stefan Sauer. “MVC-Based Modeling Support for Embedded Real-Time Systems.” <i>Proceedings of OMER Workshop, Herrsching, Germany</i>, no. 01, 1999, pp. 11–14.","apa":"Engels, G., &#38; Sauer, S. (1999). MVC-Based Modeling Support for Embedded Real-Time Systems. In <i>Proceedings of OMER Workshop, Herrsching, Germany</i> (pp. 11–14). Herrsching, Universität der Bundeswehr München, Fakultät für Informatik.","ama":"Engels G, Sauer S. MVC-Based Modeling Support for Embedded Real-Time Systems. In: <i>Proceedings of OMER Workshop, Herrsching, Germany</i>. Herrsching, Universität der Bundeswehr München, Fakultät für Informatik; 1999:11-14.","chicago":"Engels, Gregor, and Stefan Sauer. “MVC-Based Modeling Support for Embedded Real-Time Systems.” In <i>Proceedings of OMER Workshop, Herrsching, Germany</i>, 11–14. Herrsching, Universität der Bundeswehr München, Fakultät für Informatik, 1999.","ieee":"G. Engels and S. Sauer, “MVC-Based Modeling Support for Embedded Real-Time Systems,” in <i>Proceedings of OMER Workshop, Herrsching, Germany</i>, 1999, no. 01, pp. 11–14."},"year":"1999","place":"Herrsching, Universität der Bundeswehr München, Fakultät für Informatik","issue":"01","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"8326","status":"public","abstract":[{"text":"Several software architecture paradigms have been proposed for the development of interactive software systems and applications. Their common idea is the separation of user interface components from application logic. Normally, they are deployed as design patterns or basic frameworks of interactive systems. Deploying these architecture paradigms for multimedia systems or embedded real-time systems, first requires an appropriate adaption to the specific aspects of these application areas. We will compare within this position paper two well-known architecture paradigms and motivate an advanced architecture paradigm applicable to real-time, embedded multimedia systems. In addition, we will discuss that the architecture paradigm should be reflected within the structure of a modeling language.","lang":"eng"}],"publication":"Proceedings of OMER Workshop, Herrsching, Germany","type":"conference"},{"language":[{"iso":"eng"}],"_id":"8327","user_id":"52534","department":[{"_id":"66"}],"status":"public","type":"conference","publication":"Proceedings of the Young Researchers Workshop (satellite event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany)","title":"An Assessment of Aspect Language Design","date_updated":"2022-01-06T07:03:53Z","author":[{"last_name":"Mehner","full_name":"Mehner, Katharina","first_name":"Katharina"},{"last_name":"Wagner","full_name":"Wagner, Annika","first_name":"Annika"}],"date_created":"2019-03-05T13:29:15Z","year":"1999","citation":{"ama":"Mehner K, Wagner A. An Assessment of Aspect Language Design. In: <i>Proceedings of the Young Researchers Workshop (Satellite Event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany)</i>. ; 1999.","chicago":"Mehner, Katharina, and Annika Wagner. “An Assessment of Aspect Language Design.” In <i>Proceedings of the Young Researchers Workshop (Satellite Event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany)</i>, 1999.","ieee":"K. Mehner and A. Wagner, “An Assessment of Aspect Language Design,” in <i>Proceedings of the Young Researchers Workshop (satellite event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany)</i>, 1999.","bibtex":"@inproceedings{Mehner_Wagner_1999, title={An Assessment of Aspect Language Design}, booktitle={Proceedings of the Young Researchers Workshop (satellite event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany)}, author={Mehner, Katharina and Wagner, Annika}, year={1999} }","short":"K. Mehner, A. Wagner, in: Proceedings of the Young Researchers Workshop (Satellite Event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany), 1999.","mla":"Mehner, Katharina, and Annika Wagner. “An Assessment of Aspect Language Design.” <i>Proceedings of the Young Researchers Workshop (Satellite Event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany)</i>, 1999.","apa":"Mehner, K., &#38; Wagner, A. (1999). An Assessment of Aspect Language Design. In <i>Proceedings of the Young Researchers Workshop (satellite event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany)</i>."}}]