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


2004 | Conference Paper | LibreCat-ID: 7922
T. Schattkowsky and W. Müller, “Model-Based Design of Embedded Systems,” in Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria), 2004, pp. 121–128.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 7923
A. Cherchago and R. Heckel, “Specification Matching of Web Services Using Conditional Graph Transformation Rules,” in Proceedings of the conference on Graph Transformation (ICGT 2004), Rome (Italy), 2004, vol. 3256 / 2004, pp. 304–318.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 7924
S. Böttcher, S. Groppe, and T. Schattkowsky, “Automated Data and Service Mapping for Integrated Electronic Markets,” in Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA), 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 7925
J. Eden et al., “An Architecture Description Language for Developing Automotive ECU-Software,” in Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France), 2004, pp. 101–112.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 7926
G. Engels and S. Sauer, “Guest Editors’ Introduction,” in International Journal of Software Engineering and Knowledge Engineering (IJSEKE), 2004, vol. 14, no. 6, pp. 543–544.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 7927
P. Guo and R. Heckel, “Modeling and Simulation of Context-Aware Mobile Systems,” in Proceedings of the 19th IEEE international conference on Automated software engineering (ASE 2004), 2004, pp. 430–433.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 7928
P. Guo and R. Heckel, “Simulation and Testing of Mobile Computing Systems using Fujaba,” in Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany), 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 7929
T. Schattkowsky and W. Müller, “Model-Based Specification and Execution of Embedded Real-Time Systems,” in Proceedings of the conference on Design Automation and Test in Europe (DATE 2004), Paris, France, 2004, vol. 2, pp. 1392–1393.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 7930
T. Schattkowsky, “Direct Execution of UML 2.0 Sequence Diagrams,” in Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA), 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 7931
T. Schattkowsky, “Efficient Execution of UML State Machines on a Virtual Machine,” in Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA), 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 7932
J. Hendrik Hausmann, R. Heckel, and M. Lohmann, “Model-based Discovery of Web Services,” in Proceedings of the IEEE International Conference on Web Services (ICWS 2004), 2004, pp. 324–331.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 7933
T. Schattkowsky, C. Loeser, and W. Müller, “Peer-to-Peer-based Web Services for Collaborative Engineering Environments,” in Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France), 2004.
LibreCat
 

2004 | Journal Article | LibreCat-ID: 7382
J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams,” Software and Systems Modeling, vol. 3, no. 3, pp. 181–193, 2004.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 7533
A. Krupp, O. Lundkvist, T. Schattkowsky, and C. Snook, “Adaptive Cruise Controller Case Study,” in UML-B System Specification for Proven Electronic Design, J. Mermet, Ed. Dordrecht: Kluwer, 2004.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 7534
T. Schattkowsky, W. Mueller, and A. Pawlak, “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering,” in Workflow Handbook 2004, L. Fischer, Ed. Lighthouse Point, FL: Workflow Management Coalition, 2004, pp. 5–14.
LibreCat
 

2004 | Dissertation | LibreCat-ID: 7585
J. Küster, Consistency Management of Object-Oriented Behavioral Models. 2004.
LibreCat
 

2004 | Dissertation | LibreCat-ID: 7586
R. Depke, Visuelle Modellierung agentenbasierter Systeme. 2004.
LibreCat | Files available
 

