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.
917 Publications
2004 | Conference Paper | LibreCat-ID: 7933
T. Schattkowsky, C. Loeser, and W. Müller, “Peer-to-Peer-based Web Services for Collaborative Engineering Environments,” in Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France), 2004.
LibreCat
2004 | Journal Article | LibreCat-ID: 7382
J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams,” Software and Systems Modeling, vol. 3, no. 3, pp. 181–193, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 7533
A. Krupp, O. Lundkvist, T. Schattkowsky, and C. Snook, “Adaptive Cruise Controller Case Study,” in UML-B System Specification for Proven Electronic Design, J. Mermet, Ed. Dordrecht: Kluwer, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 7534
T. Schattkowsky, W. Mueller, and A. Pawlak, “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering,” in Workflow Handbook 2004, L. Fischer, Ed. Lighthouse Point, FL: Workflow Management Coalition, 2004, pp. 5–14.
LibreCat
2004 | Dissertation | LibreCat-ID: 7585
J. Küster, Consistency Management of Object-Oriented Behavioral Models. 2004.
LibreCat
2004 | Dissertation | LibreCat-ID: 7586
R. Depke, Visuelle Modellierung agentenbasierter Systeme. 2004.
LibreCat
| Files available
2004 | Conference Paper | LibreCat-ID: 8386
S. Sendall, R. Hauser, J. Koehler, J. Küster, and M. Wahler, “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), 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 8387
R. Heckel and S. Thöne, “Behavior-Preserving Refinement Relations between Dynamic Software Architectures,” in Proceedings of the workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain), 2004, vol. 3423, pp. 1–27.
LibreCat
2004 | Conference Paper | LibreCat-ID: 8388
R. Heckel, A. Cherchago, and M. Lohmann, “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, 2004, vol. 105, pp. 37–49.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 8389
J. Küster, “Systematic Validation of Model Transformations,” in Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal), 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 8390
J. Küster, S. Sendall, and M. Wahler, “Comparing two Model Transformation Approaches,” in Proceedings of the Workshop on OCL and Model Driven Engineering (satellite event of the UML 2004), Lisbon (Portugal), 2004, pp. 114–127.
LibreCat
2004 | Conference Paper | LibreCat-ID: 8392
T. Schattkowsky and A. Rettberg, “UML for FPGA Synthesis,” in Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA), 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 8393
S. Sendall and J. Küster, “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), 2004.
LibreCat
| Download (ext.)
2003 | Conference Paper | LibreCat-ID: 7907
T. Schattkowsky, “A Model-based Approach for Dynamic Tool Integration,” in Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando, FL (USA), 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 7908
G. Engels, S. Sauer, and B. Neu, “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), 2003, pp. 254–256.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 7909
K. Alfert, E.-E. Doberkat, G. Engels, M. Lohmann, J. Magenheim, and A. Schürr, “MuSofT: Multimedia in der Softwaretechnik,” in Proceedings of the conference on Software Engineering im Unterricht der Hochschulen (SEUH 2003), Berlin (Germany), 2003, pp. 70–80.
LibreCat
2003 | Conference Paper | LibreCat-ID: 7910
G. Engels, R. Heckel, and J. Küster, “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), 2003, vol. 2863, pp. 356–359.
LibreCat
2003 | Conference Paper | LibreCat-ID: 7911
G. Engels, J. Küster, R. Heckel, and M. Lohmann, “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), 2003, vol. 82, no. 7, pp. 1–18.
LibreCat
| DOI