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
2000 | Conference Paper | LibreCat-ID: 8345
Küster, J., & Stroop, J. (2000). Towards Consistency of Dynamic Models and Analysis of Timing Constraints. In Proceedings of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event of the UML 2000), York (UK). York, UK: University of York.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8346
Mehner, K., & Schattkowsky, T. (2000). Methodische Aspekte von Modellierungssprachen für nebenläufige Software. In Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany) (Vol. 24, pp. 14–18). Universität Münster.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8347
Mehner, K., & Wagner, A. (2000). Visualisierung der Synchronisation von Java-Threads mit UML. In Proceedings of the Workshop on Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany) (Vol. 15). Fölbach.
LibreCat
1999 | Conference (Editor) | LibreCat-ID: 7792
Engels, G., Beiersdörfer, K., & Schäfer, W. (Eds.). (1999). Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany). Berlin/Heidelberg: Springer.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7849
Deugo, D., Küster, J., Oppacher, F., & von Otte, I. (1999). Patterns as a Means for Intelligent Software Engineering. In Proceedings of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA) (Vol. 2, pp. 605–611). CSREA Press.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7850
Corradini, A., Heckel, R., & Montanari, U. (1999). Tile Transition Systems as Structured Coalgebras. In Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99) (Vol. 1684, pp. 13–38). Berlin/Heidelberg: Springer.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7851
Cherchago, A. (1999). Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development. In Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia).
LibreCat
1999 | Conference Paper | LibreCat-ID: 7852
Engels, G., Depke, R., & Borowski, C. (1999). Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung. In Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen (Vol. 8, pp. 531–540). Ostfildern: Technische Akademie Esslingen.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7856
Engels, G., Hücking, R., Sauer, S., & Wagner, A. (1999). UML Collaboration Diagrams and Their Transformation to Java. In Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA (Vol. 1723, pp. 473–488). Berlin/Heidelberg: Springer.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7858
Gadducci, F., Heckel, R., & Llabrés, M. (1999). A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. In Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK) (Vol. 29, pp. 80–100). Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80309-3
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 7859
Heckel, R. (1999). Modeling Agent-Based Systems with Graph Transformation and UML. In Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7860
Sauer, S., & Engels, G. (1999). Extending UML for Modeling of Multimedia Applications. In Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan) (pp. 80–87). Tokyo, Japan: IEEE Computer Society. http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878
LibreCat
| DOI
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
1999 | Conference Paper | LibreCat-ID: 8327
Mehner, K., & Wagner, A. (1999). An Assessment of Aspect Language Design. In Proceedings of the Young Researchers Workshop (satellite event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany).
LibreCat
1999 | Conference Paper | LibreCat-ID: 8328
Mehner, K., & Wagner, A. (1999). On the Role of Method Families in Aspect Oriented Programming. In Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa (Spain) (Vol. 1743, pp. 305–306). Berlin/Heidelberg: Springer.
LibreCat
1999 | Journal Article | LibreCat-ID: 7399
Depke, R., Engels, G., Mehner, K., Sauer, S., & Wagner, A. (1999). Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen. Informatik Forschung Und Entwicklung, 14(2), 83–94. http://dx.doi.org/10.1007/s004500050128
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 7400
Cherchago, A., & Finaev, V. (1999). Formalization of the development process for a software-hardware reflexodiagnostic tool. Scientific Bulletin of Academy of Information Technologies in Education, Science and Balneology, 3.
LibreCat
1999 | Journal Article | LibreCat-ID: 7401
Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., … Taentzer, G. (1999). Graph Transformation for Specification and Programming. Science of Computer Programming, 34(1), 1–54. http://dx.doi.org/10.1016/S0167-6423(98)00023-9
LibreCat
| DOI
1999 | Book | LibreCat-ID: 7510
Ehrig, H., Engels, G., Kreowski, H. J., & Rozenberg, G. (1999). Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools. River Edge, NJ, USA: World Scientific Publishing Co., Inc.
LibreCat
1999 | Book Chapter | LibreCat-ID: 7518
Heckel, R., Engels, G., Ehrig, H., & Taentzer, G. (1999). A View-based Approach to System Modeling Based on Open Graph Transformation Systems. In Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools (pp. 639–668). Singapore: World Scientific.
LibreCat
1999 | Book Chapter | LibreCat-ID: 7519
Heckel, R., Engels, G., Ehrig, H., & Taentzer, G. (1999). Classification and Comparison of Module Concepts for Graph Transformation Systems. In Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools (Vol. 2, pp. 669–689). Singapore: World Scientific.
LibreCat
1998 | Conference (Editor) | LibreCat-ID: 7793
Engels, G., Ehrig, H., Orejas, F., & Wirsing, M. (Eds.). (1998). Semi-Formal and Formal Specification Techniques (Vol. 218). Schloss Dagstuhl, Leibniz Center for Informatics.
LibreCat
1998 | Conference (Editor) | LibreCat-ID: 7794
Engels, G., Ehrig, H., Kreowski, H.-J., & Rozenberg, G. (Eds.). (1998). 6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers (Vol. 1764). Berlin/Heidelberg: Springer.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7843
Depke, R., Engels, G., Mehner, K., Sauer, S., & Wagner, A. (1998). Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen. In Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany) (Vol. 18, pp. 12–19). GI.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7844
Didrich, K., & Wagner, A. (1998). Integration of Single Pushout Transformation and Functional Programming. In Proceedings of the World Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany) (Vol. 4, pp. 65–73). Society for Design and Process Science.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7845
Cherchago, A. (1998). A generalized schema of a decision-making process of a SCENAR-therapeutist. In Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia).
LibreCat
1998 | Conference Paper | LibreCat-ID: 7847
Heckel, R. (1998). Compositional Verification of Reactive Systems Specified by Graph Transformation. In Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal) (Vol. 1382, pp. 138–153). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/BFb0053578
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 7848
Padberg, J., Jansen, L., Heckel, R., & Ehrig, H. (1998). Interoperability in Train Control Systems: Specification of Scenarios Using Open Nets. In Proceedings of the conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany) (pp. 17–28). Society for Design and Process Science.
LibreCat
1998 | Report | LibreCat-ID: 8202
Engels, G., & Kolmschlag, S. (1998). Electronic Commerce Systeme als Anwendungsbeispiel für Evolutionstechniken. University of Paderborn, C-LAB.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8280
Kolmschlag, S., & Engels, G. (1998). Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken. In Proceedings of the workshop on “Integration heterogener Softwaresysteme” (satellite event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany) (pp. 13–24). GI.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8281
Corradini, A., Große-Rhode, M., & Heckel, R. (1998). Structured Transition Systems as Lax Coalgebras. In Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal) (Vol. 11). Elsevier.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8282
Heckel, R., Hoffmann, B., Knirsch, P., & Kuske, S. (1998). Simple Modules for Grace. In Selected papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany) (Vol. 1764, pp. 215–224). Berlin/Heidelberg: Springer.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8283
Ehrig, H., Heckel, R., Padberg, J., & Rozenberg, G. (1998). Graph Transformation and Other Rule-Based Formalisms with Incomplete Information. In Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany).
LibreCat
1998 | Conference Paper | LibreCat-ID: 8284
Ehrig, H., Heckel, R., Llabrés, M., Orejas, F., Padberg, J., & Rozenberg, G. (1998). Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. In Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany) (Vol. 1764, pp. 85–102). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/b75045
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 8285
Ehrig, H., Engels, G., Heckel, R., & Taentzer, G. (1998). Classification and Comparison of Modularity Concepts for Graph Transformation Systems. In Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany) (pp. 122–131). University of Paderborn.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8286
Gadducci, F., Heckel, R., & Koch, M. (1998). Model Checking Graph-Interpreted Temporal Formulas. In Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany). Paderborn.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8287
Gadducci, F., Heckel, R., & Llabrés, M. (1998). DPO Derivations via Disconnected Rules. In Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany).
LibreCat
1998 | Conference Paper | LibreCat-ID: 8288
Sauer, S., & Zukunft, O. (1998). Event Processing in Mobile and Active Database Systems Using Broadcasts. In Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria) (pp. 420–426). Washington, DC, USA: IEEE Computer Society.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8289
Ehrig, H., Heckel, R., Llabrés, M., & Orejas, F. (1998). Construction and Characterisation of Double-Pullback Graph Transitions. In Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany).
LibreCat
1998 | Dissertation | LibreCat-ID: 7587
Heckel, R. (1998). Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems.
LibreCat
1997 | Conference (Editor) | LibreCat-ID: 7795
Engels, G. (Ed.). (1997). Themenheft: Softwaretechnik (Vol. 12). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/s004500050085
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7839
Engels, G., Heckel, R., Taentzer, G., & Ehrig, H. (1997). A View-Oriented Approach to System Modelling Using Graph Transformations. In M. Jazayeri & H. Schauer (Eds.), Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland) (Vol. 1301, pp. 327–343). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-63531-9
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7840
Depke, R., Knoke, S., Schöne, W., Tünnermann, A., & Welling, H. (1997). Thermooptische Effekte in Nd:YAG-Slablasern. In Verhandlungen der Deutschen Physikalischen Gesellschaft (Vol. 32). Weinheim, Germany: Physik-Verlag.
LibreCat
1997 | Conference Paper | LibreCat-ID: 7841
Heckel, R., Ehrig, H., Wolter, U., & Corradini, A. (1997). Integrating the Specification Techniques of Graph Transformation and Temporal Logic. In Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia) (pp. 219–228). London, UK: Springer. http://dx.doi.org/10.1007/BFb0029965
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7842
Knoke, S., Depke, R., Schöne, W., Brozek, O. S., Tünnermann, A., & Welling, H. (1997). Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung. In Verhandlungen der Deutschen Physikalischen Gesellschaft, Weinheim (Germany) (Vol. 32). Physik-Verlag.
LibreCat
1997 | Report | LibreCat-ID: 8201
Heckel, R., Ehrig, H., Wolter, U., & Corradini, A. (1997). Loose Semantics and Constraints for Graph Transformation Systems.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8276
Gadducci, F., & Heckel, R. (1997). A 2-Categorical Presentation of Distributed Graph Transformation. In Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France). Bordeaux.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8277
Gadducci, F., Heckel, R., & Koch, M. (1997). Combining Graph Transformations with Temporal Logic. In Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France). Bordeaux.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8278
Gadducci, F., & Heckel, R. (1997). An Inductive View of Graph Transformation. In Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy) (Vol. 1376, pp. 223–237). Berlin/Heidelberg: Springer.
LibreCat
1997 | Conference Paper | LibreCat-ID: 8279
Heckel, R. (1997). Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration. In Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France).
LibreCat
1997 | Journal Article | LibreCat-ID: 7402
Engels, G., & Jürgen Schneider, H. (1997). Guest Editors’ Introduction. International Journal on Software Engineering and Knowledge Engineering (IJSEKE), 7(4), 397–400. http://dx.doi.org/10.1142/S0218194097000230
LibreCat
| DOI
1997 | Journal Article | LibreCat-ID: 7403
Engels, G., Heckel, R., Taentzer, G., & Ehrig, H. (1997). A Combined Reference Model- and View-Based Approach to System Specification. Int. Journal of Software and Knowledge Engeneering, 7(4), 457–477.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7515
Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A., & Corradini, A. (1997). Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach. In Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations (pp. 247–312). Singapore: World Scientific.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7516
Engels, G., Rekers, J., & Andries, M. (1997). How to represent a visual specification. In Visual Language Theory (pp. 241–255). Berlin/Heidelberg: Springer.
LibreCat
1997 | Book Chapter | LibreCat-ID: 7517
Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., & Löwe, M. (1997). Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach. In Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations (pp. 163–245). Singapore: World Scientific.
LibreCat
1996 | Conference (Editor) | LibreCat-ID: 7796
Engels, G., Ehrig, H., Rozenberg, G., & Skowron, A. (Eds.). (1996). Special Issue on Graph Transformations (Vol. 26). Amsterdam: IOS Press.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7834
Ehrig, H., Heckel, R., Padberg, J., Taentzer, G., Wolter, U., Corradini, A., & Engels, G. (1996). Synchronization of Views and Loose Semantics of Typed Graph Productions. In Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science (pp. 11–12). Technical University of Berlin.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7835
Heckel, R. (1996). Behavioral Constraints for Loose Graph Transformation Systems. In Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science (pp. 12–13). Technical University of Berlin.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7836
de Bunje, T., Engels, G., Groenewegen, L., Matsinger, A., & Rijnbeek, M. (1996). Industrial maintenance modelled in SOCCA: an experience report. In Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK) (pp. 13–26). Washington, DC, USA: IEEE Computer Society. http://dx.doi.org/10.1109/ICSP.1996.565021
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 7837
Engels, G., Ehrig, H., Heckel, R., Taentzer, G., & Corradini, A. (1996). A View-Based Approach to System Modelling. In Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science (Vol. 155, p. 11). Technical University of Berlin.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7838
Engels, G., Groenewegen, L., & Kappel, G. (1996). Object-oriented specification of coordinated collaboration. In Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia) (pp. 437–452). Chapman & Hall.
LibreCat
1996 | Report | LibreCat-ID: 8197
Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., … Taentzer, G. (1996). Graph Transformation for Specification and Programming. University of Bremen, Department of Mathematics and Computer Science.
LibreCat
1996 | Report | LibreCat-ID: 8198
Busatto, G., & Engels, G. (1996). Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1. Vakgroep Informatica, Rijksuniversiteit Leiden.
LibreCat
1996 | Report | LibreCat-ID: 8199
Engels, G., Groenewegen, L., & Kappel, G. (1996). Object-oriented Specification of Coordinated Collaboration. Vakgroep Informatica, Rijksuniversiteit Leiden.
LibreCat
1996 | Report | LibreCat-ID: 8200
Heckel, R., Corradini, A., Ehrig, H., & Löwe, M. (1996). Horizontal and Vertical Structuring of Typed Graph Transformation Systems.
LibreCat
1996 | Conference Paper | LibreCat-ID: 8271
de Bunje, T., Engels, G., Groenewegen, L., Heus, M., & Matsinger, A. (1996). Towards Measurable Process Models. In Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France) (Vol. 1149, pp. 183–187). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/BFb0017743
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 8272
Ehrig, H., & Engels, G. (1996). Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems. In Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA) (Vol. 1073, pp. 137–154). Berlin/Heidelberg: Springer.
LibreCat
| Download (ext.)
1996 | Conference Paper | LibreCat-ID: 8273
Engels, G., & Zamperoni, A. (1996). Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper). In Proceedings of the Workshop on Requirements Engineering in a Changing World (satellite event of the Conference on Advanced Information Systems Engineering (CAISE 1996)), Crete (Greece) (pp. 42–44).
LibreCat
1996 | Conference Paper | LibreCat-ID: 8274
Groenewegen, L., & Engels, G. (1996). Reuse of Software Process Fragments is Reuse of Software, too. In Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France) (p. 68). Washington, DC, USA: IEEE Computer Society.
LibreCat
1996 | Conference Paper | LibreCat-ID: 8275
Heckel, R., Conrad, M., Egger, G., & Hiemer, J. (1996). Automatic Integration of Safety Invariants into Z Specifications. In Proceedings of the Workshop on Tools for System Development and Verifcation (Vol. 1, pp. 70–83). Bremen, Germany: Shaker Verlag.
LibreCat
| Download (ext.)
1996 | Journal Article | LibreCat-ID: 7404
Habel, A., Heckel, R., & Taentzer, G. (1996). Graph Grammars with Negative Application Conditions. Fundamenta Informaticae, 26(3,4), 287–313.
LibreCat
1996 | Journal Article | LibreCat-ID: 7405
Heckel, R., Corradini, A., Ehrig, H., & Löwe, M. (1996). Horizontal and Vertical Structuring of Typed Graph Transformation Systems. Mathematical Structures in Computer Science, 6(6), 613–648.
LibreCat
1996 | Journal Article | LibreCat-ID: 7406
Andries, M., & Engels, G. (1996). A Hybrid Query Language for the Extended Entity Relationship Model. Journal of Visual Languages and Computing, 7(3), 321–352. http://dx.doi.org/10.1006/jvlc.1996.0017
LibreCat
| DOI
1996 | Book Chapter | LibreCat-ID: 7514
Engels, G., Nagl, M., Schäfer, W., & Westfechtel, B. (1996). Tight Integration on One Document: The Programming Environment. In Building Tightly Integrated Software Development Environments: The IPSEN Approach (Vol. 1170, pp. 170–177). Berlin/Heidelberg: Springer.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7831
Heckel, R., Müller, J., Taentzer, G., & Wagner, A. (1995). Attributed Graph Transformations with Controlled Application of Rules. In Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science. Universitat de les Illes Balears.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7832
Thoben, W., Appelrath, H.-J., & Sauer, S. (1995). Record Linkage of Anonymous Data by Control Numbers. In Proceedings of the 18th Annual Conference of the Gesellschaft für Klassifikation, Oldenburg (Germany) (pp. 412–419). Berlin/Heidelberg: Springer.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7833
Heckel, R. (1995). Embedding of Conditional Graph Transformations. In Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science. Universitat de les Illes Balears.
LibreCat
1995 | Report | LibreCat-ID: 8194
Conrad, M., Gajewsky, M., Holl-Biniasz, R., Rudolf, M., Demuth, J., Weber, S., … Wagner, A. (1995). Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem.
LibreCat
1995 | Report | LibreCat-ID: 8195
Ebert, J., & Engels, G. (1995). Specialization of Object Life Cycle Definitions. Koblenz: University of Koblenz-Landau.
LibreCat
1995 | Report | LibreCat-ID: 8196
Engels, G., & Schürr, A. (1995). Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8266
Groenewegen, L., & Engels, G. (1995). Coordination by Behavioural Views and Communication Patterns. In Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands) (Vol. 913, pp. 189–192). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-59205-9_56
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 8267
Corradini, A., & Heckel, R. (1995). A Compositional Approach to Structuring and Refinement of Typed Graph Grammars. In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy) (Vol. 2, pp. 46–55). Elsevier.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8268
Bardohl, B., Bardohl, R., Castro, P., Ehrig, H., Heckel, R., Ribeiro, L., … Martini, A. (1995). GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development. In Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany) (Vol. 26). Forschungszentrum Jülich GmbH.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8269
Engels, G., & Schürr, A. (1995). Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy) (pp. 101–109). Amsterdam, The Netherlands: Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80186-0
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 8270
Heckel, R., & Wagner, A. (1995). Ensuring Consistency of Conditional Graph Grammars - A constructive Approach. In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy) (Vol. 2, pp. 118–126). Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80188-4
LibreCat
| DOI
1994 | Conference (Editor) | LibreCat-ID: 7797
Ehrich, H.-D., Engels, G., Paredaens, J., & Wegner, J. (Eds.). (1994). Fundamentals of Object-Oriented Languages, Systems, and Methods (Vol. 95). Schloss Dagstuhl, Leibniz Center for Informatics.
LibreCat
1994 | Conference (Editor) | LibreCat-ID: 7798
Cuny, J., Ehrig, H., Engels, G., & Rozenberg, G. (Eds.). (1994). Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers (Vol. 1073). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-61228-9
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 7827
Thoben, W., Appelrath, H.-J., Rettig, J., & Sauer, S. (1994). Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister. In Proceedings of the conference on Medizin und Information, Biometrie und Epidemiologie (GMDS 1994), Dresden (Germany) (pp. 88–90). München: MMV Medizin Verlag.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7828
Ebert, J., & Engels, G. (1994). Structural and Behavioural Views on OMT-Classes. In Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy) (Vol. 858, pp. 142–157). Berlin/Heidelberg: Springer.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7829
Engels, G., & Kappel, G. (1994). Object-Oriented System Development: Will the New Approach Solve Old Problems? In Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany) (Vol. 3, pp. 434–441). Elsevier.
LibreCat
1994 | Conference Paper | LibreCat-ID: 7830
Engels, G., & Ehrig, H. (1994). Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective. In Proceedings Colloquium on Graph Transformation and its Application in Computer Science (Vol. B-19). Universitat de les Illes Balears, Departament de Ci.
LibreCat