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.
353 Publications
1999 | Report | LibreCat-ID: 8203
Ehrig, H., Heckel, R., Llabrés, M., & Orejas, F. (1999). Basic Properties of Double Pullback Graph Transitions. Technical University of Berlin.
LibreCat
1999 | Report | LibreCat-ID: 8204
Engels, G., Hücking, R., Sauer, S., & Wagner, A. (1999). UML Collaboration Diagrams and Their Transformation to Java. University of Paderborn, Department of Computer Science.
LibreCat
1999 | Report | LibreCat-ID: 8205
Engels, G., Jan t’Hoen, P., Dassen, R., Groenewegen, L., G. Sprinkhuizen-Kuyper, I., & Koopman, P. (1999). SOCCA Extended with UML like Packages (pp. 99–06). Leiden Institute of Advanced Computer Science.
LibreCat
1999 | Report | LibreCat-ID: 8206
Engels, G., Dassen, R., Groenewegen, L., G. Sprinkhuizen-Kuyper, I., Koopman, P., & Jan t’Hoen, P. (1999). A Formalisation of SOCCA using Z, part 1: The Type Level Concepts. Leiden Institute of Advanced Computer Science.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8321
Sauer, S., & Engels, G. (1999). UML-basierte Modellierung von Multimediaanwendungen. In Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe (pp. 155–170). Karlsruhe, Germany: Teubner, Stuttgart.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8322
Sauer, S., & Engels, G. (1999). OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems. In Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA) (pp. 64–71). Indian Wells, California, USA.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8323
Corradini, A., Große-Rhode, M., & Heckel, R. (1999). An Algebra of Graph Derivations using Finite (co-) limit Double Theories. In Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal) (Vol. 1589, pp. 92–106). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-48483-3_7
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 8324
Corradini, A., Heckel, R., & Montanari, U. (1999). From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. In Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99) (Vol. 19, pp. 118–141). Amsterdam, The Netherlands: Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80273-7
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 8325
Engels, G., Heckel, R., & Sauer, S. (1999). Dynamic Meta Modelling: A Graphical Approach to Operational Semantics. In Proceedings of the workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (satellite event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA).
LibreCat
1999 | Conference Paper | LibreCat-ID: 8326
Engels, G., & Sauer, S. (1999). MVC-Based Modeling Support for Embedded Real-Time Systems. In Proceedings of OMER Workshop, Herrsching, Germany (pp. 11–14). Herrsching, Universität der Bundeswehr München, Fakultät für Informatik.
LibreCat