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.

906 Publications


2003 | Conference Paper | LibreCat-ID: 8384
Distributed Engineering Environment for the Design of Electronic Systems
T. Schattkowsky, W. Müller, 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
Model-based Development of Embedded Systems: Executable Models vs. Code Generation
T. Schattkowsky, 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
Proceedings of the workshop on Software Evolution through Transformations, satellite of the ICGT 2002 conference, Barcelona (Spain)
R. Heckel, T. Mens, M. Wermelinger, eds., Proceedings of the Workshop on Software Evolution through Transformations, Satellite of the ICGT 2002 Conference, Barcelona (Spain), Elsevier, 2002.
LibreCat
 

2002 | Conference (Editor) | LibreCat-ID: 7786
Proceedings of the 4th Young Researchers Workshop, satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE '02), Pittsburgh, PA (USA)
M. Clauss, S. Hanenberg, I. John, K. Mehner, 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), 2002.
LibreCat
 

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

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

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

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

2002 | Conference Paper | LibreCat-ID: 7899
Testing the Consistency of Dynamic UML Diagrams
G. Engels, J. Hendrik Hausmann, R. Heckel, S. Sauer, 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
Graph Transformation with Time: Causality and Logical Clocks
S. Gyapay, R. Heckel, D. Varró, in: Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg, 2002, pp. 120–134.
LibreCat
 

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

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

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

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

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

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

2002 | Report | LibreCat-ID: 8212
Proceedings of the Workshop on Aspect-Oriented Software Developement, held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement
P. Constanza, G. Kniesel, K. Mehner, E. Pulvermüller, 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
Concurrency and Loose Semantics of Open Graph Transformation Systems
R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, Mathematical Structures in Computer Science 12 (2002) 349–376.
LibreCat
 

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

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

2002 | Journal Article | LibreCat-ID: 7389
MuSofT - Multimedia in der Softwaretechnik
E.-E. Doberkat, G. Engels, Informatik Forschung Und Entwicklung 1 (2002) 41–44.
LibreCat
 

2002 | Journal Article | LibreCat-ID: 7390
Compositional SOS and Beyond: A Coalgebraic View of Open Systems
A. Corradini, R. Heckel, U. Montanari, Theoretical Computer Science 280 (2002) 163–192.
LibreCat | DOI
 

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

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

2002 | Book Chapter | LibreCat-ID: 7526
Multimedia in der Informatik-Lehre
G. Engels, E.-E. Doberkat, in: Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics, Gesellschaft für Informatik (GI), Bonn, 2002, pp. 377–384.
LibreCat
 

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

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

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

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

2002 | Conference Paper | LibreCat-ID: 8364
Process-Oriented, Flexible Composition of Web Services with UML
S. Thöne, R. Depke, G. Engels, in: Proceedings of the International Workshop on Conceptual Modeling Approaches for E-Business: A Web Service Perspective (ECOMO 2002), Tampere (Finland), Springer, Berlin/Heidelberg, 2002, pp. 390–401.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 8365
Towards Consistency-Preserving Model Evolution
G. Engels, J. Küster, R. Heckel, in: Proceedings of the International Workshop on Principles of Software Evolution(Satellite Event of the ICSE 02), Orlando, Florida (USA), ACM Press, New York, NY, USA, 2002, pp. 129–132.
LibreCat | DOI
 

2002 | Conference Paper | LibreCat-ID: 8366
Towards Graph Transformation with Time
S. Gyapay, R. Heckel, in: Proceedings of the APPLIGRAPH Workshop on Application of Graph Transformation (AGT 2002, Satellite Event of the ETAPS 2002), Grenoble (France), Universität Bremen, 2002, pp. 131–140.
LibreCat
 

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

2002 | Conference Paper | LibreCat-ID: 8368
Extended Model Relations with Graphical Consistency Conditions
J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceeding of the Workshop on Consistency Problems in UML-Based Software Development (Satellite Event of the UML 2002), Dresden (Germany), Department of Software Engineering and Computer Science, Blekinge Institute of Technology, 2002, pp. 61–74.
LibreCat
 

2002 | Conference Paper | LibreCat-ID: 8369
Towards a Standard Interface for Runtime Inspection in AOP Environments
K. Mehner, A. Rashid, 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
Lightweight Modeling of Dynamic Websites using UML
T. Schattkowsky, M. Lohmann, R. Heckel, in: Proceedings of Workshop on Web Engineering (Satellite Event of the ICSE 2002), Orlando, FL (USA), 2002.
LibreCat
 

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

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

2001 | Conference (Editor) | LibreCat-ID: 7789
Proceedings of the 3rd Young Researchers Workshop, satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE '01), Erfurt (Germany)
K. Böllert, D. Streitferdt, D. Heuzeroth, K. Mehner, 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
Prozessorientierte Integration von Softwarekomponenten durch XML-basierte Workflow-Modelle
B. Lütkemeier, S. Thöne, in: Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany), Konradin-Verlag, 2001.
LibreCat
 

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

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

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

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

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

2001 | Conference Paper | LibreCat-ID: 7885
A methodology for specifying and analyzing consistency of object-oriented behavioral models
G. Engels, J. Küster, L. Groenewegen, R. Heckel, 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), ACM Press, New York, NY, USA, 2001, pp. 186–195.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 7886
Towards UML-based Analysis and Design of Multi-Agent Systems
C. Geiger, S. Flake, J. Küster, 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
Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution
R. Heckel, G. Engels, 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), Universidade Nova de Lisboa, Lisbon, 2001, pp. 42–47.
LibreCat
 

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

2001 | Conference Paper | LibreCat-ID: 7889
Use Cases as views: A formal approach to Requirements engineering in the Unified Process
J. Hendrik Hausmann, R. Heckel, in: Proceedings of the GI/OCG-Jahrestagung on Wirtschaft Und Wissenschaft in Der Network Economy - Visionen Und Wirklichkeit (2001), Wien (Österreich), Österreichische Computer Gesellschaft, Wien (Österreich), 2001, pp. 595–599.
LibreCat
 

Filters and Search Terms

department=66

Search

Filter Publications

Display / Sort

Export / Embed