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.
911 Publications
1999 | Conference Paper | LibreCat-ID: 8321
UML-basierte Modellierung von Multimediaanwendungen
S. Sauer, G. Engels, in: Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe, Teubner, Stuttgart, Karlsruhe, Germany, 1999, pp. 155–170.
LibreCat
S. Sauer, G. Engels, in: Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe, Teubner, Stuttgart, Karlsruhe, Germany, 1999, pp. 155–170.
1999 | Conference Paper | LibreCat-ID: 8322
OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems
S. Sauer, G. Engels, in: Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), Indian Wells, California, USA, 1999, pp. 64–71.
LibreCat
S. Sauer, G. Engels, in: Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), Indian Wells, California, USA, 1999, pp. 64–71.
1999 | Conference Paper | LibreCat-ID: 8323
An Algebra of Graph Derivations using Finite (co-) limit Double Theories
A. Corradini, M. Große-Rhode, R. Heckel, in: Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal), Springer, Berlin/Heidelberg, 1999, pp. 92–106.
LibreCat
| DOI
A. Corradini, M. Große-Rhode, R. Heckel, in: Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal), Springer, Berlin/Heidelberg, 1999, pp. 92–106.
1999 | Conference Paper | LibreCat-ID: 8324
From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99), Elsevier, Amsterdam, The Netherlands, 1999, pp. 118–141.
LibreCat
| DOI
A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99), Elsevier, Amsterdam, The Netherlands, 1999, pp. 118–141.
1999 | Conference Paper | LibreCat-ID: 8325
Dynamic Meta Modelling: A Graphical Approach to Operational Semantics
G. Engels, R. Heckel, S. Sauer, 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
G. Engels, R. Heckel, S. Sauer, 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.
1999 | Conference Paper | LibreCat-ID: 8326
MVC-Based Modeling Support for Embedded Real-Time Systems
G. Engels, S. Sauer, in: Proceedings of OMER Workshop, Herrsching, Germany, Herrsching, Universität der Bundeswehr München, Fakultät für Informatik, 1999, pp. 11–14.
LibreCat
G. Engels, S. Sauer, in: Proceedings of OMER Workshop, Herrsching, Germany, Herrsching, Universität der Bundeswehr München, Fakultät für Informatik, 1999, pp. 11–14.
1999 | Conference Paper | LibreCat-ID: 8327
An Assessment of Aspect Language Design
K. Mehner, A. Wagner, in: Proceedings of the Young Researchers Workshop (Satellite Event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany), 1999.
LibreCat
K. Mehner, A. Wagner, in: Proceedings of the Young Researchers Workshop (Satellite Event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany), 1999.
1999 | Conference Paper | LibreCat-ID: 8328
On the Role of Method Families in Aspect Oriented Programming
K. Mehner, A. Wagner, in: Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa (Spain), Springer, Berlin/Heidelberg, 1999, pp. 305–306.
LibreCat
K. Mehner, A. Wagner, in: Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa (Spain), Springer, Berlin/Heidelberg, 1999, pp. 305–306.
1999 | Journal Article | LibreCat-ID: 7399
Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen
R. Depke, G. Engels, K. Mehner, S. Sauer, A. Wagner, Informatik Forschung Und Entwicklung 14 (1999) 83–94.
LibreCat
| DOI
R. Depke, G. Engels, K. Mehner, S. Sauer, A. Wagner, Informatik Forschung Und Entwicklung 14 (1999) 83–94.
1999 | Journal Article | LibreCat-ID: 7400
Formalization of the development process for a software-hardware reflexodiagnostic tool
A. Cherchago, V. Finaev, Scientific Bulletin of Academy of Information Technologies in Education, Science and Balneology 3 (1999).
LibreCat
A. Cherchago, V. Finaev, Scientific Bulletin of Academy of Information Technologies in Education, Science and Balneology 3 (1999).
1999 | Journal Article | LibreCat-ID: 7401
Graph Transformation for Specification and Programming
M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Science of Computer Programming 34 (1999) 1–54.
LibreCat
| DOI
M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Science of Computer Programming 34 (1999) 1–54.
1999 | Book | LibreCat-ID: 7510
Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools
H. Ehrig, G. Engels, H.J. Kreowski, G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools, World Scientific Publishing Co., Inc., River Edge, NJ, USA, 1999.
LibreCat
H. Ehrig, G. Engels, H.J. Kreowski, G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools, World Scientific Publishing Co., Inc., River Edge, NJ, USA, 1999.
1999 | Book Chapter | LibreCat-ID: 7518
A View-based Approach to System Modeling Based on Open Graph Transformation Systems
R. Heckel, G. Engels, H. Ehrig, G. Taentzer, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, World Scientific, Singapore, 1999, pp. 639–668.
LibreCat
R. Heckel, G. Engels, H. Ehrig, G. Taentzer, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, World Scientific, Singapore, 1999, pp. 639–668.
1999 | Book Chapter | LibreCat-ID: 7519
Classification and Comparison of Module Concepts for Graph Transformation Systems
R. Heckel, G. Engels, H. Ehrig, G. Taentzer, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, World Scientific, Singapore, 1999, pp. 669–689.
LibreCat
R. Heckel, G. Engels, H. Ehrig, G. Taentzer, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, World Scientific, Singapore, 1999, pp. 669–689.
1998 | Conference (Editor) | LibreCat-ID: 7793
Semi-Formal and Formal Specification Techniques
G. Engels, H. Ehrig, F. Orejas, M. Wirsing, eds., Semi-Formal and Formal Specification Techniques, Schloss Dagstuhl, Leibniz Center for Informatics, 1998.
LibreCat
G. Engels, H. Ehrig, F. Orejas, M. Wirsing, eds., Semi-Formal and Formal Specification Techniques, Schloss Dagstuhl, Leibniz Center for Informatics, 1998.
1998 | Conference (Editor) | LibreCat-ID: 7794
6th International Workshop on Theory and Applications of Graph Transformations (TAGT '98), Paderborn, Selected Papers
G. Engels, H. Ehrig, H.-J. Kreowski, G. Rozenberg, eds., 6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers, Springer, Berlin/Heidelberg, 1998.
LibreCat
G. Engels, H. Ehrig, H.-J. Kreowski, G. Rozenberg, eds., 6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers, Springer, Berlin/Heidelberg, 1998.
1998 | Conference Paper | LibreCat-ID: 7843
Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen
R. Depke, G. Engels, K. Mehner, S. Sauer, A. Wagner, in: Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany), GI, 1998, pp. 12–19.
LibreCat
R. Depke, G. Engels, K. Mehner, S. Sauer, A. Wagner, in: Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany), GI, 1998, pp. 12–19.
1998 | Conference Paper | LibreCat-ID: 7844
Integration of Single Pushout Transformation and Functional Programming
K. Didrich, A. Wagner, in: Proceedings of the World Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany), Society for Design and Process Science, 1998, pp. 65–73.
LibreCat
K. Didrich, A. Wagner, in: Proceedings of the World Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany), Society for Design and Process Science, 1998, pp. 65–73.
1998 | Conference Paper | LibreCat-ID: 7845
A generalized schema of a decision-making process of a SCENAR-therapeutist
A. Cherchago, in: Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia), 1998.
LibreCat
A. Cherchago, in: Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia), 1998.
1998 | Conference Paper | LibreCat-ID: 7847
Compositional Verification of Reactive Systems Specified by Graph Transformation
R. Heckel, in: Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal), Springer, Berlin/Heidelberg, 1998, pp. 138–153.
LibreCat
| DOI
R. Heckel, in: Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal), Springer, Berlin/Heidelberg, 1998, pp. 138–153.