[{"year":"2005","citation":{"mla":"Mehner, Katharina. <i>Trace-Based Debugging and Visualisation of Concurrent Java Programs with UML</i>. 2005.","short":"K. Mehner, Trace-Based Debugging and Visualisation of Concurrent Java Programs with UML, 2005.","bibtex":"@book{Mehner_2005, title={Trace-based Debugging and Visualisation of Concurrent Java Programs with UML}, author={Mehner, Katharina}, year={2005} }","apa":"Mehner, K. (2005). <i>Trace-based Debugging and Visualisation of Concurrent Java Programs with UML</i>.","ama":"Mehner K. <i>Trace-Based Debugging and Visualisation of Concurrent Java Programs with UML</i>.; 2005.","chicago":"Mehner, Katharina. <i>Trace-Based Debugging and Visualisation of Concurrent Java Programs with UML</i>, 2005.","ieee":"K. Mehner, <i>Trace-based Debugging and Visualisation of Concurrent Java Programs with UML</i>. 2005."},"title":"Trace-based Debugging and Visualisation of Concurrent Java Programs with UML","date_updated":"2022-01-06T07:03:40Z","author":[{"full_name":"Mehner, Katharina","last_name":"Mehner","first_name":"Katharina"}],"date_created":"2019-02-06T14:26:49Z","abstract":[{"lang":"eng","text":"This thesis describes an approach for automated detection of concurrent liveness failures in the execution of Java programs. Concurrent programs are highly prone to failure because of the inherent nondeterminism. Developers of concurrent Java programs are not well supported in detecting concurrency failures, i.e. failures that are due to interactions between multiple threads. These failures are neither well documented nor do tools like debuggers allow developers to identify them at runtime. This thesis analyses and classifies liveness failures, a special kind of concurrency failures, and the associated potentials in Java. A UML statechart is developed that models the interaction of Java threads. Liveness failures and potentials are specified formally in terms of the states controlling the interaction of threads and in terms of the events exchanged by interacting threads. Detection algorithms are developed to identify the specified failures in a program execution. A UML profile extending UML interaction diagrams is developed to visualise the execution of concurrent Java programs and detected liveness failures and potentials. In order to deploy the algorithms and the UML profile, tool support concepts are provided. This involves the specification of a trace format and a tracing method to collect execution data from a running Java program, and the specification of methods to analyse the trace and to visualise the trace and the analysis results. The concepts are implemented in the JAVIS prototype, which consists of a Java tracer with an analysis facility for monitoring liveness in concurrent Java programs, and a plug-in extension to the UML CASE tool Together for importing and displaying concurrent Java traces including failures and potentials."}],"status":"public","type":"dissertation","language":[{"iso":"eng"}],"_id":"7583","department":[{"_id":"66"}],"user_id":"52534"},{"language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"7584","status":"public","abstract":[{"lang":"eng","text":"The technique of Dynamic Meta Modeling allows for specifying the semantics of visual modeling languages (like, e.g., the Unified Modeling Language, UML). It is aimed at combining formal rigor (allowing for automated processing of expressions in the language and reasoning about them) with a user-friendly visual notation. We do explicitly exploit the meta modeling paradigm to provide our formalizations within a form known to the expected user base. Technically, DMM uses an innovative combination of elements from denotational and operational semantics together with Graph Transformations. The thesis furthermore introduces a technically richer concept of relations to the Meta Object Facility (MOF). As an extended application example the core semantics of UML Activity Diagrams are formalized within this thesis. Pragmatic guidelines to formulate specifications in DMM and tool support to test the effect of such specifications complete the thesis."}],"type":"dissertation","title":"Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages","author":[{"last_name":"Hendrik Hausmann","full_name":"Hendrik Hausmann, Jan","first_name":"Jan"}],"date_created":"2019-02-06T14:27:26Z","date_updated":"2022-01-06T07:03:40Z","citation":{"mla":"Hendrik Hausmann, Jan. <i>Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages</i>. 2005.","short":"J. Hendrik Hausmann, Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages, 2005.","bibtex":"@book{Hendrik Hausmann_2005, title={Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages}, author={Hendrik Hausmann, Jan}, year={2005} }","apa":"Hendrik Hausmann, J. (2005). <i>Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages</i>.","chicago":"Hendrik Hausmann, Jan. <i>Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages</i>, 2005.","ieee":"J. Hendrik Hausmann, <i>Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages</i>. 2005.","ama":"Hendrik Hausmann J. <i>Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages</i>.; 2005."},"year":"2005"},{"language":[{"iso":"eng"}],"_id":"8394","department":[{"_id":"66"}],"series_title":"CEUR Workshop Proceedings","user_id":"52534","status":"public","publication":"Proceedings of the MoDELS'05 Workshop on Model Driven Development of Advanced User Interfaces","type":"conference","title":"Towards employing UML Model Mappings for Platform Independent User Interface Design","main_file_link":[{"url":"http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-159/paper6.pdf"}],"publisher":"CEUR-WS.org","date_updated":"2022-01-06T07:03:54Z","volume":159,"author":[{"first_name":"Tim","full_name":"Schattkowsky, Tim","last_name":"Schattkowsky"},{"first_name":"Marc","full_name":"Lohmann, Marc","last_name":"Lohmann"}],"date_created":"2019-03-06T11:29:01Z","year":"2005","intvolume":"       159","citation":{"apa":"Schattkowsky, T., &#38; Lohmann, M. (2005). Towards employing UML Model Mappings for Platform Independent User Interface Design. In <i>Proceedings of the MoDELS’05 Workshop on Model Driven Development of Advanced User Interfaces</i> (Vol. 159). CEUR-WS.org.","short":"T. Schattkowsky, M. Lohmann, in: Proceedings of the MoDELS’05 Workshop on Model Driven Development of Advanced User Interfaces, CEUR-WS.org, 2005.","bibtex":"@inproceedings{Schattkowsky_Lohmann_2005, series={CEUR Workshop Proceedings}, title={Towards employing UML Model Mappings for Platform Independent User Interface Design}, volume={159}, booktitle={Proceedings of the MoDELS’05 Workshop on Model Driven Development of Advanced User Interfaces}, publisher={CEUR-WS.org}, author={Schattkowsky, Tim and Lohmann, Marc}, year={2005}, collection={CEUR Workshop Proceedings} }","mla":"Schattkowsky, Tim, and Marc Lohmann. “Towards Employing UML Model Mappings for Platform Independent User Interface Design.” <i>Proceedings of the MoDELS’05 Workshop on Model Driven Development of Advanced User Interfaces</i>, vol. 159, CEUR-WS.org, 2005.","ama":"Schattkowsky T, Lohmann M. Towards employing UML Model Mappings for Platform Independent User Interface Design. In: <i>Proceedings of the MoDELS’05 Workshop on Model Driven Development of Advanced User Interfaces</i>. Vol 159. CEUR Workshop Proceedings. CEUR-WS.org; 2005.","ieee":"T. Schattkowsky and M. Lohmann, “Towards employing UML Model Mappings for Platform Independent User Interface Design,” in <i>Proceedings of the MoDELS’05 Workshop on Model Driven Development of Advanced User Interfaces</i>, 2005, vol. 159.","chicago":"Schattkowsky, Tim, and Marc Lohmann. “Towards Employing UML Model Mappings for Platform Independent User Interface Design.” In <i>Proceedings of the MoDELS’05 Workshop on Model Driven Development of Advanced User Interfaces</i>, Vol. 159. CEUR Workshop Proceedings. CEUR-WS.org, 2005."}},{"date_created":"2019-03-06T11:29:02Z","author":[{"full_name":"Rettberg, Achim","last_name":"Rettberg","first_name":"Achim"},{"first_name":"Tim","full_name":"Schattkowsky, Tim","last_name":"Schattkowsky"},{"first_name":"Carsten","full_name":"Rust, Carsten","last_name":"Rust"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","last_name":"Müller"},{"full_name":"Josef Rammig, Franz","last_name":"Josef Rammig","first_name":"Franz"}],"volume":192,"date_updated":"2022-01-06T07:03:54Z","publisher":"Springer","title":"The Reconfigurable UML Machine Project Group","citation":{"bibtex":"@inproceedings{Rettberg_Schattkowsky_Rust_Müller_Josef Rammig_2005, place={Berlin/Heidelberg}, series={IFIP - International Federation for Information Processing}, title={The Reconfigurable UML Machine Project Group}, volume={192}, booktitle={Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia)}, publisher={Springer}, author={Rettberg, Achim and Schattkowsky, Tim and Rust, Carsten and Müller, Wolfgang and Josef Rammig, Franz}, year={2005}, pages={139–147}, collection={IFIP - International Federation for Information Processing} }","mla":"Rettberg, Achim, et al. “The Reconfigurable UML Machine Project Group.” <i>Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia)</i>, vol. 192, Springer, 2005, pp. 139–47.","short":"A. Rettberg, T. Schattkowsky, C. Rust, W. Müller, F. Josef Rammig, in: Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia), Springer, Berlin/Heidelberg, 2005, pp. 139–147.","apa":"Rettberg, A., Schattkowsky, T., Rust, C., Müller, W., &#38; Josef Rammig, F. (2005). The Reconfigurable UML Machine Project Group. In <i>Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia)</i> (Vol. 192, pp. 139–147). Berlin/Heidelberg: Springer.","ama":"Rettberg A, Schattkowsky T, Rust C, Müller W, Josef Rammig F. The Reconfigurable UML Machine Project Group. In: <i>Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia)</i>. Vol 192. IFIP - International Federation for Information Processing. Berlin/Heidelberg: Springer; 2005:139-147.","chicago":"Rettberg, Achim, Tim Schattkowsky, Carsten Rust, Wolfgang Müller, and Franz Josef Rammig. “The Reconfigurable UML Machine Project Group.” In <i>Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia)</i>, 192:139–47. IFIP - International Federation for Information Processing. Berlin/Heidelberg: Springer, 2005.","ieee":"A. Rettberg, T. Schattkowsky, C. Rust, W. Müller, and F. Josef Rammig, “The Reconfigurable UML Machine Project Group,” in <i>Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia)</i>, 2005, vol. 192, pp. 139–147."},"page":"139-147","intvolume":"       192","year":"2005","place":"Berlin/Heidelberg","user_id":"52534","series_title":"IFIP - International Federation for Information Processing","department":[{"_id":"66"}],"_id":"8395","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia)","status":"public"},{"date_created":"2019-03-06T11:29:04Z","author":[{"full_name":"Cherchago, Alexey","last_name":"Cherchago","first_name":"Alexey"},{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"}],"date_updated":"2022-01-06T07:03:54Z","title":"Preservation of Compatibility under Evolution of Software Components","citation":{"bibtex":"@inproceedings{Cherchago_Engels_2005, title={Preservation of Compatibility under Evolution of Software Components}, booktitle={International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland)}, author={Cherchago, Alexey and Engels, Gregor}, year={2005} }","short":"A. Cherchago, G. Engels, in: International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland), 2005.","mla":"Cherchago, Alexey, and Gregor Engels. “Preservation of Compatibility under Evolution of Software Components.” <i>International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland)</i>, 2005.","apa":"Cherchago, A., &#38; Engels, G. (2005). Preservation of Compatibility under Evolution of Software Components. In <i>International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland)</i>.","ieee":"A. Cherchago and G. Engels, “Preservation of Compatibility under Evolution of Software Components,” in <i>International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland)</i>, 2005.","chicago":"Cherchago, Alexey, and Gregor Engels. “Preservation of Compatibility under Evolution of Software Components.” In <i>International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland)</i>, 2005.","ama":"Cherchago A, Engels G. Preservation of Compatibility under Evolution of Software Components. In: <i>International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland)</i>. ; 2005."},"year":"2005","department":[{"_id":"66"}],"user_id":"52534","_id":"8396","language":[{"iso":"eng"}],"publication":"International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland)","type":"conference","status":"public"},{"title":"Design by Contract zur semantischen Beschreibung von Web Services","publisher":"Gesellschaft für Informatik (GI)","date_updated":"2022-01-06T07:03:54Z","date_created":"2019-03-06T11:29:05Z","author":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"first_name":"Marc","last_name":"Lohmann","full_name":"Lohmann, Marc"},{"id":"447","full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan"}],"volume":68,"year":"2005","place":"Bonn","citation":{"apa":"Engels, G., Lohmann, M., &#38; Sauer, S. (2005). Design by Contract zur semantischen Beschreibung von Web Services. In <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Service-orientierte Architekturen - Zusammenwirken von Business &#38; IT, Bonn (Germany)</i> (Vol. 68, pp. 612–616). Bonn: Gesellschaft für Informatik (GI).","mla":"Engels, Gregor, et al. “Design by Contract Zur Semantischen Beschreibung von Web Services.” <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Service-Orientierte Architekturen - Zusammenwirken von Business &#38; IT, Bonn (Germany)</i>, vol. 68, Gesellschaft für Informatik (GI), 2005, pp. 612–16.","short":"G. Engels, M. Lohmann, S. Sauer, in: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Service-Orientierte Architekturen - Zusammenwirken von Business &#38; IT, Bonn (Germany), Gesellschaft für Informatik (GI), Bonn, 2005, pp. 612–616.","bibtex":"@inproceedings{Engels_Lohmann_Sauer_2005, place={Bonn}, series={Lecture Notes in Informatics}, title={Design by Contract zur semantischen Beschreibung von Web Services}, volume={68}, booktitle={Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Service-orientierte Architekturen - Zusammenwirken von Business &#38; IT, Bonn (Germany)}, publisher={Gesellschaft für Informatik (GI)}, author={Engels, Gregor and Lohmann, Marc and Sauer, Stefan}, year={2005}, pages={612–616}, collection={Lecture Notes in Informatics} }","ieee":"G. Engels, M. Lohmann, and S. Sauer, “Design by Contract zur semantischen Beschreibung von Web Services,” in <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Service-orientierte Architekturen - Zusammenwirken von Business &#38; IT, Bonn (Germany)</i>, 2005, vol. 68, pp. 612–616.","chicago":"Engels, Gregor, Marc Lohmann, and Stefan Sauer. “Design by Contract Zur Semantischen Beschreibung von Web Services.” In <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Service-Orientierte Architekturen - Zusammenwirken von Business &#38; IT, Bonn (Germany)</i>, 68:612–16. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2005.","ama":"Engels G, Lohmann M, Sauer S. Design by Contract zur semantischen Beschreibung von Web Services. In: <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Service-Orientierte Architekturen - Zusammenwirken von Business &#38; IT, Bonn (Germany)</i>. Vol 68. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2005:612-616."},"page":"612-616","intvolume":"        68","language":[{"iso":"eng"}],"_id":"8397","user_id":"52534","series_title":"Lecture Notes in Informatics","department":[{"_id":"66"}],"abstract":[{"lang":"ger","text":"Die Vision von Web Services ist, dass ein Service Requestor einen Ser-vice Provider dynamisch finden und binden kann. Für das Finden eines Web Ser-vices müssen die Anforderungen eines Requestors und die Beschreibung eines Services miteinander verglichen werden. Syntaktische Beschreibungen reichen hierfür nicht aus. Eine Möglichkeit zur semantischen Beschreibung von Web Ser-vices basiert auf der Technik Design by Contract. In diesem Papier führen wir eine UML-basierte Notation für Kontrakte sowie ein Matching-Konzept ein. Damit wird eine automatisierte, semantische Suche nach Web Services möglich."}],"status":"public","type":"conference","publication":"Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Service-orientierte Architekturen - Zusammenwirken von Business & IT, Bonn (Germany)"},{"status":"public","abstract":[{"text":"Die Qualität Service-orientierter Softwaresysteme hängt wesentlich von der Einbindung der richtigen Dienste ab. Zwei grundsätzliche Aspekte kommen hierbei zum Tragen: (1) Passen die Anforderungen eines Service Requestors und die Servicebeschreibung eines Service Providers zusammen und (2) ist die Imple-mentierung der Web Services korrekt gegenüber der Servicebeschreibung. Wir verwenden Design by Contract Techniken auf der Modellebene zur semantischen Beschreibung von Web Services und führen ein Matching-Konzept für den Ver-gleich von Requestor- und Provider-Kontrakten ein. Damit wird eine automatisier-te, semantische Suche nach Web Services möglich. Wir erläutern zudem eine mo-dellbasierte Vorgehensweise zur Entwicklung von Web Services. Hierbei werden aus den Modellen der Anwendung (1) die auswertbaren semantischen Beschrei-bungen und (2) Runtime-Assertions erzeugt, um die Korrektheit der Implementie-rung eines Web Services gegenüber seiner Spezifikation zu überprüfen. So wird eine konstruktive und prüfende Qualitätssicherung unterstützt.","lang":"eng"}],"publication":"Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","series_title":"Lecture Notes in Informatics","_id":"8398","page":"491-495","intvolume":"        68","citation":{"ama":"Engels G, Lohmann M, Sauer S. Modellbasierte Entwicklung von Web Services mit Design by Contract. In: <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany</i>. Vol 68. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2005:491-495.","ieee":"G. Engels, M. Lohmann, and S. Sauer, “Modellbasierte Entwicklung von Web Services mit Design by Contract,” in <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany</i>, 2005, vol. 68, pp. 491–495.","chicago":"Engels, Gregor, Marc Lohmann, and Stefan Sauer. “Modellbasierte Entwicklung von Web Services Mit Design by Contract.” In <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany</i>, 68:491–95. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2005.","apa":"Engels, G., Lohmann, M., &#38; Sauer, S. (2005). Modellbasierte Entwicklung von Web Services mit Design by Contract. In <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany</i> (Vol. 68, pp. 491–495). Bonn: Gesellschaft für Informatik (GI).","mla":"Engels, Gregor, et al. “Modellbasierte Entwicklung von Web Services Mit Design by Contract.” <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany</i>, vol. 68, Gesellschaft für Informatik (GI), 2005, pp. 491–95.","short":"G. Engels, M. Lohmann, S. Sauer, in: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany, Gesellschaft für Informatik (GI), Bonn, 2005, pp. 491–495.","bibtex":"@inproceedings{Engels_Lohmann_Sauer_2005, place={Bonn}, series={Lecture Notes in Informatics}, title={Modellbasierte Entwicklung von Web Services mit Design by Contract}, volume={68}, booktitle={Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany}, publisher={Gesellschaft für Informatik (GI)}, author={Engels, Gregor and Lohmann, Marc and Sauer, Stefan}, year={2005}, pages={491–495}, collection={Lecture Notes in Informatics} }"},"year":"2005","place":"Bonn","title":"Modellbasierte Entwicklung von Web Services mit Design by Contract","volume":68,"author":[{"first_name":"Gregor","last_name":"Engels","id":"107","full_name":"Engels, Gregor"},{"first_name":"Marc","last_name":"Lohmann","full_name":"Lohmann, Marc"},{"id":"447","full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan"}],"date_created":"2019-03-06T11:29:06Z","date_updated":"2022-01-06T07:03:54Z","publisher":"Gesellschaft für Informatik (GI)"},{"type":"conference","publication":"Proceedings of the workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy)","status":"public","_id":"8399","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"issue":"3","place":"Amsterdam, The Netherlands","year":"2005","citation":{"ieee":"R. Heckel and S. Thöne, “Behavioral Refinement of Graph Transformation-Based Models,” in <i>Proceedings of the workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy)</i>, 2005, vol. 127, no. 3, pp. 101–111.","chicago":"Heckel, Reiko, and Sebastian Thöne. “Behavioral Refinement of Graph Transformation-Based Models.” In <i>Proceedings of the Workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy)</i>, 127:101–11. Amsterdam, The Netherlands: Elsevier, 2005. <a href=\"http://dx.doi.org/10.1016/j.entcs.2004.08.037\">http://dx.doi.org/10.1016/j.entcs.2004.08.037</a>.","ama":"Heckel R, Thöne S. Behavioral Refinement of Graph Transformation-Based Models. In: <i>Proceedings of the Workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy)</i>. Vol 127. Amsterdam, The Netherlands: Elsevier; 2005:101-111. doi:<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.08.037\">http://dx.doi.org/10.1016/j.entcs.2004.08.037</a>","mla":"Heckel, Reiko, and Sebastian Thöne. “Behavioral Refinement of Graph Transformation-Based Models.” <i>Proceedings of the Workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy)</i>, vol. 127, no. 3, Elsevier, 2005, pp. 101–11, doi:<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.08.037\">http://dx.doi.org/10.1016/j.entcs.2004.08.037</a>.","short":"R. Heckel, S. Thöne, in: Proceedings of the Workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy), Elsevier, Amsterdam, The Netherlands, 2005, pp. 101–111.","bibtex":"@inproceedings{Heckel_Thöne_2005, place={Amsterdam, The Netherlands}, title={Behavioral Refinement of Graph Transformation-Based Models}, volume={127}, DOI={<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.08.037\">http://dx.doi.org/10.1016/j.entcs.2004.08.037</a>}, number={3}, booktitle={Proceedings of the workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy)}, publisher={Elsevier}, author={Heckel, Reiko and Thöne, Sebastian}, year={2005}, pages={101–111} }","apa":"Heckel, R., &#38; Thöne, S. (2005). Behavioral Refinement of Graph Transformation-Based Models. In <i>Proceedings of the workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy)</i> (Vol. 127, pp. 101–111). Amsterdam, The Netherlands: Elsevier. <a href=\"http://dx.doi.org/10.1016/j.entcs.2004.08.037\">http://dx.doi.org/10.1016/j.entcs.2004.08.037</a>"},"page":"101-111","intvolume":"       127","publisher":"Elsevier","date_updated":"2022-01-06T07:03:54Z","date_created":"2019-03-06T11:29:07Z","author":[{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"last_name":"Thöne","full_name":"Thöne, Sebastian","first_name":"Sebastian"}],"volume":127,"title":"Behavioral Refinement of Graph Transformation-Based Models","doi":"http://dx.doi.org/10.1016/j.entcs.2004.08.037"},{"citation":{"bibtex":"@inproceedings{Heckel_Lohmann_2005, title={Towards Contract-based Testing of Web Services}, volume={116}, DOI={<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.02.073\">http://dx.doi.org/10.1016/j.entcs.2004.02.073</a>}, booktitle={Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)}, publisher={Elsevier}, author={Heckel, Reiko and Lohmann, Marc}, year={2005}, pages={145–156} }","mla":"Heckel, Reiko, and Marc Lohmann. “Towards Contract-Based Testing of Web Services.” <i>Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)</i>, vol. 116, Elsevier, 2005, pp. 145–56, doi:<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.02.073\">http://dx.doi.org/10.1016/j.entcs.2004.02.073</a>.","short":"R. Heckel, M. Lohmann, in: Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004), Elsevier, 2005, pp. 145–156.","apa":"Heckel, R., &#38; Lohmann, M. (2005). Towards Contract-based Testing of Web Services. In <i>Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)</i> (Vol. 116, pp. 145–156). Elsevier. <a href=\"http://dx.doi.org/10.1016/j.entcs.2004.02.073\">http://dx.doi.org/10.1016/j.entcs.2004.02.073</a>","ama":"Heckel R, Lohmann M. Towards Contract-based Testing of Web Services. In: <i>Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)</i>. Vol 116. Elsevier; 2005:145-156. doi:<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.02.073\">http://dx.doi.org/10.1016/j.entcs.2004.02.073</a>","chicago":"Heckel, Reiko, and Marc Lohmann. “Towards Contract-Based Testing of Web Services.” In <i>Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)</i>, 116:145–56. Elsevier, 2005. <a href=\"http://dx.doi.org/10.1016/j.entcs.2004.02.073\">http://dx.doi.org/10.1016/j.entcs.2004.02.073</a>.","ieee":"R. Heckel and M. Lohmann, “Towards Contract-based Testing of Web Services,” in <i>Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)</i>, 2005, vol. 116, pp. 145–156."},"page":"145-156","intvolume":"       116","year":"2005","doi":"http://dx.doi.org/10.1016/j.entcs.2004.02.073","title":"Towards Contract-based Testing of Web Services","date_created":"2019-03-06T11:29:08Z","author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"first_name":"Marc","full_name":"Lohmann, Marc","last_name":"Lohmann"}],"volume":116,"date_updated":"2022-01-06T07:03:54Z","publisher":"Elsevier","status":"public","type":"conference","publication":"Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)","language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"8400"},{"abstract":[{"text":"While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further investigation. Nowadays, user interface design is usually platform specific or based on C-level cross-platform libraries. In this paper, we propose a MDA like design approach for user interfaces based on the transformation of UML models at different levels of abstraction. This enables platform independent design of user interfaces and a clear separation of UI and application logic design while enabling full use of native controls in the actual user interface implementation.","lang":"eng"}],"status":"public","publication":"Proceedings of the Satellite Events at the MoDELS 2005 Conference","type":"conference","language":[{"iso":"eng"}],"_id":"8401","department":[{"_id":"66"}],"user_id":"52534","series_title":"LNCS","place":"Berlin/Heidelberg","year":"2005","page":"201-209","intvolume":"      3844","citation":{"ieee":"T. Schattkowsky and M. Lohmann, “Towards employing UML Model Mappings for Platform Independent User Interface Design (Revised),” in <i>Proceedings of the Satellite Events at the MoDELS 2005 Conference</i>, 2005, vol. 3844, pp. 201–209.","chicago":"Schattkowsky, Tim, and Marc Lohmann. “Towards Employing UML Model Mappings for Platform Independent User Interface Design (Revised).” In <i>Proceedings of the Satellite Events at the MoDELS 2005 Conference</i>, 3844:201–9. LNCS. Berlin/Heidelberg: Springer, 2005. <a href=\"http://dx.doi.org/10.1007/11663430_21\">http://dx.doi.org/10.1007/11663430_21</a>.","ama":"Schattkowsky T, Lohmann M. Towards employing UML Model Mappings for Platform Independent User Interface Design (Revised). In: <i>Proceedings of the Satellite Events at the MoDELS 2005 Conference</i>. Vol 3844. LNCS. Berlin/Heidelberg: Springer; 2005:201-209. doi:<a href=\"http://dx.doi.org/10.1007/11663430_21\">http://dx.doi.org/10.1007/11663430_21</a>","short":"T. Schattkowsky, M. Lohmann, in: Proceedings of the Satellite Events at the MoDELS 2005 Conference, Springer, Berlin/Heidelberg, 2005, pp. 201–209.","mla":"Schattkowsky, Tim, and Marc Lohmann. “Towards Employing UML Model Mappings for Platform Independent User Interface Design (Revised).” <i>Proceedings of the Satellite Events at the MoDELS 2005 Conference</i>, vol. 3844, Springer, 2005, pp. 201–09, doi:<a href=\"http://dx.doi.org/10.1007/11663430_21\">http://dx.doi.org/10.1007/11663430_21</a>.","bibtex":"@inproceedings{Schattkowsky_Lohmann_2005, place={Berlin/Heidelberg}, series={LNCS}, title={Towards employing UML Model Mappings for Platform Independent User Interface Design (Revised)}, volume={3844}, DOI={<a href=\"http://dx.doi.org/10.1007/11663430_21\">http://dx.doi.org/10.1007/11663430_21</a>}, booktitle={Proceedings of the Satellite Events at the MoDELS 2005 Conference}, publisher={Springer}, author={Schattkowsky, Tim and Lohmann, Marc}, year={2005}, pages={201–209}, collection={LNCS} }","apa":"Schattkowsky, T., &#38; Lohmann, M. (2005). Towards employing UML Model Mappings for Platform Independent User Interface Design (Revised). In <i>Proceedings of the Satellite Events at the MoDELS 2005 Conference</i> (Vol. 3844, pp. 201–209). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/11663430_21\">http://dx.doi.org/10.1007/11663430_21</a>"},"title":"Towards employing UML Model Mappings for Platform Independent User Interface Design (Revised)","doi":"http://dx.doi.org/10.1007/11663430_21","publisher":"Springer","date_updated":"2022-01-06T07:03:54Z","volume":3844,"date_created":"2019-03-06T11:29:09Z","author":[{"last_name":"Schattkowsky","full_name":"Schattkowsky, Tim","first_name":"Tim"},{"full_name":"Lohmann, Marc","last_name":"Lohmann","first_name":"Marc"}]},{"language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"8402","status":"public","publication":"Proceedings of the UML for SoC Design Workshop","type":"conference","title":"Using UML Activities for Synthesis on Reconfigurable Hardware","date_created":"2019-03-06T11:29:11Z","author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"last_name":"Hendrik Hausmann","full_name":"Hendrik Hausmann, Jan","first_name":"Jan"},{"first_name":"Achim","last_name":"Rettberg","full_name":"Rettberg, Achim"}],"date_updated":"2022-01-06T07:03:54Z","citation":{"ieee":"T. Schattkowsky, J. Hendrik Hausmann, and A. Rettberg, “Using UML Activities for Synthesis on Reconfigurable Hardware,” in <i>Proceedings of the UML for SoC Design Workshop</i>, 2005.","chicago":"Schattkowsky, Tim, Jan Hendrik Hausmann, and Achim Rettberg. “Using UML Activities for Synthesis on Reconfigurable Hardware.” In <i>Proceedings of the UML for SoC Design Workshop</i>. Anaheim, USA, 2005.","ama":"Schattkowsky T, Hendrik Hausmann J, Rettberg A. Using UML Activities for Synthesis on Reconfigurable Hardware. In: <i>Proceedings of the UML for SoC Design Workshop</i>. Anaheim, USA; 2005.","bibtex":"@inproceedings{Schattkowsky_Hendrik Hausmann_Rettberg_2005, place={Anaheim, USA}, title={Using UML Activities for Synthesis on Reconfigurable Hardware}, booktitle={Proceedings of the UML for SoC Design Workshop}, author={Schattkowsky, Tim and Hendrik Hausmann, Jan and Rettberg, Achim}, year={2005} }","short":"T. Schattkowsky, J. Hendrik Hausmann, A. Rettberg, in: Proceedings of the UML for SoC Design Workshop, Anaheim, USA, 2005.","mla":"Schattkowsky, Tim, et al. “Using UML Activities for Synthesis on Reconfigurable Hardware.” <i>Proceedings of the UML for SoC Design Workshop</i>, 2005.","apa":"Schattkowsky, T., Hendrik Hausmann, J., &#38; Rettberg, A. (2005). Using UML Activities for Synthesis on Reconfigurable Hardware. In <i>Proceedings of the UML for SoC Design Workshop</i>. Anaheim, USA."},"year":"2005","place":"Anaheim, USA"},{"title":"Proceedings of \"DeLFI 2004: Die 2. e-Learning Fachtagung Informatik\", Paderborn (Germany)","date_created":"2019-02-19T18:42:54Z","date_updated":"2022-01-06T07:03:46Z","publisher":"Gesellschaft für Informatik (GI)","citation":{"chicago":"Engels, Gregor, and S. Seehusen, eds. <i>Proceedings of “DeLFI 2004: Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany)</i>. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2004.","ieee":"G. Engels and S. Seehusen, Eds., <i>Proceedings of “DeLFI 2004: Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany)</i>, no. P-52. Bonn: Gesellschaft für Informatik (GI), 2004.","ama":"Engels G, Seehusen S, eds. <i>Proceedings of “DeLFI 2004: Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany)</i>. Bonn: Gesellschaft für Informatik (GI); 2004.","mla":"Engels, Gregor, and S. Seehusen, editors. <i>Proceedings of “DeLFI 2004: Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany)</i>. no. P-52, Gesellschaft für Informatik (GI), 2004.","bibtex":"@book{Engels_Seehusen_2004, place={Bonn}, series={Lecture Notes in Informatics}, title={Proceedings of “DeLFI 2004: Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany)}, number={P-52}, publisher={Gesellschaft für Informatik (GI)}, year={2004}, collection={Lecture Notes in Informatics} }","short":"G. Engels, S. Seehusen, eds., Proceedings of “DeLFI 2004: Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany), Gesellschaft für Informatik (GI), Bonn, 2004.","apa":"Engels, G., &#38; Seehusen, S. (Eds.). (2004). <i>Proceedings of “DeLFI 2004: Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany)</i>. Bonn: Gesellschaft für Informatik (GI)."},"place":"Bonn","year":"2004","issue":"P-52","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Informatics","user_id":"52534","department":[{"_id":"66"}],"_id":"7782","status":"public","editor":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"full_name":"Seehusen, S.","last_name":"Seehusen","first_name":"S."}],"type":"conference_editor"},{"title":"Modeling and Development of Multimedia Systems","doi":"http://dx.doi.org/10.1142/S021819400400183X","date_updated":"2022-01-06T07:03:46Z","publisher":"World Scientific","volume":14,"date_created":"2019-02-19T18:43:42Z","year":"2004","intvolume":"        14","citation":{"apa":"Engels, G., &#38; Sauer, S. (Eds.). (2004). <i>Modeling and Development of Multimedia Systems</i> (Vol. 14). World Scientific. <a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>","short":"G. Engels, S. Sauer, eds., Modeling and Development of Multimedia Systems, World Scientific, 2004.","bibtex":"@book{Engels_Sauer_2004, series={Special Issue of the International Journal of Software Engineering and Knowledge Engineering}, title={Modeling and Development of Multimedia Systems}, volume={14}, DOI={<a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>}, number={6}, publisher={World Scientific}, year={2004}, collection={Special Issue of the International Journal of Software Engineering and Knowledge Engineering} }","mla":"Engels, Gregor, and Stefan Sauer, editors. <i>Modeling and Development of Multimedia Systems</i>. Vol. 14, no. 6, World Scientific, 2004, doi:<a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>.","chicago":"Engels, Gregor, and Stefan Sauer, eds. <i>Modeling and Development of Multimedia Systems</i>. Vol. 14. Special Issue of the International Journal of Software Engineering and Knowledge Engineering. World Scientific, 2004. <a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>.","ieee":"G. Engels and S. Sauer, Eds., <i>Modeling and Development of Multimedia Systems</i>, vol. 14, no. 6. World Scientific, 2004.","ama":"Engels G, Sauer S, eds. <i>Modeling and Development of Multimedia Systems</i>. Vol 14. World Scientific; 2004. doi:<a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>"},"issue":"6","language":[{"iso":"eng"}],"_id":"7783","department":[{"_id":"66"}],"series_title":"Special Issue of the International Journal of Software Engineering and Knowledge Engineering","user_id":"52534","editor":[{"first_name":"Gregor","id":"107","full_name":"Engels, Gregor","last_name":"Engels"},{"first_name":"Stefan","full_name":"Sauer, Stefan","id":"447","last_name":"Sauer"}],"status":"public","type":"conference_editor"},{"place":"Berlin/Heidelberg","year":"2004","citation":{"apa":"Ehrig, H., Engels, G., Parisi-Presicce, F., &#38; Rozenberg, G. (Eds.). (2004). <i>Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy)</i> (Vol. 3256). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/b100934\">http://dx.doi.org/10.1007/b100934</a>","bibtex":"@book{Ehrig_Engels_Parisi-Presicce_Rozenberg_2004, place={Berlin/Heidelberg}, series={LNCS}, title={Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy)}, volume={3256}, DOI={<a href=\"http://dx.doi.org/10.1007/b100934\">http://dx.doi.org/10.1007/b100934</a>}, publisher={Springer}, year={2004}, collection={LNCS} }","mla":"Ehrig, Hartmut, et al., editors. <i>Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy)</i>. Vol. 3256, Springer, 2004, doi:<a href=\"http://dx.doi.org/10.1007/b100934\">http://dx.doi.org/10.1007/b100934</a>.","short":"H. Ehrig, G. Engels, F. Parisi-Presicce, G. Rozenberg, eds., Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy), Springer, Berlin/Heidelberg, 2004.","chicago":"Ehrig, Hartmut, Gregor Engels, F. Parisi-Presicce, and Grzegorz Rozenberg, eds. <i>Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy)</i>. Vol. 3256. LNCS. Berlin/Heidelberg: Springer, 2004. <a href=\"http://dx.doi.org/10.1007/b100934\">http://dx.doi.org/10.1007/b100934</a>.","ieee":"H. Ehrig, G. Engels, F. Parisi-Presicce, and G. Rozenberg, Eds., <i>Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy)</i>, vol. 3256. Berlin/Heidelberg: Springer, 2004.","ama":"Ehrig H, Engels G, Parisi-Presicce F, Rozenberg G, eds. <i>Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy)</i>. Vol 3256. Berlin/Heidelberg: Springer; 2004. doi:<a href=\"http://dx.doi.org/10.1007/b100934\">http://dx.doi.org/10.1007/b100934</a>"},"intvolume":"      3256","date_updated":"2022-01-06T07:03:46Z","publisher":"Springer","date_created":"2019-02-19T18:44:31Z","volume":3256,"title":"Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy)","doi":"http://dx.doi.org/10.1007/b100934","type":"conference_editor","editor":[{"first_name":"Hartmut","last_name":"Ehrig","full_name":"Ehrig, Hartmut"},{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"},{"last_name":"Parisi-Presicce","full_name":"Parisi-Presicce, F.","first_name":"F."},{"full_name":"Rozenberg, Grzegorz","last_name":"Rozenberg","first_name":"Grzegorz"}],"status":"public","_id":"7784","user_id":"52534","series_title":"LNCS","department":[{"_id":"66"}],"language":[{"iso":"eng"}]},{"year":"2004","place":"Washington, DC, USA","page":"611-616","citation":{"apa":"Schattkowsky, T., Loeser, C., &#38; Müller, W. (2004). Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. In <i>Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan)</i> (pp. 611–616). Washington, DC, USA: IEEE Computer Society.","bibtex":"@inproceedings{Schattkowsky_Loeser_Müller_2004, place={Washington, DC, USA}, title={Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks}, booktitle={Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan)}, publisher={IEEE Computer Society}, author={Schattkowsky, Tim and Loeser, Christoph and Müller, Wolfgang}, year={2004}, pages={611–616} }","short":"T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan), IEEE Computer Society, Washington, DC, USA, 2004, pp. 611–616.","mla":"Schattkowsky, Tim, et al. “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks.” <i>Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan)</i>, IEEE Computer Society, 2004, pp. 611–16.","ieee":"T. Schattkowsky, C. Loeser, and W. Müller, “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks,” in <i>Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan)</i>, 2004, pp. 611–616.","chicago":"Schattkowsky, Tim, Christoph Loeser, and Wolfgang Müller. “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks.” In <i>Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan)</i>, 611–16. Washington, DC, USA: IEEE Computer Society, 2004.","ama":"Schattkowsky T, Loeser C, Müller W. Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. In: <i>Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan)</i>. Washington, DC, USA: IEEE Computer Society; 2004:611-616."},"date_updated":"2022-01-06T07:03:47Z","publisher":"IEEE Computer Society","date_created":"2019-02-21T11:23:11Z","author":[{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"},{"first_name":"Christoph","full_name":"Loeser, Christoph","last_name":"Loeser"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","last_name":"Müller"}],"title":"Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks","publication":"Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan)","type":"conference","status":"public","_id":"7917","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}]},{"citation":{"apa":"Baresi, L., Heckel, R., Thöne, S., &#38; Varró, D. (2004). Style-Based Refinement of Dynamic Software Architectures. In <i>Proceedings of the conference on Software Architecture (WICSA 2004), Oslo (Norway)</i> (pp. 155–166). Washington, DC, USA: IEEE Computer Society.","mla":"Baresi, Luciano, et al. “Style-Based Refinement of Dynamic Software Architectures.” <i>Proceedings of the Conference on Software Architecture (WICSA 2004), Oslo (Norway)</i>, IEEE Computer Society, 2004, pp. 155–66.","short":"L. Baresi, R. Heckel, S. Thöne, D. Varró, in: Proceedings of the Conference on Software Architecture (WICSA 2004), Oslo (Norway), IEEE Computer Society, Washington, DC, USA, 2004, pp. 155–166.","bibtex":"@inproceedings{Baresi_Heckel_Thöne_Varró_2004, place={Washington, DC, USA}, title={Style-Based Refinement of Dynamic Software Architectures}, booktitle={Proceedings of the conference on Software Architecture (WICSA 2004), Oslo (Norway)}, publisher={IEEE Computer Society}, author={Baresi, Luciano and Heckel, Reiko and Thöne, Sebastian and Varró, Dániel}, year={2004}, pages={155–166} }","ama":"Baresi L, Heckel R, Thöne S, Varró D. Style-Based Refinement of Dynamic Software Architectures. In: <i>Proceedings of the Conference on Software Architecture (WICSA 2004), Oslo (Norway)</i>. Washington, DC, USA: IEEE Computer Society; 2004:155-166.","ieee":"L. Baresi, R. Heckel, S. Thöne, and D. Varró, “Style-Based Refinement of Dynamic Software Architectures,” in <i>Proceedings of the conference on Software Architecture (WICSA 2004), Oslo (Norway)</i>, 2004, pp. 155–166.","chicago":"Baresi, Luciano, Reiko Heckel, Sebastian Thöne, and Dániel Varró. “Style-Based Refinement of Dynamic Software Architectures.” In <i>Proceedings of the Conference on Software Architecture (WICSA 2004), Oslo (Norway)</i>, 155–66. Washington, DC, USA: IEEE Computer Society, 2004."},"page":"155-166","year":"2004","place":"Washington, DC, USA","title":"Style-Based Refinement of Dynamic Software Architectures","author":[{"first_name":"Luciano","last_name":"Baresi","full_name":"Baresi, Luciano"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"first_name":"Sebastian","last_name":"Thöne","full_name":"Thöne, Sebastian"},{"full_name":"Varró, Dániel","last_name":"Varró","first_name":"Dániel"}],"date_created":"2019-02-21T11:23:38Z","publisher":"IEEE Computer Society","date_updated":"2022-01-06T07:03:47Z","status":"public","type":"conference","publication":"Proceedings of the conference on Software Architecture (WICSA 2004), Oslo (Norway)","language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"7918"},{"publication":"Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)","type":"conference","status":"public","department":[{"_id":"66"}],"series_title":"LNCS","user_id":"52534","_id":"7919","language":[{"iso":"eng"}],"intvolume":"      3280","page":"907-916","citation":{"ama":"Belli F, Güldali B. Software Testing via Model Checking. In: <i>Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)</i>. Vol 3280. LNCS. Berlin/Heidelberg: Springer; 2004:907-916. doi:<a href=\"http://dx.doi.org/10.1007/b101749\">http://dx.doi.org/10.1007/b101749</a>","chicago":"Belli, Fevzi, and Baris Güldali. “Software Testing via Model Checking.” In <i>Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)</i>, 3280:907–16. LNCS. Berlin/Heidelberg: Springer, 2004. <a href=\"http://dx.doi.org/10.1007/b101749\">http://dx.doi.org/10.1007/b101749</a>.","ieee":"F. Belli and B. Güldali, “Software Testing via Model Checking,” in <i>Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)</i>, 2004, vol. 3280, pp. 907–916.","apa":"Belli, F., &#38; Güldali, B. (2004). Software Testing via Model Checking. In <i>Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)</i> (Vol. 3280, pp. 907–916). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/b101749\">http://dx.doi.org/10.1007/b101749</a>","short":"F. Belli, B. Güldali, in: Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), Springer, Berlin/Heidelberg, 2004, pp. 907–916.","bibtex":"@inproceedings{Belli_Güldali_2004, place={Berlin/Heidelberg}, series={LNCS}, title={Software Testing via Model Checking}, volume={3280}, DOI={<a href=\"http://dx.doi.org/10.1007/b101749\">http://dx.doi.org/10.1007/b101749</a>}, booktitle={Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)}, publisher={Springer}, author={Belli, Fevzi and Güldali, Baris}, year={2004}, pages={907–916}, collection={LNCS} }","mla":"Belli, Fevzi, and Baris Güldali. “Software Testing via Model Checking.” <i>Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)</i>, vol. 3280, Springer, 2004, pp. 907–16, doi:<a href=\"http://dx.doi.org/10.1007/b101749\">http://dx.doi.org/10.1007/b101749</a>."},"year":"2004","place":"Berlin/Heidelberg","volume":3280,"author":[{"full_name":"Belli, Fevzi","last_name":"Belli","first_name":"Fevzi"},{"first_name":"Baris","full_name":"Güldali, Baris","last_name":"Güldali"}],"date_created":"2019-02-21T11:24:23Z","publisher":"Springer","date_updated":"2022-01-06T07:03:48Z","doi":"http://dx.doi.org/10.1007/b101749","title":"Software Testing via Model Checking"},{"intvolume":"       158","page":"65-79","citation":{"ama":"Heckel R, Guo P. Conceptual Modeling of Styles For Mobile Systems: A layered approach based on graph transformation. In: <i>Proceedings of the Conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway)</i>. Vol 158. IFIP - International Federation for Information Processing. Berlin/Heidelberg: Springer; 2004:65-79. doi:<a href=\"https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5\">dx.doi.org/10.1007/0-387-22874-8_5</a>","ieee":"R. Heckel and P. Guo, “Conceptual Modeling of Styles For Mobile Systems: A layered approach based on graph transformation,” in <i>Proceedings of the conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway)</i>, 2004, vol. 158, pp. 65–79.","chicago":"Heckel, Reiko, and Ping Guo. “Conceptual Modeling of Styles For Mobile Systems: A Layered Approach Based on Graph Transformation.” In <i>Proceedings of the Conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway)</i>, 158:65–79. IFIP - International Federation for Information Processing. Berlin/Heidelberg: Springer, 2004. <a href=\"https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5\">https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5</a>.","mla":"Heckel, Reiko, and Ping Guo. “Conceptual Modeling of Styles For Mobile Systems: A Layered Approach Based on Graph Transformation.” <i>Proceedings of the Conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway)</i>, vol. 158, Springer, 2004, pp. 65–79, doi:<a href=\"https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5\">dx.doi.org/10.1007/0-387-22874-8_5</a>.","bibtex":"@inproceedings{Heckel_Guo_2004, place={Berlin/Heidelberg}, series={IFIP - International Federation for Information Processing}, title={Conceptual Modeling of Styles For Mobile Systems: A layered approach based on graph transformation}, volume={158}, DOI={<a href=\"https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5\">dx.doi.org/10.1007/0-387-22874-8_5</a>}, booktitle={Proceedings of the conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway)}, publisher={Springer}, author={Heckel, Reiko and Guo, Ping}, year={2004}, pages={65–79}, collection={IFIP - International Federation for Information Processing} }","short":"R. Heckel, P. Guo, in: Proceedings of the Conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway), Springer, Berlin/Heidelberg, 2004, pp. 65–79.","apa":"Heckel, R., &#38; Guo, P. (2004). Conceptual Modeling of Styles For Mobile Systems: A layered approach based on graph transformation. In <i>Proceedings of the conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway)</i> (Vol. 158, pp. 65–79). Berlin/Heidelberg: Springer. <a href=\"https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5\">https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5</a>"},"place":"Berlin/Heidelberg","year":"2004","volume":158,"date_created":"2019-02-21T11:24:58Z","author":[{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"last_name":"Guo","full_name":"Guo, Ping","first_name":"Ping"}],"date_updated":"2022-01-06T07:03:48Z","publisher":"Springer","doi":"dx.doi.org/10.1007/0-387-22874-8_5","title":"Conceptual Modeling of Styles For Mobile Systems: A layered approach based on graph transformation","publication":"Proceedings of the conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway)","type":"conference","status":"public","department":[{"_id":"66"}],"user_id":"52534","series_title":"IFIP - International Federation for Information Processing","_id":"7920","language":[{"iso":"eng"}]},{"title":"Application of Graph Transformation for Automating Web Service Discovery","date_updated":"2022-01-06T07:03:48Z","publisher":"Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI)","author":[{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"last_name":"Cherchago","full_name":"Cherchago, Alexey","first_name":"Alexey"}],"date_created":"2019-02-21T11:25:33Z","place":"Dagstuhl, Germany","year":"2004","citation":{"mla":"Heckel, Reiko, and Alexey Cherchago. “Application of Graph Transformation for Automating Web Service Discovery.” <i>Proceedings of the Seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany)</i>, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), 2004.","bibtex":"@inproceedings{Heckel_Cherchago_2004, place={Dagstuhl, Germany}, series={Dagstuhl Seminar Proceedings}, title={Application of Graph Transformation for Automating Web Service Discovery}, booktitle={Proceedings of the seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany)}, publisher={Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI)}, author={Heckel, Reiko and Cherchago, Alexey}, year={2004}, collection={Dagstuhl Seminar Proceedings} }","short":"R. Heckel, A. Cherchago, in: Proceedings of the Seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany), Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Dagstuhl, Germany, 2004.","apa":"Heckel, R., &#38; Cherchago, A. (2004). Application of Graph Transformation for Automating Web Service Discovery. In <i>Proceedings of the seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany)</i>. Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI).","ama":"Heckel R, Cherchago A. Application of Graph Transformation for Automating Web Service Discovery. In: <i>Proceedings of the Seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany)</i>. Dagstuhl Seminar Proceedings. Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI); 2004.","chicago":"Heckel, Reiko, and Alexey Cherchago. “Application of Graph Transformation for Automating Web Service Discovery.” In <i>Proceedings of the Seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany)</i>. Dagstuhl Seminar Proceedings. Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), 2004.","ieee":"R. Heckel and A. Cherchago, “Application of Graph Transformation for Automating Web Service Discovery,” in <i>Proceedings of the seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany)</i>, 2004."},"language":[{"iso":"eng"}],"_id":"7921","department":[{"_id":"66"}],"series_title":"Dagstuhl Seminar Proceedings","user_id":"52534","status":"public","publication":"Proceedings of the seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany)","type":"conference"},{"language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"7922","status":"public","publication":"Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)","type":"conference","title":"Model-Based Design of Embedded Systems","date_created":"2019-02-21T11:25:54Z","author":[{"last_name":"Schattkowsky","full_name":"Schattkowsky, Tim","first_name":"Tim"},{"last_name":"Müller","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"publisher":"IEEE Computer Society","date_updated":"2022-01-06T07:03:48Z","page":"121-128","citation":{"ama":"Schattkowsky T, Müller W. Model-Based Design of Embedded Systems. In: <i>Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)</i>. Los Alamitos, CA, USA: IEEE Computer Society; 2004:121-128.","ieee":"T. Schattkowsky and W. Müller, “Model-Based Design of Embedded Systems,” in <i>Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)</i>, 2004, pp. 121–128.","chicago":"Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded Systems.” In <i>Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)</i>, 121–28. Los Alamitos, CA, USA: IEEE Computer Society, 2004.","short":"T. Schattkowsky, W. Müller, in: Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria), IEEE Computer Society, Los Alamitos, CA, USA, 2004, pp. 121–128.","mla":"Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded Systems.” <i>Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)</i>, IEEE Computer Society, 2004, pp. 121–28.","bibtex":"@inproceedings{Schattkowsky_Müller_2004, place={Los Alamitos, CA, USA}, title={Model-Based Design of Embedded Systems}, booktitle={Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)}, publisher={IEEE Computer Society}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2004}, pages={121–128} }","apa":"Schattkowsky, T., &#38; Müller, W. (2004). Model-Based Design of Embedded Systems. In <i>Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)</i> (pp. 121–128). Los Alamitos, CA, USA: IEEE Computer Society."},"year":"2004","place":"Los Alamitos, CA, USA"}]