2004 | Conference Paper | LibreCat-ID: 8386
S. Sendall, R. Hauser, J. Koehler, J. Küster, and M. Wahler, “Understanding Model Transformation by Classification and Formalization,” in Proceedings of the Workshop on Software Transformation Systems (STS 2004, satellite event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada), 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 8387
R. Heckel and S. Thöne, “Behavior-Preserving Refinement Relations between Dynamic Software Architectures,” in Proceedings of the workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain), 2004, vol. 3423, pp. 1–27.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 8388
R. Heckel, A. Cherchago, and M. Lohmann, “A Formal Approach to Service Specification and Matching based on Graph Transformation,” in Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy, 2004, vol. 105, pp. 37–49.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 8389
J. Küster, “Systematic Validation of Model Transformations,” in Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal), 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 8390
J. Küster, S. Sendall, and M. Wahler, “Comparing two Model Transformation Approaches,” in Proceedings of the Workshop on OCL and Model Driven Engineering (satellite event of the UML 2004), Lisbon (Portugal), 2004, pp. 114–127.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 8391
J. Küster, “Towards Inconsistency Handling of Object-Oriented Behavioral Models,” in International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain), 2004, vol. 109, pp. 57–69.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 8392
T. Schattkowsky and A. Rettberg, “UML for FPGA Synthesis,” in Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA), 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 8393
S. Sendall and J. Küster, “Taming Model Round-Trip Engineering,” in Proceedings of Workshop on Best Practices for Model-Driven Software Development (satellite event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada), 2004.
LibreCat | Download (ext.)
 

2003 | Conference Paper | LibreCat-ID: 7907
T. Schattkowsky, “A Model-based Approach for Dynamic Tool Integration,” in Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando, FL (USA), 2003.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 7908
G. Engels, S. Sauer, and B. Neu, “Integrating software engineering and user-centred design for multimedia software developments,” in Proceedings of the conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand), 2003, pp. 254–256.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 7909
K. Alfert, E.-E. Doberkat, G. Engels, M. Lohmann, J. Magenheim, and A. Schürr, “MuSofT: Multimedia in der Softwaretechnik,” in Proceedings of the conference on Software Engineering im Unterricht der Hochschulen (SEUH 2003), Berlin (Germany), 2003, pp. 70–80.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 7910
G. Engels, R. Heckel, and J. Küster, “The Consistency Workbench: A Tool for Consistency Management in UML-based Development,” in Proceedings of the 6th International Conference on The Unified Modeling Language: Modeling Languages and Applications (UML 2003), San Francisco, CA (USA), 2003, vol. 2863, pp. 356–359.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 7911
G. Engels, J. Küster, R. Heckel, and M. Lohmann, “Model Based Verification and Validation of Properties,” in Proceedings of the conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland), 2003, vol. 82, no. 7, pp. 1–18.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 7912
R. Heckel, J. Küster, S. Thöne, and H. Voigt, “Towards Consistency of Web Service Architectures,” in Proceedings of the 7th World Multiconference on Systemics, Cybernetics, and Informatics (SCI 2003), Orlando, FL (USA), 2003.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 7913
J. Hendrik Hausmann and S. Kent, “Visualizing model mappings in UML,” in Proceedings of the ACM symposium on Software visualization (SOFTVIS 2003), San Diego, CA (USA), 2003, pp. 169–178.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 7914
R. Heckel and M. Lohmann, “Model-Based Development of Web Applications Using Graphical Reaction Rules,” in Proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland), 2003, vol. 2621, pp. 170–183.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 7915
W. Mueller, T. Schattkowsky, H.-J. Eikerling, and J. Wegner, “Dynamic Tool Integration in Heterogeneous Computer Networks,” in Proceedings of the conference on Design Automation and Test in Europe (DATE 2003), Munich (Germany), 2003, pp. 946–951.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 7916
J. Küster, R. Heckel, and G. Engels, “Defining and Validating Transformations of UML Models,” in Proceedings of the conference on Human Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand), 2003, pp. 145–152.
LibreCat | DOI
 

2003 | Report | LibreCat-ID: 8213
K. Mehner and A. Rashid, Towards a Generic Model for AOP (GEMA). United Kingdom: Lancaster University, Computing Department, 2003.
LibreCat
 

2003 | Journal Article | LibreCat-ID: 7383
K. Mehner, “Zur Performanz der Überwachung von Methodenaufrufen mit der Java Platform Debugger Architecture (JPDA),” Java Spektrum, vol. 6, 2003.
LibreCat
 

