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.
354 Publications
1999 | Report | LibreCat-ID: 8203
H. Ehrig, R. Heckel, M. Llabrés, and F. Orejas, Basic Properties of Double Pullback Graph Transitions. Technical University of Berlin, 1999.
LibreCat
1999 | Report | LibreCat-ID: 8204
G. Engels, R. Hücking, S. Sauer, and A. Wagner, UML Collaboration Diagrams and Their Transformation to Java. University of Paderborn, Department of Computer Science, 1999.
LibreCat
1999 | Report | LibreCat-ID: 8205
G. Engels, P. Jan t’Hoen, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, and P. Koopman, SOCCA Extended with UML like Packages. Leiden Institute of Advanced Computer Science, 1999, pp. 99–06.
LibreCat
1999 | Report | LibreCat-ID: 8206
G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, and P. Jan t’Hoen, A Formalisation of SOCCA using Z, part 1: The Type Level Concepts. Leiden Institute of Advanced Computer Science, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8321
S. Sauer and G. Engels, “UML-basierte Modellierung von Multimediaanwendungen,” in Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe, 1999, pp. 155–170.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8322
S. Sauer and G. Engels, “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), 1999, pp. 64–71.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8323
A. Corradini, M. Große-Rhode, and R. Heckel, “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), 1999, vol. 1589, pp. 92–106.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 8324
A. Corradini, R. Heckel, and U. Montanari, “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), 1999, vol. 19, pp. 118–141.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 8325
G. Engels, R. Heckel, and S. Sauer, “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), 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8326
G. Engels and S. Sauer, “MVC-Based Modeling Support for Embedded Real-Time Systems,” in Proceedings of OMER Workshop, Herrsching, Germany, 1999, no. 01, pp. 11–14.
LibreCat