Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
907 Publications
2004 | Conference Paper | LibreCat-ID: 7932
Hendrik Hausmann, J., Heckel, R., & Lohmann, M. (2004). Model-based Discovery of Web Services. In Proceedings of the IEEE International Conference on Web Services (ICWS 2004) (pp. 324–331). Washington, DC, USA: IEEE Computer Society. http://dx.doi.org/10.1109/ICWS.2004.80
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 7933
Schattkowsky, T., Loeser, C., & Müller, W. (2004). Peer-to-Peer-based Web Services for Collaborative Engineering Environments. In Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France). Los Alamitos, CA, USA: IEEE Computer Society.
LibreCat
2004 | Journal Article | LibreCat-ID: 7382
Hendrik Hausmann, J., Heckel, R., & Sauer, S. (2004). Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams. Software and Systems Modeling, 3(3), 181–193.
LibreCat
2004 | Book Chapter | LibreCat-ID: 7533
Krupp, A., Lundkvist, O., Schattkowsky, T., & Snook, C. (2004). Adaptive Cruise Controller Case Study. In J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design. Dordrecht: Kluwer.
LibreCat
2004 | Book Chapter | LibreCat-ID: 7534
Schattkowsky, T., Mueller, W., & Pawlak, A. (2004). Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In L. Fischer (Ed.), Workflow Handbook 2004 (pp. 5–14). Lighthouse Point, FL: Workflow Management Coalition.
LibreCat
2004 | Dissertation | LibreCat-ID: 7585
Küster, J. (2004). Consistency Management of Object-Oriented Behavioral Models.
LibreCat
2004 | Dissertation | LibreCat-ID: 7586
Depke, R. (2004). Visuelle Modellierung agentenbasierter Systeme.
LibreCat
| Files available
2004 | Conference Paper | LibreCat-ID: 8386
Sendall, S., Hauser, R., Koehler, J., Küster, J., & Wahler, M. (2004). Understanding Model Transformation by Classification and Formalization. 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).
LibreCat
2004 | Conference Paper | LibreCat-ID: 8387
Heckel, R., & Thöne, S. (2004). Behavior-Preserving Refinement Relations between Dynamic Software Architectures. In Proceedings of the workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain) (Vol. 3423, pp. 1–27). Berlin/Heidelberg: Springer.
LibreCat
2004 | Conference Paper | LibreCat-ID: 8388
Heckel, R., Cherchago, A., & Lohmann, M. (2004). A Formal Approach to Service Specification and Matching based on Graph Transformation. In Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy (Vol. 105, pp. 37–49). Elsevier. http://dx.doi.org/10.1016/j.entcs.2004.05.006
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 8389
Küster, J. (2004). Systematic Validation of Model Transformations. In Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal).
LibreCat
2004 | Conference Paper | LibreCat-ID: 8390
Küster, J., Sendall, S., & Wahler, M. (2004). Comparing two Model Transformation Approaches. In Proceedings of the Workshop on OCL and Model Driven Engineering (satellite event of the UML 2004), Lisbon (Portugal) (pp. 114–127). University of Kent.
LibreCat
2004 | Conference Paper | LibreCat-ID: 8391
Küster, J. (2004). Towards Inconsistency Handling of Object-Oriented Behavioral Models. In International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain) (Vol. 109, pp. 57–69). Amsterdam ,The Netherlands: Elsevier. http://dx.doi.org/10.1016/j.entcs.2004.02.056
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 8392
Schattkowsky, T., & Rettberg, A. (2004). UML for FPGA Synthesis. In Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA).
LibreCat
2004 | Conference Paper | LibreCat-ID: 8393
Sendall, S., & Küster, J. (2004). Taming Model Round-Trip Engineering. 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).
LibreCat
| Download (ext.)
2003 | Conference Paper | LibreCat-ID: 7907
Schattkowsky, T. (2003). A Model-based Approach for Dynamic Tool Integration. In Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando, FL (USA).
LibreCat
2003 | Conference Paper | LibreCat-ID: 7908
Engels, G., Sauer, S., & Neu, B. (2003). Integrating software engineering and user-centred design for multimedia software developments. In Proceedings of the conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand) (pp. 254–256). Washington, DC, USA: IEEE Computer Society. http://dx.doi.org/10.1109/HCC.2003.1260240
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 7909
Alfert, K., Doberkat, E.-E., Engels, G., Lohmann, M., Magenheim, J., & Schürr, A. (2003). MuSofT: Multimedia in der Softwaretechnik. In Proceedings of the conference on Software Engineering im Unterricht der Hochschulen (SEUH 2003), Berlin (Germany) (pp. 70–80). Heidelberg: dpunkt Verlag.
LibreCat
2003 | Conference Paper | LibreCat-ID: 7910
Engels, G., Heckel, R., & Küster, J. (2003). The Consistency Workbench: A Tool for Consistency Management in UML-based Development. In Proceedings of the 6th International Conference on The Unified Modeling Language: Modeling Languages and Applications (UML 2003), San Francisco, CA (USA) (Vol. 2863, pp. 356–359). Berlin/Heidelberg: Springer.
LibreCat
2003 | Conference Paper | LibreCat-ID: 7911
Engels, G., Küster, J., Heckel, R., & Lohmann, M. (2003). Model Based Verification and Validation of Properties. In Proceedings of the conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland) (Vol. 82, pp. 1–18). Elsevier. https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7
LibreCat
| DOI