[{"department":[{"_id":"66"}],"type":"book_chapter","place":"Lighthouse Point, FL","date_created":"2019-02-05T12:11:41Z","abstract":[{"lang":"eng","text":"This article presents the E-COLLEG Tool Registration and Management Services (TRMS) with open XML-based data exchange, tool integration and remote invocation capabilities. TRMS is a workflow management middleware tailored to distance spanning engineering collaboration and security enabled data exchange. The infrastructure is validated through two industrial Intranet-crossing case studies between Polish, French, and German chip manufacturing industries applying real-world development scenarios. In both application scenarios, common engineering practices have been identified and built into engineering workflows. Further, the current truly pan-European collaborative industrial scenarios show promising results with respect to the stability of the implemented software and easy application and flexibility of the provided interfaces."}],"citation":{"bibtex":"@inbook{Schattkowsky_Mueller_Pawlak_2004, place={Lighthouse Point, FL}, title={Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering}, booktitle={Workflow Handbook 2004}, publisher={Workflow Management Coalition}, author={Schattkowsky, Tim and Mueller, Wolfgang and Pawlak, Adam}, editor={Fischer, L. Editor}, year={2004}, pages={5–14} }","ama":"Schattkowsky T, Mueller W, Pawlak A. Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In: Fischer L, ed. <i>Workflow Handbook 2004</i>. Lighthouse Point, FL: Workflow Management Coalition; 2004:5-14.","mla":"Schattkowsky, Tim, et al. “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering.” <i>Workflow Handbook 2004</i>, edited by L.  Fischer, Workflow Management Coalition, 2004, pp. 5–14.","short":"T. Schattkowsky, W. Mueller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook 2004, Workflow Management Coalition, Lighthouse Point, FL, 2004, pp. 5–14.","chicago":"Schattkowsky, Tim, Wolfgang Mueller, and Adam Pawlak. “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering.” In <i>Workflow Handbook 2004</i>, edited by L.  Fischer, 5–14. Lighthouse Point, FL: Workflow Management Coalition, 2004.","ieee":"T. Schattkowsky, W. Mueller, and A. Pawlak, “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering,” in <i>Workflow Handbook 2004</i>, L. Fischer, Ed. Lighthouse Point, FL: Workflow Management Coalition, 2004, pp. 5–14.","apa":"Schattkowsky, T., Mueller, W., &#38; Pawlak, A. (2004). Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In L. Fischer (Ed.), <i>Workflow Handbook 2004</i> (pp. 5–14). Lighthouse Point, FL: Workflow Management Coalition."},"publication":"Workflow Handbook 2004","editor":[{"full_name":"Fischer, L. ","first_name":"L. ","last_name":"Fischer"}],"user_id":"52534","publisher":"Workflow Management Coalition","_id":"7534","language":[{"iso":"eng"}],"page":"5-14","date_updated":"2022-01-06T07:03:39Z","author":[{"full_name":"Schattkowsky, Tim","first_name":"Tim","last_name":"Schattkowsky"},{"full_name":"Mueller, Wolfgang","first_name":"Wolfgang","last_name":"Mueller"},{"full_name":"Pawlak, Adam","first_name":"Adam","last_name":"Pawlak"}],"title":"Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering","status":"public","year":"2004"},{"author":[{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"}],"title":"Consistency Management of Object-Oriented Behavioral Models","status":"public","year":"2004","date_updated":"2022-01-06T07:03:40Z","_id":"7585","language":[{"iso":"eng"}],"user_id":"52534","citation":{"apa":"Küster, J. (2004). <i>Consistency Management of Object-Oriented Behavioral Models</i>.","ieee":"J. Küster, <i>Consistency Management of Object-Oriented Behavioral Models</i>. 2004.","short":"J. Küster, Consistency Management of Object-Oriented Behavioral Models, 2004.","chicago":"Küster, Jochen. <i>Consistency Management of Object-Oriented Behavioral Models</i>, 2004.","mla":"Küster, Jochen. <i>Consistency Management of Object-Oriented Behavioral Models</i>. 2004.","ama":"Küster J. <i>Consistency Management of Object-Oriented Behavioral Models</i>.; 2004.","bibtex":"@book{Küster_2004, title={Consistency Management of Object-Oriented Behavioral Models}, author={Küster, Jochen}, year={2004} }"},"date_created":"2019-02-06T14:27:54Z","department":[{"_id":"66"}],"type":"dissertation"},{"date_updated":"2022-01-06T07:03:40Z","author":[{"last_name":"Depke","first_name":"Ralph","full_name":"Depke, Ralph"}],"title":"Visuelle Modellierung agentenbasierter Systeme","year":"2004","status":"public","user_id":"52534","_id":"7586","language":[{"iso":"eng"}],"abstract":[{"text":"This dissertation describes an approach to the visual modeling of software systems which are composed of autonomous and proactive software entities interacting with their environment. These entities are named software agents. More and more software systems are distributed, dynamic and open with respect to their environment. Software agents shall ease the development of such systems. Agent based systems provide a modular structure. They are robust and can be adapted dynamically to changing requirements. The notion of software agent relies on the fundamental properties of autonomy, proactivity and structured interaction. According to these properties agents are distinguished from objects and components. For the development of agent based systems an appropriate modeling language and a process model describing the correct usage of the language are demanded. For both aspects only unsufficient or incomplete approaches exist. This thesis contributes to the solution in the following way: A new abstract and formal model of agent based systems shows, that the fundamental properties can be expressed precisely. Differently from existing models not only a single agent but a multi agent system can be modeled. The most important architectural models of agent-based systems are compatible with the abstract model. The rather restricted structure of the abstract model motivates the refinement by a model of coupled I/Oautomata. The Unified Modeling Language is widely used in industrial software development. Therefore, the new language AML (Agent Modeling Language) for the development of agent-based systems is defined as a UML profile. The semantics of AML models is defined in the semantic domain of graph transformation. The semantic domain is restricted to an adequate agent-oriented domain. There the constituents of the fundamental agent properties are defined. Agent based systems which are described using AML are shown to be compatible with I/O-automata model of multi agent systems. Constituents for proactivity are goals and strategies. In this thesis, it is shown that the reachability of goals through the application of strategies can be checked by applying a model checking method. The new process model APM describes, how the language AML can be applied to the modeling of agent-based systems.","lang":"eng"}],"related_material":{"link":[{"relation":"confirmation","url":"http://digital.ub.uni-paderborn.de/ubpb/urn/urn:nbn:de:hbz:466-20040101100"}]},"citation":{"ama":"Depke R. <i>Visuelle Modellierung Agentenbasierter Systeme</i>.; 2004.","bibtex":"@book{Depke_2004, title={Visuelle Modellierung agentenbasierter Systeme}, author={Depke, Ralph}, year={2004} }","mla":"Depke, Ralph. <i>Visuelle Modellierung Agentenbasierter Systeme</i>. 2004.","chicago":"Depke, Ralph. <i>Visuelle Modellierung Agentenbasierter Systeme</i>, 2004.","short":"R. Depke, Visuelle Modellierung Agentenbasierter Systeme, 2004.","apa":"Depke, R. (2004). <i>Visuelle Modellierung agentenbasierter Systeme</i>.","ieee":"R. Depke, <i>Visuelle Modellierung agentenbasierter Systeme</i>. 2004."},"department":[{"_id":"66"}],"type":"dissertation","date_created":"2019-02-06T14:29:56Z"},{"publication":"Proceedings of the Workshop on Software Transformation Systems (STS 2004, satellite event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada)","citation":{"short":"S. Sendall, R. Hauser, J. Koehler, J. Küster, M. Wahler, in: Proceedings of the Workshop on Software Transformation Systems (STS 2004, Satellite Event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada), 2004.","chicago":"Sendall, Shane, Rainer Hauser, Jana Koehler, Jochen Küster, and Michael Wahler. “Understanding Model Transformation by Classification and Formalization.” In <i>Proceedings of the Workshop on Software Transformation Systems (STS 2004, Satellite Event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada)</i>, 2004.","apa":"Sendall, S., Hauser, R., Koehler, J., Küster, J., &#38; Wahler, M. (2004). Understanding Model Transformation by Classification and Formalization. In <i>Proceedings of the Workshop on Software Transformation Systems (STS 2004, satellite event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada)</i>.","ieee":"S. Sendall, R. Hauser, J. Koehler, J. Küster, and M. Wahler, “Understanding Model Transformation by Classification and Formalization,” in <i>Proceedings of the Workshop on Software Transformation Systems (STS 2004, satellite event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada)</i>, 2004.","ama":"Sendall S, Hauser R, Koehler J, Küster J, Wahler M. Understanding Model Transformation by Classification and Formalization. In: <i>Proceedings of the Workshop on Software Transformation Systems (STS 2004, Satellite Event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada)</i>. ; 2004.","bibtex":"@inproceedings{Sendall_Hauser_Koehler_Küster_Wahler_2004, title={Understanding Model Transformation by Classification and Formalization}, booktitle={Proceedings of the Workshop on Software Transformation Systems (STS 2004, satellite event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada)}, author={Sendall, Shane and Hauser, Rainer and Koehler, Jana and Küster, Jochen and Wahler, Michael}, year={2004} }","mla":"Sendall, Shane, et al. “Understanding Model Transformation by Classification and Formalization.” <i>Proceedings of the Workshop on Software Transformation Systems (STS 2004, Satellite Event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada)</i>, 2004."},"type":"conference","department":[{"_id":"66"}],"date_created":"2019-03-06T11:28:52Z","date_updated":"2022-01-06T07:03:54Z","status":"public","year":"2004","title":"Understanding Model Transformation by Classification and Formalization","author":[{"first_name":"Shane","last_name":"Sendall","full_name":"Sendall, Shane"},{"full_name":"Hauser, Rainer","first_name":"Rainer","last_name":"Hauser"},{"last_name":"Koehler","first_name":"Jana","full_name":"Koehler, Jana"},{"full_name":"Küster, Jochen","first_name":"Jochen","last_name":"Küster"},{"full_name":"Wahler, Michael","first_name":"Michael","last_name":"Wahler"}],"user_id":"52534","_id":"8386","language":[{"iso":"eng"}]},{"publication":"Proceedings of the workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain)","citation":{"mla":"Heckel, Reiko, and Sebastian Thöne. “Behavior-Preserving Refinement Relations between Dynamic Software Architectures.” <i>Proceedings of the Workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain)</i>, vol. 3423, Springer, 2004, pp. 1–27.","ama":"Heckel R, Thöne S. Behavior-Preserving Refinement Relations between Dynamic Software Architectures. In: <i>Proceedings of the Workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain)</i>. Vol 3423. LNCS. Berlin/Heidelberg: Springer; 2004:1-27.","bibtex":"@inproceedings{Heckel_Thöne_2004, place={Berlin/Heidelberg}, series={LNCS}, title={Behavior-Preserving Refinement Relations between Dynamic Software Architectures}, volume={3423}, booktitle={Proceedings of the workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain)}, publisher={Springer}, author={Heckel, Reiko and Thöne, Sebastian}, year={2004}, pages={1–27}, collection={LNCS} }","apa":"Heckel, R., &#38; Thöne, S. (2004). Behavior-Preserving Refinement Relations between Dynamic Software Architectures. In <i>Proceedings of the workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain)</i> (Vol. 3423, pp. 1–27). Berlin/Heidelberg: Springer.","ieee":"R. Heckel and S. Thöne, “Behavior-Preserving Refinement Relations between Dynamic Software Architectures,” in <i>Proceedings of the workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain)</i>, 2004, vol. 3423, pp. 1–27.","chicago":"Heckel, Reiko, and Sebastian Thöne. “Behavior-Preserving Refinement Relations between Dynamic Software Architectures.” In <i>Proceedings of the Workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain)</i>, 3423:1–27. LNCS. Berlin/Heidelberg: Springer, 2004.","short":"R. Heckel, S. Thöne, in: Proceedings of the Workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain), Springer, Berlin/Heidelberg, 2004, pp. 1–27."},"place":"Berlin/Heidelberg","date_created":"2019-03-06T11:28:53Z","type":"conference","department":[{"_id":"66"}],"title":"Behavior-Preserving Refinement Relations between Dynamic Software Architectures","status":"public","year":"2004","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"full_name":"Thöne, Sebastian","first_name":"Sebastian","last_name":"Thöne"}],"date_updated":"2022-01-06T07:03:54Z","intvolume":"      3423","page":"1-27","publisher":"Springer","_id":"8387","language":[{"iso":"eng"}],"series_title":"LNCS","user_id":"52534","volume":3423},{"publication":"Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy","citation":{"bibtex":"@inproceedings{Heckel_Cherchago_Lohmann_2004, title={A Formal Approach to Service Specification and Matching based on Graph Transformation}, volume={105}, DOI={<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.05.006\">http://dx.doi.org/10.1016/j.entcs.2004.05.006</a>}, booktitle={Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy}, publisher={Elsevier}, author={Heckel, Reiko and Cherchago, Alexey and Lohmann, Marc}, year={2004}, pages={37–49} }","ama":"Heckel R, Cherchago A, Lohmann M. A Formal Approach to Service Specification and Matching based on Graph Transformation. In: <i>Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy</i>. Vol 105. Elsevier; 2004:37-49. doi:<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.05.006\">http://dx.doi.org/10.1016/j.entcs.2004.05.006</a>","short":"R. Heckel, A. Cherchago, M. Lohmann, in: Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy, Elsevier, 2004, pp. 37–49.","chicago":"Heckel, Reiko, Alexey Cherchago, and Marc Lohmann. “A Formal Approach to Service Specification and Matching Based on Graph Transformation.” In <i>Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy</i>, 105:37–49. Elsevier, 2004. <a href=\"http://dx.doi.org/10.1016/j.entcs.2004.05.006\">http://dx.doi.org/10.1016/j.entcs.2004.05.006</a>.","ieee":"R. Heckel, A. Cherchago, and M. Lohmann, “A Formal Approach to Service Specification and Matching based on Graph Transformation,” in <i>Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy</i>, 2004, vol. 105, pp. 37–49.","mla":"Heckel, Reiko, et al. “A Formal Approach to Service Specification and Matching Based on Graph Transformation.” <i>Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy</i>, vol. 105, Elsevier, 2004, pp. 37–49, doi:<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.05.006\">http://dx.doi.org/10.1016/j.entcs.2004.05.006</a>.","apa":"Heckel, R., Cherchago, A., &#38; Lohmann, M. (2004). A Formal Approach to Service Specification and Matching based on Graph Transformation. In <i>Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy</i> (Vol. 105, pp. 37–49). Elsevier. <a href=\"http://dx.doi.org/10.1016/j.entcs.2004.05.006\">http://dx.doi.org/10.1016/j.entcs.2004.05.006</a>"},"date_created":"2019-03-06T11:28:54Z","type":"conference","department":[{"_id":"66"}],"title":"A Formal Approach to Service Specification and Matching based on Graph Transformation","status":"public","year":"2004","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"full_name":"Cherchago, Alexey","last_name":"Cherchago","first_name":"Alexey"},{"last_name":"Lohmann","first_name":"Marc","full_name":"Lohmann, Marc"}],"date_updated":"2022-01-06T07:03:54Z","intvolume":"       105","page":"37-49","language":[{"iso":"eng"}],"_id":"8388","publisher":"Elsevier","doi":"http://dx.doi.org/10.1016/j.entcs.2004.05.006","user_id":"52534","volume":105},{"citation":{"chicago":"Küster, Jochen. “Systematic Validation of Model Transformations.” In <i>Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal)</i>, 2004.","short":"J. Küster, in: Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal), 2004.","ieee":"J. Küster, “Systematic Validation of Model Transformations,” in <i>Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal)</i>, 2004.","apa":"Küster, J. (2004). Systematic Validation of Model Transformations. In <i>Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal)</i>.","bibtex":"@inproceedings{Küster_2004, title={Systematic Validation of Model Transformations}, booktitle={Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal)}, author={Küster, Jochen}, year={2004} }","ama":"Küster J. Systematic Validation of Model Transformations. In: <i>Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal)</i>. ; 2004.","mla":"Küster, Jochen. “Systematic Validation of Model Transformations.” <i>Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal)</i>, 2004."},"publication":"Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal)","date_created":"2019-03-06T11:28:55Z","department":[{"_id":"66"}],"type":"conference","author":[{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"}],"status":"public","year":"2004","title":"Systematic Validation of Model Transformations","date_updated":"2022-01-06T07:03:54Z","_id":"8389","language":[{"iso":"eng"}],"user_id":"52534"},{"publication":"Proceedings of the Workshop on OCL and Model Driven Engineering (satellite event of the UML 2004), Lisbon (Portugal)","citation":{"mla":"Küster, Jochen, et al. “Comparing Two Model Transformation Approaches.” <i>Proceedings of the Workshop on OCL and Model Driven Engineering (Satellite Event of the UML 2004), Lisbon (Portugal)</i>, University of Kent, 2004, pp. 114–27.","bibtex":"@inproceedings{Küster_Sendall_Wahler_2004, title={Comparing two Model Transformation Approaches}, booktitle={Proceedings of the Workshop on OCL and Model Driven Engineering (satellite event of the UML 2004), Lisbon (Portugal)}, publisher={University of Kent}, author={Küster, Jochen and Sendall, Shane and Wahler, Michael}, year={2004}, pages={114–127} }","ama":"Küster J, Sendall S, Wahler M. Comparing two Model Transformation Approaches. In: <i>Proceedings of the Workshop on OCL and Model Driven Engineering (Satellite Event of the UML 2004), Lisbon (Portugal)</i>. University of Kent; 2004:114-127.","ieee":"J. Küster, S. Sendall, and M. Wahler, “Comparing two Model Transformation Approaches,” in <i>Proceedings of the Workshop on OCL and Model Driven Engineering (satellite event of the UML 2004), Lisbon (Portugal)</i>, 2004, pp. 114–127.","apa":"Küster, J., Sendall, S., &#38; Wahler, M. (2004). Comparing two Model Transformation Approaches. In <i>Proceedings of the Workshop on OCL and Model Driven Engineering (satellite event of the UML 2004), Lisbon (Portugal)</i> (pp. 114–127). University of Kent.","short":"J. Küster, S. Sendall, M. Wahler, in: Proceedings of the Workshop on OCL and Model Driven Engineering (Satellite Event of the UML 2004), Lisbon (Portugal), University of Kent, 2004, pp. 114–127.","chicago":"Küster, Jochen, Shane Sendall, and Michael Wahler. “Comparing Two Model Transformation Approaches.” In <i>Proceedings of the Workshop on OCL and Model Driven Engineering (Satellite Event of the UML 2004), Lisbon (Portugal)</i>, 114–27. University of Kent, 2004."},"date_created":"2019-03-06T11:28:57Z","type":"conference","department":[{"_id":"66"}],"title":"Comparing two Model Transformation Approaches","year":"2004","status":"public","author":[{"last_name":"Küster","first_name":"Jochen","full_name":"Küster, Jochen"},{"last_name":"Sendall","first_name":"Shane","full_name":"Sendall, Shane"},{"first_name":"Michael","last_name":"Wahler","full_name":"Wahler, Michael"}],"date_updated":"2022-01-06T07:03:54Z","page":"114-127","_id":"8390","publisher":"University of Kent","language":[{"iso":"eng"}],"user_id":"52534"},{"user_id":"52534","doi":"http://dx.doi.org/10.1016/j.entcs.2004.02.056","volume":109,"page":"57-69","series_title":"Electronic Notes in Theoretical Computer Science","_id":"8391","language":[{"iso":"eng"}],"publisher":"Elsevier","date_updated":"2022-01-06T07:03:54Z","intvolume":"       109","year":"2004","title":"Towards Inconsistency Handling of Object-Oriented Behavioral Models","status":"public","author":[{"last_name":"Küster","first_name":"Jochen","full_name":"Küster, Jochen"}],"type":"conference","department":[{"_id":"66"}],"date_created":"2019-03-06T11:28:58Z","place":"Amsterdam ,The Netherlands","publication":"International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain)","citation":{"apa":"Küster, J. (2004). Towards Inconsistency Handling of Object-Oriented Behavioral Models. In <i>International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain)</i> (Vol. 109, pp. 57–69). Amsterdam ,The Netherlands: Elsevier. <a href=\"http://dx.doi.org/10.1016/j.entcs.2004.02.056\">http://dx.doi.org/10.1016/j.entcs.2004.02.056</a>","ieee":"J. Küster, “Towards Inconsistency Handling of Object-Oriented Behavioral Models,” in <i>International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain)</i>, 2004, vol. 109, pp. 57–69.","chicago":"Küster, Jochen. “Towards Inconsistency Handling of Object-Oriented Behavioral Models.” In <i>International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain)</i>, 109:57–69. Electronic Notes in Theoretical Computer Science. Amsterdam ,The Netherlands: Elsevier, 2004. <a href=\"http://dx.doi.org/10.1016/j.entcs.2004.02.056\">http://dx.doi.org/10.1016/j.entcs.2004.02.056</a>.","short":"J. Küster, in: International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain), Elsevier, Amsterdam ,The Netherlands, 2004, pp. 57–69.","mla":"Küster, Jochen. “Towards Inconsistency Handling of Object-Oriented Behavioral Models.” <i>International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain)</i>, vol. 109, Elsevier, 2004, pp. 57–69, doi:<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.02.056\">http://dx.doi.org/10.1016/j.entcs.2004.02.056</a>.","ama":"Küster J. Towards Inconsistency Handling of Object-Oriented Behavioral Models. In: <i>International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain)</i>. Vol 109. Electronic Notes in Theoretical Computer Science. Amsterdam ,The Netherlands: Elsevier; 2004:57-69. doi:<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.02.056\">http://dx.doi.org/10.1016/j.entcs.2004.02.056</a>","bibtex":"@inproceedings{Küster_2004, place={Amsterdam ,The Netherlands}, series={Electronic Notes in Theoretical Computer Science}, title={Towards Inconsistency Handling of Object-Oriented Behavioral Models}, volume={109}, DOI={<a href=\"http://dx.doi.org/10.1016/j.entcs.2004.02.056\">http://dx.doi.org/10.1016/j.entcs.2004.02.056</a>}, booktitle={International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain)}, publisher={Elsevier}, author={Küster, Jochen}, year={2004}, pages={57–69}, collection={Electronic Notes in Theoretical Computer Science} }"}},{"author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"full_name":"Rettberg, Achim","first_name":"Achim","last_name":"Rettberg"}],"year":"2004","title":"UML for FPGA Synthesis","status":"public","date_updated":"2022-01-06T07:03:54Z","language":[{"iso":"eng"}],"_id":"8392","user_id":"52534","citation":{"ieee":"T. Schattkowsky and A. Rettberg, “UML for FPGA Synthesis,” in <i>Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA)</i>, 2004.","apa":"Schattkowsky, T., &#38; Rettberg, A. (2004). UML for FPGA Synthesis. In <i>Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA)</i>.","mla":"Schattkowsky, Tim, and Achim Rettberg. “UML for FPGA Synthesis.” <i>Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA)</i>, 2004.","bibtex":"@inproceedings{Schattkowsky_Rettberg_2004, title={UML for FPGA Synthesis}, booktitle={Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA)}, author={Schattkowsky, Tim and Rettberg, Achim}, year={2004} }","chicago":"Schattkowsky, Tim, and Achim Rettberg. “UML for FPGA Synthesis.” In <i>Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA)</i>, 2004.","ama":"Schattkowsky T, Rettberg A. UML for FPGA Synthesis. In: <i>Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA)</i>. ; 2004.","short":"T. Schattkowsky, A. Rettberg, in: Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA), 2004."},"publication":"Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA)","date_created":"2019-03-06T11:28:59Z","department":[{"_id":"66"}],"type":"conference"},{"department":[{"_id":"66"}],"type":"conference","date_created":"2019-03-06T11:29:00Z","citation":{"apa":"Sendall, S., &#38; Küster, J. (2004). Taming Model Round-Trip Engineering. In <i>Proceedings of Workshop on Best Practices for Model-Driven Software Development (satellite event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada)</i>.","mla":"Sendall, Shane, and Jochen Küster. “Taming Model Round-Trip Engineering.” <i>Proceedings of Workshop on Best Practices for Model-Driven Software Development (Satellite Event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada)</i>, 2004.","ieee":"S. Sendall and J. Küster, “Taming Model Round-Trip Engineering,” in <i>Proceedings of Workshop on Best Practices for Model-Driven Software Development (satellite event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada)</i>, 2004.","chicago":"Sendall, Shane, and Jochen Küster. “Taming Model Round-Trip Engineering.” In <i>Proceedings of Workshop on Best Practices for Model-Driven Software Development (Satellite Event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada)</i>, 2004.","short":"S. Sendall, J. Küster, in: Proceedings of Workshop on Best Practices for Model-Driven Software Development (Satellite Event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada), 2004.","ama":"Sendall S, Küster J. Taming Model Round-Trip Engineering. In: <i>Proceedings of Workshop on Best Practices for Model-Driven Software Development (Satellite Event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada)</i>. ; 2004.","bibtex":"@inproceedings{Sendall_Küster_2004, title={Taming Model Round-Trip Engineering}, booktitle={Proceedings of Workshop on Best Practices for Model-Driven Software Development (satellite event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada)}, author={Sendall, Shane and Küster, Jochen}, year={2004} }"},"publication":"Proceedings of Workshop on Best Practices for Model-Driven Software Development (satellite event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada)","user_id":"52534","_id":"8393","language":[{"iso":"eng"}],"main_file_link":[{"url":"http://www.zurich.ibm.com/pdf/csc/position-paper-mdsd04/_sendall.pdf"}],"date_updated":"2022-01-06T07:03:54Z","author":[{"full_name":"Sendall, Shane","first_name":"Shane","last_name":"Sendall"},{"full_name":"Küster, Jochen","first_name":"Jochen","last_name":"Küster"}],"year":"2004","title":"Taming Model Round-Trip Engineering","status":"public"},{"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-21T11:02:45Z","publication":"Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando, FL (USA)","citation":{"apa":"Schattkowsky, T. (2003). A Model-based Approach for Dynamic Tool Integration. In <i>Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando, FL (USA)</i>.","mla":"Schattkowsky, Tim. “A Model-Based Approach for Dynamic Tool Integration.” <i>Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando, FL (USA)</i>, 2003.","ieee":"T. Schattkowsky, “A Model-based Approach for Dynamic Tool Integration,” in <i>Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando, FL (USA)</i>, 2003.","ama":"Schattkowsky T. A Model-based Approach for Dynamic Tool Integration. In: <i>Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando, FL (USA)</i>. ; 2003.","short":"T. Schattkowsky, in: Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando, FL (USA), 2003.","chicago":"Schattkowsky, Tim. “A Model-Based Approach for Dynamic Tool Integration.” In <i>Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando, FL (USA)</i>, 2003.","bibtex":"@inproceedings{Schattkowsky_2003, title={A Model-based Approach for Dynamic Tool Integration}, booktitle={Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando, FL (USA)}, author={Schattkowsky, Tim}, year={2003} }"},"user_id":"52534","language":[{"iso":"eng"}],"_id":"7907","date_updated":"2022-01-06T07:03:47Z","title":"A Model-based Approach for Dynamic Tool Integration","year":"2003","status":"public","author":[{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"}]},{"author":[{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"},{"full_name":"Sauer, Stefan","first_name":"Stefan","last_name":"Sauer","id":"447"},{"full_name":"Neu, Bettina","first_name":"Bettina","last_name":"Neu"}],"status":"public","title":"Integrating software engineering and user-centred design for multimedia software developments","year":"2003","date_updated":"2022-01-06T07:03:47Z","_id":"7908","language":[{"iso":"eng"}],"publisher":"IEEE Computer Society","page":"254-256","doi":"http://dx.doi.org/10.1109/HCC.2003.1260240","user_id":"52534","citation":{"ama":"Engels G, Sauer S, Neu B. Integrating software engineering and user-centred design for multimedia software developments. In: <i>Proceedings of the Conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand)</i>. Washington, DC, USA: IEEE Computer Society; 2003:254-256. doi:<a href=\"http://dx.doi.org/10.1109/HCC.2003.1260240\">http://dx.doi.org/10.1109/HCC.2003.1260240</a>","bibtex":"@inproceedings{Engels_Sauer_Neu_2003, place={Washington, DC, USA}, title={Integrating software engineering and user-centred design for multimedia software developments}, DOI={<a href=\"http://dx.doi.org/10.1109/HCC.2003.1260240\">http://dx.doi.org/10.1109/HCC.2003.1260240</a>}, booktitle={Proceedings of the conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand)}, publisher={IEEE Computer Society}, author={Engels, Gregor and Sauer, Stefan and Neu, Bettina}, year={2003}, pages={254–256} }","mla":"Engels, Gregor, et al. “Integrating Software Engineering and User-Centred Design for Multimedia Software Developments.” <i>Proceedings of the Conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand)</i>, IEEE Computer Society, 2003, pp. 254–56, doi:<a href=\"http://dx.doi.org/10.1109/HCC.2003.1260240\">http://dx.doi.org/10.1109/HCC.2003.1260240</a>.","chicago":"Engels, Gregor, Stefan Sauer, and Bettina Neu. “Integrating Software Engineering and User-Centred Design for Multimedia Software Developments.” In <i>Proceedings of the Conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand)</i>, 254–56. Washington, DC, USA: IEEE Computer Society, 2003. <a href=\"http://dx.doi.org/10.1109/HCC.2003.1260240\">http://dx.doi.org/10.1109/HCC.2003.1260240</a>.","short":"G. Engels, S. Sauer, B. Neu, in: Proceedings of the Conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand), IEEE Computer Society, Washington, DC, USA, 2003, pp. 254–256.","apa":"Engels, G., Sauer, S., &#38; Neu, B. (2003). Integrating software engineering and user-centred design for multimedia software developments. In <i>Proceedings of the conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand)</i> (pp. 254–256). Washington, DC, USA: IEEE Computer Society. <a href=\"http://dx.doi.org/10.1109/HCC.2003.1260240\">http://dx.doi.org/10.1109/HCC.2003.1260240</a>","ieee":"G. Engels, S. Sauer, and B. Neu, “Integrating software engineering and user-centred design for multimedia software developments,” in <i>Proceedings of the conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand)</i>, 2003, pp. 254–256."},"publication":"Proceedings of the conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand)","place":"Washington, DC, USA","date_created":"2019-02-21T11:03:20Z","department":[{"_id":"66"}],"type":"conference"},{"user_id":"52534","page":"70-80","_id":"7909","publisher":"dpunkt Verlag","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:47Z","status":"public","year":"2003","title":"MuSofT: Multimedia in der Softwaretechnik","author":[{"last_name":"Alfert","first_name":"Klaus","full_name":"Alfert, Klaus"},{"first_name":"Ernst-Erich","last_name":"Doberkat","full_name":"Doberkat, Ernst-Erich"},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"last_name":"Lohmann","first_name":"Marc","full_name":"Lohmann, Marc"},{"first_name":"Johannes","last_name":"Magenheim","full_name":"Magenheim, Johannes"},{"full_name":"Schürr, Andy","first_name":"Andy","last_name":"Schürr"}],"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-21T11:17:38Z","place":"Heidelberg","publication":"Proceedings of the conference on Software Engineering im Unterricht der Hochschulen (SEUH 2003), Berlin (Germany)","citation":{"mla":"Alfert, Klaus, et al. “MuSofT: Multimedia in Der Softwaretechnik.” <i>Proceedings of the Conference on Software Engineering Im Unterricht Der Hochschulen (SEUH 2003), Berlin (Germany)</i>, dpunkt Verlag, 2003, pp. 70–80.","bibtex":"@inproceedings{Alfert_Doberkat_Engels_Lohmann_Magenheim_Schürr_2003, place={Heidelberg}, title={MuSofT: Multimedia in der Softwaretechnik}, booktitle={Proceedings of the conference on Software Engineering im Unterricht der Hochschulen (SEUH 2003), Berlin (Germany)}, publisher={dpunkt Verlag}, author={Alfert, Klaus and Doberkat, Ernst-Erich and Engels, Gregor and Lohmann, Marc and Magenheim, Johannes and Schürr, Andy}, year={2003}, pages={70–80} }","ama":"Alfert K, Doberkat E-E, Engels G, Lohmann M, Magenheim J, Schürr A. MuSofT: Multimedia in der Softwaretechnik. In: <i>Proceedings of the Conference on Software Engineering Im Unterricht Der Hochschulen (SEUH 2003), Berlin (Germany)</i>. Heidelberg: dpunkt Verlag; 2003:70-80.","ieee":"K. Alfert, E.-E. Doberkat, G. Engels, M. Lohmann, J. Magenheim, and A. Schürr, “MuSofT: Multimedia in der Softwaretechnik,” in <i>Proceedings of the conference on Software Engineering im Unterricht der Hochschulen (SEUH 2003), Berlin (Germany)</i>, 2003, pp. 70–80.","apa":"Alfert, K., Doberkat, E.-E., Engels, G., Lohmann, M., Magenheim, J., &#38; Schürr, A. (2003). MuSofT: Multimedia in der Softwaretechnik. In <i>Proceedings of the conference on Software Engineering im Unterricht der Hochschulen (SEUH 2003), Berlin (Germany)</i> (pp. 70–80). Heidelberg: dpunkt Verlag.","chicago":"Alfert, Klaus, Ernst-Erich Doberkat, Gregor Engels, Marc Lohmann, Johannes Magenheim, and Andy Schürr. “MuSofT: Multimedia in Der Softwaretechnik.” In <i>Proceedings of the Conference on Software Engineering Im Unterricht Der Hochschulen (SEUH 2003), Berlin (Germany)</i>, 70–80. Heidelberg: dpunkt Verlag, 2003.","short":"K. Alfert, E.-E. Doberkat, G. Engels, M. Lohmann, J. Magenheim, A. Schürr, in: Proceedings of the Conference on Software Engineering Im Unterricht Der Hochschulen (SEUH 2003), Berlin (Germany), dpunkt Verlag, Heidelberg, 2003, pp. 70–80."}},{"page":"356-359","series_title":"LNCS","_id":"7910","language":[{"iso":"eng"}],"publisher":"Springer","user_id":"52534","volume":2863,"status":"public","year":"2003","title":"The Consistency Workbench: A Tool for Consistency Management in UML-based Development","author":[{"id":"107","last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"},{"last_name":"Heckel","first_name":"Reiko","full_name":"Heckel, Reiko"},{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"}],"date_updated":"2022-01-06T07:03:47Z","intvolume":"      2863","place":"Berlin/Heidelberg","date_created":"2019-02-21T11:19:12Z","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the 6th International Conference on The Unified Modeling Language: Modeling Languages and Applications (UML 2003), San Francisco, CA (USA)","citation":{"bibtex":"@inproceedings{Engels_Heckel_Küster_2003, place={Berlin/Heidelberg}, series={LNCS}, title={The Consistency Workbench: A Tool for Consistency Management in UML-based Development}, volume={2863}, booktitle={Proceedings of the 6th International Conference on The Unified Modeling Language: Modeling Languages and Applications (UML 2003), San Francisco, CA (USA)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko and Küster, Jochen}, year={2003}, pages={356–359}, collection={LNCS} }","ama":"Engels G, Heckel R, Küster J. The Consistency Workbench: A Tool for Consistency Management in UML-based Development. In: <i>Proceedings of the 6th International Conference on The Unified Modeling Language: Modeling Languages and Applications (UML 2003), San Francisco, CA (USA)</i>. Vol 2863. LNCS. Berlin/Heidelberg: Springer; 2003:356-359.","mla":"Engels, Gregor, et al. “The Consistency Workbench: A Tool for Consistency Management in UML-Based Development.” <i>Proceedings of the 6th International Conference on The Unified Modeling Language: Modeling Languages and Applications (UML 2003), San Francisco, CA (USA)</i>, vol. 2863, Springer, 2003, pp. 356–59.","short":"G. Engels, R. Heckel, J. Küster, in: Proceedings of the 6th International Conference on The Unified Modeling Language: Modeling Languages and Applications (UML 2003), San Francisco, CA (USA), Springer, Berlin/Heidelberg, 2003, pp. 356–359.","chicago":"Engels, Gregor, Reiko Heckel, and Jochen Küster. “The Consistency Workbench: A Tool for Consistency Management in UML-Based Development.” In <i>Proceedings of the 6th International Conference on The Unified Modeling Language: Modeling Languages and Applications (UML 2003), San Francisco, CA (USA)</i>, 2863:356–59. LNCS. Berlin/Heidelberg: Springer, 2003.","ieee":"G. Engels, R. Heckel, and J. Küster, “The Consistency Workbench: A Tool for Consistency Management in UML-based Development,” in <i>Proceedings of the 6th International Conference on The Unified Modeling Language: Modeling Languages and Applications (UML 2003), San Francisco, CA (USA)</i>, 2003, vol. 2863, pp. 356–359.","apa":"Engels, G., Heckel, R., &#38; Küster, J. (2003). The Consistency Workbench: A Tool for Consistency Management in UML-based Development. In <i>Proceedings of the 6th International Conference on The Unified Modeling Language: Modeling Languages and Applications (UML 2003), San Francisco, CA (USA)</i> (Vol. 2863, pp. 356–359). Berlin/Heidelberg: Springer."}},{"_id":"7911","series_title":"Electronic Notes in Theoretical Computer Science","language":[{"iso":"eng"}],"publisher":"Elsevier","page":"1-18","volume":82,"doi":"dx.doi.org/10.1016/S1571-0661(04)80752-7","user_id":"52534","author":[{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"},{"full_name":"Küster, Jochen","first_name":"Jochen","last_name":"Küster"},{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"},{"full_name":"Lohmann, Marc","first_name":"Marc","last_name":"Lohmann"}],"status":"public","year":"2003","title":"Model Based Verification and Validation of Properties","intvolume":"        82","date_updated":"2022-01-06T07:03:47Z","date_created":"2019-02-21T11:19:37Z","department":[{"_id":"66"}],"type":"conference","citation":{"apa":"Engels, G., Küster, J., Heckel, R., &#38; Lohmann, M. (2003). Model Based Verification and Validation of Properties. In <i>Proceedings of the conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland)</i> (Vol. 82, pp. 1–18). Elsevier. <a href=\"https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7\">https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7</a>","ieee":"G. Engels, J. Küster, R. Heckel, and M. Lohmann, “Model Based Verification and Validation of Properties,” in <i>Proceedings of the conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland)</i>, 2003, vol. 82, no. 7, pp. 1–18.","chicago":"Engels, Gregor, Jochen Küster, Reiko Heckel, and Marc Lohmann. “Model Based Verification and Validation of Properties.” In <i>Proceedings of the Conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland)</i>, 82:1–18. Electronic Notes in Theoretical Computer Science. Elsevier, 2003. <a href=\"https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7\">https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7</a>.","short":"G. Engels, J. Küster, R. Heckel, M. Lohmann, in: Proceedings of the Conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland), Elsevier, 2003, pp. 1–18.","mla":"Engels, Gregor, et al. “Model Based Verification and Validation of Properties.” <i>Proceedings of the Conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland)</i>, vol. 82, no. 7, Elsevier, 2003, pp. 1–18, doi:<a href=\"https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7\">dx.doi.org/10.1016/S1571-0661(04)80752-7</a>.","ama":"Engels G, Küster J, Heckel R, Lohmann M. Model Based Verification and Validation of Properties. In: <i>Proceedings of the Conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland)</i>. Vol 82. Electronic Notes in Theoretical Computer Science. Elsevier; 2003:1-18. doi:<a href=\"https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7\">dx.doi.org/10.1016/S1571-0661(04)80752-7</a>","bibtex":"@inproceedings{Engels_Küster_Heckel_Lohmann_2003, series={Electronic Notes in Theoretical Computer Science}, title={Model Based Verification and Validation of Properties}, volume={82}, DOI={<a href=\"https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7\">dx.doi.org/10.1016/S1571-0661(04)80752-7</a>}, number={7}, booktitle={Proceedings of the conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland)}, publisher={Elsevier}, author={Engels, Gregor and Küster, Jochen and Heckel, Reiko and Lohmann, Marc}, year={2003}, pages={1–18}, collection={Electronic Notes in Theoretical Computer Science} }"},"issue":"7","publication":"Proceedings of the conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland)"},{"date_created":"2019-02-21T11:20:26Z","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the 7th World Multiconference on Systemics, Cybernetics, and Informatics (SCI 2003), Orlando, FL (USA)","citation":{"ieee":"R. Heckel, J. Küster, S. Thöne, and H. Voigt, “Towards Consistency of Web Service Architectures,” in <i>Proceedings of the 7th World Multiconference on Systemics, Cybernetics, and Informatics (SCI 2003), Orlando, FL (USA)</i>, 2003.","apa":"Heckel, R., Küster, J., Thöne, S., &#38; Voigt, H. (2003). Towards Consistency of Web Service Architectures. In <i>Proceedings of the 7th World Multiconference on Systemics, Cybernetics, and Informatics (SCI 2003), Orlando, FL (USA)</i>.","chicago":"Heckel, Reiko, Jochen Küster, Sebastian Thöne, and Hendrik Voigt. “Towards Consistency of Web Service Architectures.” In <i>Proceedings of the 7th World Multiconference on Systemics, Cybernetics, and Informatics (SCI 2003), Orlando, FL (USA)</i>, 2003.","short":"R. Heckel, J. Küster, S. Thöne, H. Voigt, in: Proceedings of the 7th World Multiconference on Systemics, Cybernetics, and Informatics (SCI 2003), Orlando, FL (USA), 2003.","mla":"Heckel, Reiko, et al. “Towards Consistency of Web Service Architectures.” <i>Proceedings of the 7th World Multiconference on Systemics, Cybernetics, and Informatics (SCI 2003), Orlando, FL (USA)</i>, 2003.","bibtex":"@inproceedings{Heckel_Küster_Thöne_Voigt_2003, title={Towards Consistency of Web Service Architectures}, booktitle={Proceedings of the 7th World Multiconference on Systemics, Cybernetics, and Informatics (SCI 2003), Orlando, FL (USA)}, author={Heckel, Reiko and Küster, Jochen and Thöne, Sebastian and Voigt, Hendrik}, year={2003} }","ama":"Heckel R, Küster J, Thöne S, Voigt H. Towards Consistency of Web Service Architectures. In: <i>Proceedings of the 7th World Multiconference on Systemics, Cybernetics, and Informatics (SCI 2003), Orlando, FL (USA)</i>. ; 2003."},"language":[{"iso":"eng"}],"_id":"7912","user_id":"52534","year":"2003","title":"Towards Consistency of Web Service Architectures","status":"public","author":[{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"},{"first_name":"Jochen","last_name":"Küster","full_name":"Küster, Jochen"},{"first_name":"Sebastian","last_name":"Thöne","full_name":"Thöne, Sebastian"},{"first_name":"Hendrik","last_name":"Voigt","full_name":"Voigt, Hendrik"}],"date_updated":"2022-01-06T07:03:47Z"},{"publisher":"ACM Press","_id":"7913","language":[{"iso":"eng"}],"page":"169-178","user_id":"52534","author":[{"full_name":"Hendrik Hausmann, Jan","last_name":"Hendrik Hausmann","first_name":"Jan"},{"full_name":"Kent, Stuart","first_name":"Stuart","last_name":"Kent"}],"status":"public","year":"2003","title":"Visualizing model mappings in UML","date_updated":"2022-01-06T07:03:47Z","place":"New York, NY, USA","date_created":"2019-02-21T11:21:04Z","department":[{"_id":"66"}],"type":"conference","citation":{"mla":"Hendrik Hausmann, Jan, and Stuart Kent. “Visualizing Model Mappings in UML.” <i>Proceedings of the ACM Symposium on Software Visualization (SOFTVIS 2003), San Diego, CA (USA)</i>, ACM Press, 2003, pp. 169–78.","ama":"Hendrik Hausmann J, Kent S. Visualizing model mappings in UML. In: <i>Proceedings of the ACM Symposium on Software Visualization (SOFTVIS 2003), San Diego, CA (USA)</i>. New York, NY, USA: ACM Press; 2003:169-178.","bibtex":"@inproceedings{Hendrik Hausmann_Kent_2003, place={New York, NY, USA}, title={Visualizing model mappings in UML}, booktitle={Proceedings of the ACM symposium on Software visualization (SOFTVIS 2003), San Diego, CA (USA)}, publisher={ACM Press}, author={Hendrik Hausmann, Jan and Kent, Stuart}, year={2003}, pages={169–178} }","apa":"Hendrik Hausmann, J., &#38; Kent, S. (2003). Visualizing model mappings in UML. In <i>Proceedings of the ACM symposium on Software visualization (SOFTVIS 2003), San Diego, CA (USA)</i> (pp. 169–178). New York, NY, USA: ACM Press.","ieee":"J. Hendrik Hausmann and S. Kent, “Visualizing model mappings in UML,” in <i>Proceedings of the ACM symposium on Software visualization (SOFTVIS 2003), San Diego, CA (USA)</i>, 2003, pp. 169–178.","chicago":"Hendrik Hausmann, Jan, and Stuart Kent. “Visualizing Model Mappings in UML.” In <i>Proceedings of the ACM Symposium on Software Visualization (SOFTVIS 2003), San Diego, CA (USA)</i>, 169–78. New York, NY, USA: ACM Press, 2003.","short":"J. Hendrik Hausmann, S. Kent, in: Proceedings of the ACM Symposium on Software Visualization (SOFTVIS 2003), San Diego, CA (USA), ACM Press, New York, NY, USA, 2003, pp. 169–178."},"publication":"Proceedings of the ACM symposium on Software visualization (SOFTVIS 2003), San Diego, CA (USA)"},{"publication":"Proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland)","citation":{"apa":"Heckel, R., &#38; Lohmann, M. (2003). Model-Based Development of Web Applications Using Graphical Reaction Rules. In <i>Proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland)</i> (Vol. 2621, pp. 170–183). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/3-540-36578-8\">http://dx.doi.org/10.1007/3-540-36578-8</a>","ieee":"R. Heckel and M. Lohmann, “Model-Based Development of Web Applications Using Graphical Reaction Rules,” in <i>Proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland)</i>, 2003, vol. 2621, pp. 170–183.","short":"R. Heckel, M. Lohmann, in: Proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland), Springer, Berlin/Heidelberg, 2003, pp. 170–183.","chicago":"Heckel, Reiko, and Marc Lohmann. “Model-Based Development of Web Applications Using Graphical Reaction Rules.” In <i>Proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland)</i>, 2621:170–83. LNCS. Berlin/Heidelberg: Springer, 2003. <a href=\"http://dx.doi.org/10.1007/3-540-36578-8\">http://dx.doi.org/10.1007/3-540-36578-8</a>.","mla":"Heckel, Reiko, and Marc Lohmann. “Model-Based Development of Web Applications Using Graphical Reaction Rules.” <i>Proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland)</i>, vol. 2621, Springer, 2003, pp. 170–83, doi:<a href=\"http://dx.doi.org/10.1007/3-540-36578-8\">http://dx.doi.org/10.1007/3-540-36578-8</a>.","ama":"Heckel R, Lohmann M. Model-Based Development of Web Applications Using Graphical Reaction Rules. In: <i>Proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland)</i>. Vol 2621. LNCS. Berlin/Heidelberg: Springer; 2003:170-183. doi:<a href=\"http://dx.doi.org/10.1007/3-540-36578-8\">http://dx.doi.org/10.1007/3-540-36578-8</a>","bibtex":"@inproceedings{Heckel_Lohmann_2003, place={Berlin/Heidelberg}, series={LNCS}, title={Model-Based Development of Web Applications Using Graphical Reaction Rules}, volume={2621}, DOI={<a href=\"http://dx.doi.org/10.1007/3-540-36578-8\">http://dx.doi.org/10.1007/3-540-36578-8</a>}, booktitle={Proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland)}, publisher={Springer}, author={Heckel, Reiko and Lohmann, Marc}, year={2003}, pages={170–183}, collection={LNCS} }"},"place":"Berlin/Heidelberg","date_created":"2019-02-21T11:21:23Z","type":"conference","department":[{"_id":"66"}],"title":"Model-Based Development of Web Applications Using Graphical Reaction Rules","year":"2003","status":"public","author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"full_name":"Lohmann, Marc","last_name":"Lohmann","first_name":"Marc"}],"date_updated":"2022-01-06T07:03:47Z","intvolume":"      2621","page":"170-183","language":[{"iso":"eng"}],"_id":"7914","series_title":"LNCS","publisher":"Springer","doi":"http://dx.doi.org/10.1007/3-540-36578-8","user_id":"52534","volume":2621},{"department":[{"_id":"66"}],"type":"conference","place":"Washington, DC, USA","date_created":"2019-02-21T11:22:04Z","citation":{"chicago":"Mueller, Wolfgang, Tim Schattkowsky, Heinz-Josef Eikerling, and Jan Wegner. “Dynamic Tool Integration in Heterogeneous Computer Networks.” In <i>Proceedings of the Conference on Design Automation and Test in Europe (DATE 2003), Munich (Germany)</i>, 946–51. Washington, DC, USA: IEEE Computer Society, 2003. <a href=\"http://dx.doi.org/10.1109/DATE.2003.10201\">http://dx.doi.org/10.1109/DATE.2003.10201</a>.","short":"W. Mueller, T. Schattkowsky, H.-J. Eikerling, J. Wegner, in: Proceedings of the Conference on Design Automation and Test in Europe (DATE 2003), Munich (Germany), IEEE Computer Society, Washington, DC, USA, 2003, pp. 946–951.","ieee":"W. Mueller, T. Schattkowsky, H.-J. Eikerling, and J. Wegner, “Dynamic Tool Integration in Heterogeneous Computer Networks,” in <i>Proceedings of the conference on Design Automation and Test in Europe (DATE 2003), Munich (Germany)</i>, 2003, pp. 946–951.","apa":"Mueller, W., Schattkowsky, T., Eikerling, H.-J., &#38; Wegner, J. (2003). Dynamic Tool Integration in Heterogeneous Computer Networks. In <i>Proceedings of the conference on Design Automation and Test in Europe (DATE 2003), Munich (Germany)</i> (pp. 946–951). Washington, DC, USA: IEEE Computer Society. <a href=\"http://dx.doi.org/10.1109/DATE.2003.10201\">http://dx.doi.org/10.1109/DATE.2003.10201</a>","bibtex":"@inproceedings{Mueller_Schattkowsky_Eikerling_Wegner_2003, place={Washington, DC, USA}, title={Dynamic Tool Integration in Heterogeneous Computer Networks}, DOI={<a href=\"http://dx.doi.org/10.1109/DATE.2003.10201\">http://dx.doi.org/10.1109/DATE.2003.10201</a>}, booktitle={Proceedings of the conference on Design Automation and Test in Europe (DATE 2003), Munich (Germany)}, publisher={IEEE Computer Society}, author={Mueller, Wolfgang and Schattkowsky, Tim and Eikerling, Heinz-Josef and Wegner, Jan}, year={2003}, pages={946–951} }","ama":"Mueller W, Schattkowsky T, Eikerling H-J, Wegner J. Dynamic Tool Integration in Heterogeneous Computer Networks. In: <i>Proceedings of the Conference on Design Automation and Test in Europe (DATE 2003), Munich (Germany)</i>. Washington, DC, USA: IEEE Computer Society; 2003:946-951. doi:<a href=\"http://dx.doi.org/10.1109/DATE.2003.10201\">http://dx.doi.org/10.1109/DATE.2003.10201</a>","mla":"Mueller, Wolfgang, et al. “Dynamic Tool Integration in Heterogeneous Computer Networks.” <i>Proceedings of the Conference on Design Automation and Test in Europe (DATE 2003), Munich (Germany)</i>, IEEE Computer Society, 2003, pp. 946–51, doi:<a href=\"http://dx.doi.org/10.1109/DATE.2003.10201\">http://dx.doi.org/10.1109/DATE.2003.10201</a>."},"publication":"Proceedings of the conference on Design Automation and Test in Europe (DATE 2003), Munich (Germany)","doi":"http://dx.doi.org/10.1109/DATE.2003.10201","user_id":"52534","_id":"7915","publisher":"IEEE Computer Society","language":[{"iso":"eng"}],"page":"946-951","date_updated":"2022-01-06T07:03:47Z","author":[{"full_name":"Mueller, Wolfgang","last_name":"Mueller","first_name":"Wolfgang"},{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"},{"full_name":"Eikerling, Heinz-Josef","last_name":"Eikerling","first_name":"Heinz-Josef"},{"last_name":"Wegner","first_name":"Jan","full_name":"Wegner, Jan"}],"year":"2003","title":"Dynamic Tool Integration in Heterogeneous Computer Networks","status":"public"}]