2003 | Journal Article | LibreCat-ID: 7384
G. Engels, J. Hendrik Hausmann, and M. Lohmann, “eLearning-Plattformen für die Hochschule: Bedarfsgerechte Bestimmung der Anforderungen,” ForschungsForum Paderborn, vol. 6, pp. 44–47, 2003.
LibreCat
 

2003 | Book Chapter | LibreCat-ID: 7530
R. Heckel, “Open Petri Nets as Semantic Model for Workflow Integration,” in Petri Net Technology for Communication-Based Systems, Advances in Petri Nets, vol. 2472, H. Ehrig, W. Reisig, and H. Weber, Eds. Berlin/Heidelberg: Springer, 2003, pp. 281–294.
LibreCat | DOI
 

2003 | Book Chapter | LibreCat-ID: 7531
R. Depke and R. Heckel, “Modeling and Analysis of Agents’ Goal-Driven Behavior Using Graph Transformation,” in Objects, Agents and Features - Structuring Mechanisms for Contemporary Software, vol. 2975, H. D. Ehrich, J. J. Meyer, and M. D. Ryan, Eds. Berlin/Heidelberg: Springer, 2003, pp. 81–97.
LibreCat
 

2003 | Book Chapter | LibreCat-ID: 7532
G. Engels, M. Lohmann, and A. Wagner, “Entwicklungsprozess von Web-Anwendungen,” in Web Engineering: Systematische Entwicklung von Web-Anwendungen, G. Kappel, B. Proell, S. Reich, and W. Retschnitzegger, Eds. Heidelberg: dpunkt-Verlag, 2003, pp. 239–264.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 8374
R. Depke, J. Hendrik Hausmann, and R. Heckel, “Design of an Agent-Oriented Modeling Language Based on Graph Transformation,” in Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003), Charlottesville, VA (USA), 2003, vol. 3062, pp. 106–119.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 8375
L. Baresi, R. Heckel, S. Thöne, and D. Varró, “Modeling and Analysis of Architectural Styles Based on Graph Transformation,” in Proceedings of the 6th ICSE Workshop on Component Based Software Engineering: Automated Reasoning and Prediction (CBSE 2003), Portland, OR (USA), 2003, pp. 67–72.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 8376
A. Förster and G. Engels, “Quality Ensuring Development of Software Processes,” in Proceeding of the 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki (Finland), 2003, vol. 2786, pp. 62–73.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 8377
J. Hendrik Hausmann, R. Heckel, and M. Lohmann, “Towards Automatic Selection of Web Services Using Graph Transformation Rules,” in Proceeding of the Web Service Workshop (Berliner XML-Tage 2003), Berlin (Germany), 2003, pp. 286–291.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 8378
R. Heckel, M. Lohmann, and S. Thöne, “Towards a UML Profile for Service-Oriented Architectures,” in Proceedings of the Workshop on Model Driven Architecture: Foundations and Applications (MDAFA 2003), Enschede (The Netherlands), 2003, vol. TR–CTIT–03–27, pp. 115–120.
LibreCat | Download (ext.)
 

2003 | Conference Paper | LibreCat-ID: 8379
J. Hendrik Hausmann, “Metamodeling Relations - Relating Metamodels,” in Proceedings of the Metamodelling for MDA workshop, York (UK), 2003, pp. 147–161.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 8380
J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams,” in Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, satellite event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain), 2003, vol. 72, no. 3, pp. 133–144.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 8381
R. Heckel and M. Lohmann, “Towards Model-Driven Testing,” in Proceedings of the workshop on Test and Analysis of Component Based Systems (TACoS 2003, satellite event of the ETAPS 2003), Warsaw (Poland), 2003, vol. 82, no. 6, pp. 33–43.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 8382
J. Küster and J. Stehr, “Towards Explicit Behavioral Consistency Concepts in the UML,” in Proceedings of 2nd ICSE Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (Portland, USA), 2003.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 8383
K. Mehner and A. Rashid, “GEMA: A Generic Model for AOP,” in Proceedings of the Joint Belgian & Dutch AOP Workshop, Enschede (The Netherlands), 2003.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 8384
T. Schattkowsky and W. Müller, “Distributed Engineering Environment for the Design of Electronic Systems,” in Proceedings of the Workshop on Challenges in Collaborative Engineering (CCE 2003), Poznan (Poland), 2003, pp. 15–16.
LibreCat
 

