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
2001 | Conference Paper | LibreCat-ID: 7889
J. Hendrik Hausmann and R. Heckel, “Use Cases as views: A formal approach to Requirements engineering in the Unified Process,” in Proceedings of the GI/OCG-Jahrestagung on Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit (2001), Wien (Österreich), 2001, vol. 1, pp. 595–599.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7890
R. Heckel, “Open Petri Nets as Semantic Model for Business Process Integration,” in Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, 2001, pp. 129–134.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7891
R. Heckel and S. Sauer, “Strengthening UML Collaboration Diagrams by State Transformations,” in Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy), 2001, vol. 2029, pp. 109–123.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7892
J. Küster, “Towards Behavior Consistent Modeling in UML-RT,” in Proceedings of the Forum on Design Languages (FDL’01), 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7894
R. Heckel and A. Zündorf, “How to Specify a Graph Transformation Approach - A Meta Model for Fujaba,” in Proceeding of the workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, satellite event of the ETAPS 2001), 2001, vol. 44, pp. 41–51.
LibreCat
2001 | Report | LibreCat-ID: 8211
G. Engels, J. Küster, and L. Groenewegen, On the Specification and Analysis of Protocols in UML-RT. University of Paderborn, Department of Computer Science, 2001.
LibreCat
2001 | Journal Article | LibreCat-ID: 7391
J. Padberg, L. Jansen, H. Ehrig, E. Schnieder, and R. Heckel, “Cooperability in Train Control Systems: Specification of Scenarios using Open Nets,” Transactions of the Society for Design and Process Science, vol. 5, no. 1, pp. 3–21, 2001.
LibreCat
2001 | Journal Article | LibreCat-ID: 7392
R. Heckel, H. Ehrig, U. Wolter, and A. Corradini, “Double Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems,” Applied Categorical Structures, vol. 9, no. 1, pp. 83–110, 2001.
LibreCat
2001 | Journal Article | LibreCat-ID: 7395
G. Engels, J. Gaulke, and S. Sauer, “Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil,” Forschungsforum Paderborn, vol. 4, pp. 24–29, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 8355
M. Lohmann and A. Wagner, “Using an XML-capable mailtool for the communication in software development projects,” in Proceedings of the Workshop on XML Technologies and Software Engineering (XSE; satellite event of the ICSE 2001), Toronto (Canada), 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 8356
T. Schattkowsky, K. Mehner, and R. Depke, “Using UML models for the Description of Concurrent Behavior in Component Interfaces,” in Proceedings of the Workshop on Concurrency Issues of the UML (satellite event of the International Conference on the Unified Modeling Language - UML 2001), Toronto (Canada), 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 8357
R. Depke, R. Heckel, and J. Küster, “Agent-oriented Modeling with Graph Transformation,” in Proceedings of the First international workshop on Agent-oriented software engineering (AOSE 2000), Limerick (Ireland), 2001, vol. 1957, pp. 105–120.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 8358
R. Depke and K. Mehner, “‘Separation of Concern’ mit Rollen, Subjekten und Aspekten,” in Proceedings of the workshop on Aspektorientierung - Workshop der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn (Germany), 2001, no. tr-ri-01-223, pp. 1–7.
LibreCat
2001 | Conference Paper | LibreCat-ID: 8359
G. Engels and J. Küster, “Enhancing UML-RT Concepts for Behavioral Consistent Architecture Models,” in Proceedings of the 1st Workshop on Describing Software Architecture with UML (satellite event of the ICSE 2001), Toronto (Canada), 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 8360
J. Hendrik Hausmann, J. Küster, and S. Sauer, “Identifiying Semantic Dimensions of (UML) Sequence Diagrams,” in Proceedings of the workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists (pUML, colocated with the UML 2001), Toronto (Canada), 2001, vol. 7, pp. 142–157.
LibreCat
2001 | Conference Paper | LibreCat-ID: 8361
R. Heckel and J. Küster, “Behavioral Constraints for Visual Models,” in Proceeding of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2001, satellite event of the ICALP 2001), Heraklion (Greece), 2001, vol. 50, no. 3.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 8362
K. Mehner and B. Weymann, “Visualization and Debugging of Concurrent Java Programs with UML,” in Proceedings of the Workshop on Software Visualization (satellite event of the International Conference on Software Engineering - ICSE 2001), Toronto (Canada), 2001.
LibreCat
2000 | Conference (Editor) | LibreCat-ID: 7790
H. Ehrig, G. Engels, H.-J. Kreowksi, and G. Taentzer, Eds., Special Issue: Selected Papers of GRATRA 2000, vol. 44, no. 2. Amsterdam, The Netherlands: Elsevier, 2000.
LibreCat
2000 | Conference (Editor) | LibreCat-ID: 7791
J. D. P. Rolim et al., Eds., Workshop on Graph Transformation and Visual Modeling Techniques (ICALP 2000, Geneva, Switzerland). Waterloo, Ontario, Canada: Carleton Scientific, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7861
M. Lohmann and A. Wagner, “Konzeption eines XML-fähigen Mailtools,” in Proceedings of Net.Object Days 2000, Erfurt (Germany), 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7862
S. Thöne, “Entwicklung eines Übersetzers von Nachrichtenaustauschformaten für Bankselbstbedienungssysteme in XML-Formate,” in Proceedings of the Informatiktage 2000, Bad Schussenried (Germany), 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7863
A. Cherchago and N. Alexandrova, “A Model of a Physician’s Decision-Making Process using Electropunctural Methods of Diagnostics,” in Proceedings of the All-Russia Students, Young Scientists and Specialists Scientific and Technical Conference on Biotechnical, Medical and Environmental Systems and Complexes (Ryazan, Russia), 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7864
R. Depke, M. Langham, B. Lütkemeier, and S. Thöne, “Ein Konzept zur Generierung von XSL-Transformationen und dessen Anwendung bei Bankselbstbedienungssystemen,” in Proceedings of the Net.ObjectDays (2000), Erfurt (Germany), 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7872
G. Engels and R. Heckel, “Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution,” in Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland), 2000, vol. 1853, pp. 127–150.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 7873
G. Engels, R. Heckel, and S. Sauer, “UML - A Universal Modeling Language?,” in Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark), 2000, vol. 1825, pp. 24–38.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7874
G. Engels and L. Groenewegen, “Object-Oriented Modeling - A Roadmap,” in Proceedings of the Conference on The Future of Software Engineering - Special Track at 22nd International Conference on Software Engineering (ICSE 2000), Limerick (Ireland), 2000, pp. 103–116.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7875
G. Engels, J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML,” in Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK), 2000, vol. 1939, pp. 323–337.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 7876
J. Hendrik Hausmann, “Graphtransitionsregeln zur Beschreibung der Semantik von UML,” in Proceedings of the Informatiktage 2000, Bad Schussenried (Germany), 2000, pp. 103–107.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7877
K. Mehner and A. Wagner, “Visualizing the Synchronization of Java-Threads with UML,” in Proceedings of the IEEE International Symposium on Visual Languages (VL 2000), Seattle (Washington), 2000, pp. 199–206.
LibreCat
2000 | Report | LibreCat-ID: 8207
R. Depke, G. Engels, and J. Küster, On the Integration of Roles in the UML. University of Paderborn, Department of Computer Science, 2000.
LibreCat
2000 | Report | LibreCat-ID: 8208
R. Depke, R. Heckel, and J. Küster, Modeling Agent-Based Systems with Graph Transformation. University of Paderborn, Department of Computer Science, 2000.
LibreCat
2000 | Report | LibreCat-ID: 8209
R. Heckel, M. Llabrés, H. Ehrig, and F. Orejas, On the Concurrent Semantics of Open Graph Transformation Systems and Views. 2000.
LibreCat
2000 | Report | LibreCat-ID: 8210
K. Mehner and A. Wagner, Ablaufvisualisierung für nebenläufige Java-Programme mit UML Interaktionsdiagrammen. University of Saarbrücken, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8329
J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung,” in Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany), 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8330
R. Depke, R. Heckel, and J. Küster, “Modeling Agent-Based Systems with Graph Transformation and UML: From Requirement Specifcation to Object-Oriented Design,” in Proceedings of the workshop on Graph Transformation Systems (GraTra 2000), Berlin (Germany), 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8331
R. Heckel, M. Llabrés, H. Ehrig, and F. Orejas, “Concurrency of Double-Pullback Graph Transitions,” in Proceedings of workshop on Graph Transformation Systems (GraTra; satellite event of the ETAPS 2000), Berlin (Germany), 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8332
G. Busatto, G. Engels, K. Mehner, and A. Wagner, “A Framework for Adding Packages to Graph Transformation Approaches,” in Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT ’98), Paderborn (Germany), 2000, vol. 1764, pp. 352–367.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8333
A. Corradini, R. Heckel, and U. Montanari, “Graphical Operational Semantics,” in Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland), 2000, pp. 411–418.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8334
R. Depke and R. Heckel, “Towards Role-based Modeling of Autonomous Agents,” in Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany), 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8335
R. Depke, R. Heckel, and J. Küster, “Requirement Specification and Design of Agent-Based Systems with Graph Transformation, Roles and UML,” in Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering (satellite event of the ICSE 2000), Limerick (Ireland), 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8336
R. Depke, R. Heckel, and J. Küster, “Deploying Agents in an Electronic Banking Environment,” in Proceedings of the Workshop on Agents in Industry (Agents 2000; satellite event of the 4th International Conference on Autonomous Agents), Barcelona (Spain), 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8337
R. Depke, R. Heckel, and J. Küster, “Rollenbasierte Modellierung autonomer Agenten,” in Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany), 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8338
R. Depke and R. Heckel, “Formalizing the Development of Agent-Based Systems Using Graph Processes,” in Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland), 2000, pp. 419–426.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8339
G. Engels and R. Heckel, “From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation,” in Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (satellite events of the ICALP 2000), Geneva(Switzerland), 2000, pp. 373–382.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8340
G. Engels, J. Küster, and L. Groenewegen, “Modeling Concurrent Behavior through Consistent Statechart Views,” in Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), 2000, no. 0006, pp. 44–49.
LibreCat
2000 | Journal Article | LibreCat-ID: 7396
G. Engels and R. Heckel, “Graph Transformation and Visual Modeling Techniques,” Bulletin of the EATCS, no. 71, pp. 186–202, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 7397
A. Corradini and R. Heckel, “Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo,” Bulletin of the EATCS, no. 72, pp. 69–76, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 7398
R. Depke, R. Heckel, J. Küster, and M. Langham, “Agenten im Auftrag des Bankkunden,” Geldinstitute, vol. 31, no. 1–2, pp. 32–33, 2000.
LibreCat
2000 | Book | LibreCat-ID: 7509
E.-E. Doberkat, Multimedia in der wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht. LIT Verlag Münster, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7520
G. Engels, U. Kelter, R. Depke, and K. Mehner, “Unterstützende Angebote der Softwarebegleitgruppe,” in Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht, Münster: LIT, 2000, pp. 27–56.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7521
G. Engels, R. Depke, and K. Mehner, “Ergebnisse - vergleichende Darstellung,” in Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht, Münster: LIT, 2000, pp. 277–294.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7522
G. Engels, L. Groenewegen, and G. Kappel, “Coordinated Collaboration of Objects,” in Proceedings of Advances in Object-Oriented Modeling, The MIT Press, 2000, pp. 307–332.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8341
F. Gadducci, R. Heckel, and M. Koch, “A Fully Abstract Model for Graph-Interpreted Temporal Logic,” in Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), 2000, vol. 1764, pp. 310–322.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8342
G. Engels and A. Zamperoni, “Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!,” in Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands), 2000, vol. 1779, pp. 359–368.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8343
R. Heckel and S. Sauer, “Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML,” in Proceedings of the 7th GI-Workshop GROOM, 2000, vol. 20, no. 2, pp. 43–44.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8344
R. Heckel and S. Sauer, “Strengthening the Semantics of UML Collaboration Diagrams,” in Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), 2000, no. 0006, pp. 63–69.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8345
J. Küster and J. Stroop, “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), 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8346
K. Mehner and T. Schattkowsky, “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), 2000, vol. 24, pp. 14–18.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8347
K. Mehner and A. Wagner, “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), 2000, vol. 15.
LibreCat
1999 | Conference (Editor) | LibreCat-ID: 7792
G. Engels, K. Beiersdörfer, and W. Schäfer, Eds., Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany). Berlin/Heidelberg: Springer, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7849
D. Deugo, J. Küster, F. Oppacher, and I. von Otte, “Patterns as a Means for Intelligent Software Engineering,” in Proceedings of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA), 1999, vol. 2, pp. 605–611.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7850
A. Corradini, R. Heckel, and U. Montanari, “Tile Transition Systems as Structured Coalgebras,” in Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), 1999, vol. 1684, pp. 13–38.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7851
A. Cherchago, “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), 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7852
G. Engels, R. Depke, and C. Borowski, “Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung,” in Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen, 1999, vol. 8, pp. 531–540.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7856
G. Engels, R. Hücking, S. Sauer, and A. Wagner, “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, 1999, vol. 1723, pp. 473–488.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7859
R. Heckel, “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, 1999, no. 258.
LibreCat
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
1999 | Conference Paper | LibreCat-ID: 8327
K. Mehner and A. Wagner, “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), 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8328
K. Mehner and A. Wagner, “On the Role of Method Families in Aspect Oriented Programming,” in Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa (Spain), 1999, vol. 1743, pp. 305–306.
LibreCat
1999 | Journal Article | LibreCat-ID: 7400
A. Cherchago and V. Finaev, “Formalization of the development process for a software-hardware reflexodiagnostic tool,” Scientific bulletin of Academy of Information Technologies in Education, Science and Balneology, vol. 3, 1999.
LibreCat
1999 | Book | LibreCat-ID: 7510
H. Ehrig, G. Engels, H. J. Kreowski, and G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools. River Edge, NJ, USA: World Scientific Publishing Co., Inc., 1999.
LibreCat
1999 | Book Chapter | LibreCat-ID: 7518
R. Heckel, G. Engels, H. Ehrig, and G. Taentzer, “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, Singapore: World Scientific, 1999, pp. 639–668.
LibreCat
1999 | Book Chapter | LibreCat-ID: 7519
R. Heckel, G. Engels, H. Ehrig, and G. Taentzer, “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, Singapore: World Scientific, 1999, pp. 669–689.
LibreCat
1998 | Conference (Editor) | LibreCat-ID: 7793
G. Engels, H. Ehrig, F. Orejas, and M. Wirsing, Eds., Semi-Formal and Formal Specification Techniques, vol. 218. Schloss Dagstuhl, Leibniz Center for Informatics, 1998.
LibreCat
1998 | Conference (Editor) | LibreCat-ID: 7794
G. Engels, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, Eds., 6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers, vol. 1764. Berlin/Heidelberg: Springer, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7843
R. Depke, G. Engels, K. Mehner, S. Sauer, and A. Wagner, “Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen,” in Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany), 1998, vol. 18, no. 3, pp. 12–19.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7844
K. Didrich and A. Wagner, “Integration of Single Pushout Transformation and Functional Programming,” in Proceedings of the World Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany), 1998, vol. 4, pp. 65–73.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7845
A. Cherchago, “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), 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7847
R. Heckel, “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), 1998, vol. 1382, pp. 138–153.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 7848
J. Padberg, L. Jansen, R. Heckel, and H. Ehrig, “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), 1998, pp. 17–28.
LibreCat
1998 | Report | LibreCat-ID: 8202
G. Engels and S. Kolmschlag, Electronic Commerce Systeme als Anwendungsbeispiel für Evolutionstechniken. University of Paderborn, C-LAB, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8280
S. Kolmschlag and G. Engels, “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), 1998, pp. 13–24.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8281
A. Corradini, M. Große-Rhode, and R. Heckel, “Structured Transition Systems as Lax Coalgebras,” in Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal), 1998, vol. 11.
LibreCat