2003 | Conference Paper | LibreCat-ID: 8385
T. Schattkowsky, “Model-based Development of Embedded Systems: Executable Models vs. Code Generation,” in Proceedings of the workshop on Model Driven Architecture in the Specification, Implementation and Validation of Object-oriented Embedded Systems (satellite event of the UML 2003 conference), San Francisco, CA (USA), 2003.
LibreCat
 

2002 | Conference (Editor) | LibreCat-ID: 7785
R. Heckel, T. Mens, and M. Wermelinger, Eds., Proceedings of the workshop on Software Evolution through Transformations, satellite of the ICGT 2002 conference, Barcelona (Spain), vol. 72, no. 4. Elsevier, 2002.
LibreCat
 

2002 | Conference (Editor) | LibreCat-ID: 7786
M. Clauss, S. Hanenberg, I. John, K. Mehner, and R. Van Der Straeten, Eds., Proceedings of the 4th Young Researchers Workshop, satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA), no. 053.02/E. 2002.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 7895
L. Baresi and R. Heckel, “Tutorial Introduction to Graph Transformation: A Software Engineering Perspective,” in Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), 2002, vol. 2505, pp. 402–429.
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 7896
R. Depke, G. Engels, M. Langham, B. Lütkemeier, and S. Thöne, “Process-Oriented, Consistent Integration of Software Components,” in Proceedings of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England), 2002, pp. 13–18.
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 7897
G. Engels, R. Heckel, J. Küster, and L. Groenewegen, “Consistency-Preserving Model Evolution through Transformations,” in Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany), 2002, vol. 2460, pp. 212–226.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 7898
G. Engels, J. Küster, and L. Groenewegen, “Consistent Interaction Of Software Components,” in Proceedings of the conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), 2002, vol. 6, no. 4, pp. 2–22.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 7899
G. Engels, J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Testing the Consistency of Dynamic UML Diagrams,” in Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), 2002.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 7900
S. Gyapay, R. Heckel, and D. Varró, “Graph Transformation with Time: Causality and Logical Clocks,” in Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), 2002, vol. 2505, pp. 120–134.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 7901
J. Hendrik Hausmann, R. Heckel, and G. Taentzer, “Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation,” in Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA), 2002, pp. 105–155.
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 7902
R. Heckel and M. Chouikha, “Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets,” in Proceedings of the conference on Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA), 2002, pp. 63–77.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 7903
R. Heckel, J. Küster, and G. Taentzer, “Confluence of Typed Attributed Graph Transformation Systems,” in Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), 2002, pp. 161–176.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 7904
K. Mehner, “JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs,” in Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany), 2002, vol. 2269, pp. 163–175.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 7905
T. Schattkowsky and M. Lohmann, “Rapid Development of Modular Dynamic Web Sites Using UML,” in Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany), 2002, pp. 336–350.
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 7906
A. Cherchago, “Formal Semantics for a UML fragment using UML/OCL metamodeling,” in Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA), 2002.
LibreCat
 

2002 | Report | LibreCat-ID: 8212
P. Constanza, G. Kniesel, K. Mehner, E. Pulvermüller, and A. Speck, Proceedings of the Workshop on Aspect-Oriented Software Developement, held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement. University of Bonn, 2002.
LibreCat
 

2002 | Journal Article | LibreCat-ID: 7385
R. Heckel, M. Llabrés, H. Ehrig, and F. Orejas, “Concurrency and Loose Semantics of Open Graph Transformation Systems,” Mathematical Structures in Computer Science, vol. 12, no. 4, pp. 349–376, 2002.
LibreCat
 

2002 | Journal Article | LibreCat-ID: 7387
G. Engels, J. Küster, and L. Groenewegen, “Consistent Interaction of Software Components,” Transactions of the SDPS: Journal of Integrated Design & Process Science, vol. 6, no. 4, pp. 2–22, 2002.
LibreCat
 

2002 | Journal Article | LibreCat-ID: 7388
R. Depke, R. Heckel, and J. Küster, “Formal Agent-Oriented Modeling with Graph Transformation,” Science of Computer Programming, vol. 44, pp. 229–252, 2002.
LibreCat
 

2002 | Journal Article | LibreCat-ID: 7389
E.-E. Doberkat and G. Engels, “MuSofT - Multimedia in der Softwaretechnik,” Informatik Forschung und Entwicklung, vol. 1, no. 17, pp. 41–44, 2002.
LibreCat
 

2002 | Journal Article | LibreCat-ID: 7390
A. Corradini, R. Heckel, and U. Montanari, “Compositional SOS and Beyond: A Coalgebraic View of Open Systems,” Theoretical Computer Science, vol. 280, no. 1–2, pp. 163–192, 2002.
LibreCat | DOI
 

2002 | Book Chapter | LibreCat-ID: 7524
H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, and R. Heckel, “High-Level Net Processes,” in Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, vol. 2300, W. Brauer, H. Ehrig, J. Karhumäki, and A. Salomaa , Eds. Berlin/Heidelberg: Springer, 2002, pp. 191–219.
LibreCat | DOI
 

2002 | Book Chapter | LibreCat-ID: 7525
G. Engels and L. Groenewegen, “Towards Team-Automata-Driven Object-Oriented Collaborative Work,” in Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, vol. 2300, Berlin/Heidelberg: Springer, 2002, pp. 257–276.
LibreCat
 

2002 | Book Chapter | LibreCat-ID: 7526
G. Engels and E.-E. Doberkat, “Multimedia in der Informatik-Lehre,” in Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics, vol. P-19, Bonn: Gesellschaft für Informatik (GI), 2002, pp. 377–384.
LibreCat
 

2002 | Book Chapter | LibreCat-ID: 7527
H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, and R. Heckel, “High-Level Net Processes,” in Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, vol. 2300, W. Brauer, H. Ehrig, J. Karhumäki, and A. Salomaa , Eds. Berlin/Heidelberg: Springer, 2002, pp. 191–219.
LibreCat | DOI
 

2002 | Book Chapter | LibreCat-ID: 7528
G. Engels and L. Groenewegen, “Towards Team-Automata-Driven Object-Oriented Collaborative Work,” in Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, vol. 2300, W. Brauer, H. Ehring, J. Karhumäki, and A. Salomaa, Eds. Berlin/Heidelberg: Springer, 2002, pp. 257–276.
LibreCat
 

2002 | Book Chapter | LibreCat-ID: 7529
G. Engels and E.-E. Doberkat, “Multimedia in der Informatik-Lehre,” in Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics, vol. P-19, S. Schubert, B. Reusch, and N. Jesse, Eds. Bonn: Gesellschaft für Informatik (GI), 2002, pp. 377–384.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 8363
R. Heckel and G. Engels, “Towards a Formal Framework for Inter-Enterprise Application Integration,” in Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France), 2002, vol. 51, pp. 139–151.
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 8364
S. Thöne, R. Depke, and G. Engels, “Process-Oriented, Flexible Composition of Web Services with UML,” in Proceedings of the International Workshop on Conceptual Modeling Approaches for e-Business: A Web Service Perspective (eCOMO 2002), Tampere (Finland), 2002, vol. 2784, pp. 390–401.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 8365
G. Engels, J. Küster, and R. Heckel, “Towards Consistency-Preserving Model Evolution,” in Proceedings of the International Workshop on Principles of Software Evolution(satellite event of the ICSE 02), Orlando, Florida (USA), 2002, pp. 129–132.
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 8366
S. Gyapay and R. Heckel, “Towards Graph Transformation with Time,” in Proceedings of the APPLIGRAPH Workshop on Application of Graph Transformation (AGT 2002, satellite event of the ETAPS 2002), Grenoble (France), 2002, pp. 131–140.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 8367
R. Heckel, J. Küster, and G. Taentzer, “Towards Automatic Translation of UML Models into Semantic Domains,” in Proceedings of the APPLIGRAPH Workshop on Applied Graph Transformation (AGT 2002, satellite event of the ETAPS 2002), Grenoble (France), 2002, pp. 11–21.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 8368
J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Extended Model Relations with Graphical Consistency Conditions,” in Proceeding of the Workshop on Consistency Problems in UML-based Software Development (satellite event of the UML 2002), Dresden (Germany), 2002, pp. 61–74.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 8369
K. Mehner and A. Rashid, “Towards a Standard Interface for Runtime Inspection in AOP Environments,” in Proceedings Workshop on Tools for Aspect-Oriented Software Developement (satellite event of the OOPSLA 2002), Seattle, WA (USA), 2002.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 8370
T. Schattkowsky, M. Lohmann, and R. Heckel, “Lightweight Modeling of Dynamic Websites using UML,” in Proceedings of Workshop on Web Engineering (satellite event of the ICSE 2002), Orlando, FL (USA), 2002.
LibreCat
 

2001 | Conference (Editor) | LibreCat-ID: 7787
K. Mehner, M. Mezini, E. Pulvermüller, and A. Speck, Eds., Proceedings of the workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany), vol. tr-ri-01-223. University of Paderborn, 2001.
LibreCat
 

2001 | Conference (Editor) | LibreCat-ID: 7788
G. Engels, A. Oberweis, and A. Zündorf, Eds., Modellierung 2001, vol. 1. Bonn: Gesellschaft für Informatik (GI), 2001.
LibreCat
 

2001 | Conference (Editor) | LibreCat-ID: 7789
K. Böllert, D. Streitferdt, D. Heuzeroth, K. Mehner, and S. Hanenberg, Eds., Proceedings of the 3rd Young Researchers Workshop, satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE ’01), Erfurt (Germany). 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7879
B. Lütkemeier and S. Thöne, “Prozessorientierte Integration von Softwarekomponenten durch XML-basierte Workflow-Modelle,” in Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany), 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7880
P. Baldan, A. Corradini, H. Ehrig, and R. Heckel, “Compositional Modeling of Reactive Systems Using Open Nets,” in Proceedings of the conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark), 2001, vol. 2154, pp. 502–518.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7881
J. Küster and J. Stroop, “Consistent Design of Embedded Real-Time Systems with UML-RT,” in Proceedings of the conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany), 2001, pp. 31–40.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 7882
R. Depke, R. Heckel, and J. Küster, “Improving the Agent-Oriented Modeling Process with Roles,” in Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada), 2001, pp. 640–647.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7883
R. Depke and R. Heckel, “Modellierung von Prozessen mit UML und Realisierung durch eine Internet-Agentenplattform,” in Proceedings of the 9. Kolloquium Software-Entwicklung für Internet und Intranet, Ostfildern (Germany), 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7884
G. Engels, R. Heckel, and J. Küster, “Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model,” in Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada), 2001, vol. 2185, pp. 272–287.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 7885
G. Engels, J. Küster, L. Groenewegen, and R. Heckel, “A methodology for specifying and analyzing consistency of object-oriented behavioral models,” in Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria), 2001, vol. 26, no. 5, pp. 186–195.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 7886
C. Geiger, S. Flake, and J. Küster, “Towards UML-based Analysis and Design of Multi-Agent Systems,” in Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates), 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7887
R. Heckel and G. Engels, “Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution,” in Proceeding of International Special Session on Formal Foundations of Software Evolution (FFSE 2001, co-located with the Conference on Software Maintenance and Reengineering), Lisbon (Portugal), 2001, no. UNL-DI-1-2001, pp. 42–47.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7888
J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams,” in Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy), 2001, pp. 80–87.
LibreCat
 

Filters and Search Terms

(department=66)

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: IEEE

Export / Embed