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
2005 | Dissertation | LibreCat-ID: 7582
Dynamic Software Architectures: A Style-Based Modeling and Refinement Technique with Graph Transformations
S. Thöne, Dynamic Software Architectures: A Style-Based Modeling and Refinement Technique with Graph Transformations, 2005.
LibreCat
S. Thöne, Dynamic Software Architectures: A Style-Based Modeling and Refinement Technique with Graph Transformations, 2005.
2005 | Dissertation | LibreCat-ID: 7583
Trace-based Debugging and Visualisation of Concurrent Java Programs with UML
K. Mehner, Trace-Based Debugging and Visualisation of Concurrent Java Programs with UML, 2005.
LibreCat
K. Mehner, Trace-Based Debugging and Visualisation of Concurrent Java Programs with UML, 2005.
2005 | Dissertation | LibreCat-ID: 7584
Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages
J. Hendrik Hausmann, Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages, 2005.
LibreCat
J. Hendrik Hausmann, Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages, 2005.
2005 | Conference Paper | LibreCat-ID: 8394
Towards employing UML Model Mappings for Platform Independent User Interface Design
T. Schattkowsky, M. Lohmann, in: Proceedings of the MoDELS’05 Workshop on Model Driven Development of Advanced User Interfaces, CEUR-WS.org, 2005.
LibreCat
| Download (ext.)
T. Schattkowsky, M. Lohmann, in: Proceedings of the MoDELS’05 Workshop on Model Driven Development of Advanced User Interfaces, CEUR-WS.org, 2005.
2005 | Conference Paper | LibreCat-ID: 8395
The Reconfigurable UML Machine Project Group
A. Rettberg, T. Schattkowsky, C. Rust, W. Müller, F. Josef Rammig, in: Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia), Springer, Berlin/Heidelberg, 2005, pp. 139–147.
LibreCat
A. Rettberg, T. Schattkowsky, C. Rust, W. Müller, F. Josef Rammig, in: Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia), Springer, Berlin/Heidelberg, 2005, pp. 139–147.
2005 | Conference Paper | LibreCat-ID: 8396
Preservation of Compatibility under Evolution of Software Components
A. Cherchago, G. Engels, in: International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland), 2005.
LibreCat
A. Cherchago, G. Engels, in: International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland), 2005.
2005 | Conference Paper | LibreCat-ID: 8397
Design by Contract zur semantischen Beschreibung von Web Services
G. Engels, M. Lohmann, S. Sauer, in: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Service-Orientierte Architekturen - Zusammenwirken von Business & IT, Bonn (Germany), Gesellschaft für Informatik (GI), Bonn, 2005, pp. 612–616.
LibreCat
G. Engels, M. Lohmann, S. Sauer, in: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Service-Orientierte Architekturen - Zusammenwirken von Business & IT, Bonn (Germany), Gesellschaft für Informatik (GI), Bonn, 2005, pp. 612–616.
2005 | Conference Paper | LibreCat-ID: 8398
Modellbasierte Entwicklung von Web Services mit Design by Contract
G. Engels, M. Lohmann, S. Sauer, in: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany, Gesellschaft für Informatik (GI), Bonn, 2005, pp. 491–495.
LibreCat
G. Engels, M. Lohmann, S. Sauer, in: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany, Gesellschaft für Informatik (GI), Bonn, 2005, pp. 491–495.
2005 | Conference Paper | LibreCat-ID: 8399
Behavioral Refinement of Graph Transformation-Based Models
R. Heckel, S. Thöne, in: Proceedings of the Workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy), Elsevier, Amsterdam, The Netherlands, 2005, pp. 101–111.
LibreCat
| DOI
R. Heckel, S. Thöne, in: Proceedings of the Workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy), Elsevier, Amsterdam, The Netherlands, 2005, pp. 101–111.
2005 | Conference Paper | LibreCat-ID: 8400
Towards Contract-based Testing of Web Services
R. Heckel, M. Lohmann, in: Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004), Elsevier, 2005, pp. 145–156.
LibreCat
| DOI
R. Heckel, M. Lohmann, in: Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004), Elsevier, 2005, pp. 145–156.
2005 | Conference Paper | LibreCat-ID: 8401
Towards employing UML Model Mappings for Platform Independent User Interface Design (Revised)
T. Schattkowsky, M. Lohmann, in: Proceedings of the Satellite Events at the MoDELS 2005 Conference, Springer, Berlin/Heidelberg, 2005, pp. 201–209.
LibreCat
| DOI
T. Schattkowsky, M. Lohmann, in: Proceedings of the Satellite Events at the MoDELS 2005 Conference, Springer, Berlin/Heidelberg, 2005, pp. 201–209.
2005 | Conference Paper | LibreCat-ID: 8402
Using UML Activities for Synthesis on Reconfigurable Hardware
T. Schattkowsky, J. Hendrik Hausmann, A. Rettberg, in: Proceedings of the UML for SoC Design Workshop, Anaheim, USA, 2005.
LibreCat
T. Schattkowsky, J. Hendrik Hausmann, A. Rettberg, in: Proceedings of the UML for SoC Design Workshop, Anaheim, USA, 2005.
2004 | Conference (Editor) | LibreCat-ID: 7782
Proceedings of "DeLFI 2004: Die 2. e-Learning Fachtagung Informatik", Paderborn (Germany)
G. Engels, S. Seehusen, eds., Proceedings of “DeLFI 2004: Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany), Gesellschaft für Informatik (GI), Bonn, 2004.
LibreCat
G. Engels, S. Seehusen, eds., Proceedings of “DeLFI 2004: Die 2. e-Learning Fachtagung Informatik”, Paderborn (Germany), Gesellschaft für Informatik (GI), Bonn, 2004.
2004 | Conference (Editor) | LibreCat-ID: 7783
Modeling and Development of Multimedia Systems
G. Engels, S. Sauer, eds., Modeling and Development of Multimedia Systems, World Scientific, 2004.
LibreCat
| DOI
G. Engels, S. Sauer, eds., Modeling and Development of Multimedia Systems, World Scientific, 2004.
2004 | Conference (Editor) | LibreCat-ID: 7784
Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy)
H. Ehrig, G. Engels, F. Parisi-Presicce, G. Rozenberg, eds., Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy), Springer, Berlin/Heidelberg, 2004.
LibreCat
| DOI
H. Ehrig, G. Engels, F. Parisi-Presicce, G. Rozenberg, eds., Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy), Springer, Berlin/Heidelberg, 2004.
2004 | Conference Paper | LibreCat-ID: 7917
Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan), IEEE Computer Society, Washington, DC, USA, 2004, pp. 611–616.
LibreCat
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan), IEEE Computer Society, Washington, DC, USA, 2004, pp. 611–616.
2004 | Conference Paper | LibreCat-ID: 7918
Style-Based Refinement of Dynamic Software Architectures
L. Baresi, R. Heckel, S. Thöne, D. Varró, in: Proceedings of the Conference on Software Architecture (WICSA 2004), Oslo (Norway), IEEE Computer Society, Washington, DC, USA, 2004, pp. 155–166.
LibreCat
L. Baresi, R. Heckel, S. Thöne, D. Varró, in: Proceedings of the Conference on Software Architecture (WICSA 2004), Oslo (Norway), IEEE Computer Society, Washington, DC, USA, 2004, pp. 155–166.
2004 | Conference Paper | LibreCat-ID: 7919
Software Testing via Model Checking
F. Belli, B. Güldali, in: Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), Springer, Berlin/Heidelberg, 2004, pp. 907–916.
LibreCat
| DOI
F. Belli, B. Güldali, in: Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), Springer, Berlin/Heidelberg, 2004, pp. 907–916.
2004 | Conference Paper | LibreCat-ID: 7920
Conceptual Modeling of Styles For Mobile Systems: A layered approach based on graph transformation
R. Heckel, P. Guo, in: Proceedings of the Conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway), Springer, Berlin/Heidelberg, 2004, pp. 65–79.
LibreCat
| DOI
R. Heckel, P. Guo, in: Proceedings of the Conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway), Springer, Berlin/Heidelberg, 2004, pp. 65–79.
2004 | Conference Paper | LibreCat-ID: 7921
Application of Graph Transformation for Automating Web Service Discovery
R. Heckel, A. Cherchago, in: Proceedings of the Seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany), Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Dagstuhl, Germany, 2004.
LibreCat
R. Heckel, A. Cherchago, in: Proceedings of the Seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany), Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Dagstuhl, Germany, 2004.
2004 | Conference Paper | LibreCat-ID: 7922
Model-Based Design of Embedded Systems
T. Schattkowsky, W. Müller, in: Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria), IEEE Computer Society, Los Alamitos, CA, USA, 2004, pp. 121–128.
LibreCat
T. Schattkowsky, W. Müller, in: Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria), IEEE Computer Society, Los Alamitos, CA, USA, 2004, pp. 121–128.
2004 | Conference Paper | LibreCat-ID: 7923
Specification Matching of Web Services Using Conditional Graph Transformation Rules
A. Cherchago, R. Heckel, in: Proceedings of the Conference on Graph Transformation (ICGT 2004), Rome (Italy), Springer, Berlin/Heidelberg, 2004, pp. 304–318.
LibreCat
| DOI
A. Cherchago, R. Heckel, in: Proceedings of the Conference on Graph Transformation (ICGT 2004), Rome (Italy), Springer, Berlin/Heidelberg, 2004, pp. 304–318.
2004 | Conference Paper | LibreCat-ID: 7924
Automated Data and Service Mapping for Integrated Electronic Markets
S. Böttcher, S. Groppe, T. Schattkowsky, in: Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA), 2004.
LibreCat
S. Böttcher, S. Groppe, T. Schattkowsky, in: Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA), 2004.
2004 | Conference Paper | LibreCat-ID: 7925
An Architecture Description Language for Developing Automotive ECU-Software
J. Eden, M. Weber, M.-O. Reiser, T. Wierczoch, U. Freund, O. Gurrieri, J. Küster, H. Lönn, J. Migge, in: Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France), 2004, pp. 101–112.
LibreCat
J. Eden, M. Weber, M.-O. Reiser, T. Wierczoch, U. Freund, O. Gurrieri, J. Küster, H. Lönn, J. Migge, in: Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France), 2004, pp. 101–112.
2004 | Conference Paper | LibreCat-ID: 7926
Guest Editors' Introduction
G. Engels, S. Sauer, in: International Journal of Software Engineering and Knowledge Engineering (IJSEKE), World Scientific Publishing, 2004, pp. 543–544.
LibreCat
| DOI
G. Engels, S. Sauer, in: International Journal of Software Engineering and Knowledge Engineering (IJSEKE), World Scientific Publishing, 2004, pp. 543–544.
2004 | Conference Paper | LibreCat-ID: 7927
Modeling and Simulation of Context-Aware Mobile Systems
P. Guo, R. Heckel, in: Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), IEEE Computer Society, Washington, DC, USA, 2004, pp. 430–433.
LibreCat
P. Guo, R. Heckel, in: Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), IEEE Computer Society, Washington, DC, USA, 2004, pp. 430–433.
2004 | Conference Paper | LibreCat-ID: 7928
Simulation and Testing of Mobile Computing Systems using Fujaba
P. Guo, R. Heckel, in: Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany), Darmstadt, Germany, 2004.
LibreCat
P. Guo, R. Heckel, in: Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany), Darmstadt, Germany, 2004.
2004 | Conference Paper | LibreCat-ID: 7929
Model-Based Specification and Execution of Embedded Real-Time Systems
T. Schattkowsky, W. Müller, in: Proceedings of the Conference on Design Automation and Test in Europe (DATE 2004), Paris, France, IEEE Computer Society, Los Alamitos, CA, USA, 2004, pp. 1392–1393.
LibreCat
| DOI
T. Schattkowsky, W. Müller, in: Proceedings of the Conference on Design Automation and Test in Europe (DATE 2004), Paris, France, IEEE Computer Society, Los Alamitos, CA, USA, 2004, pp. 1392–1393.
2004 | Conference Paper | LibreCat-ID: 7930
Direct Execution of UML 2.0 Sequence Diagrams
T. Schattkowsky, in: Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA), 2004.
LibreCat
T. Schattkowsky, in: Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA), 2004.
2004 | Conference Paper | LibreCat-ID: 7931
Efficient Execution of UML State Machines on a Virtual Machine
T. Schattkowsky, in: Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA), 2004.
LibreCat
T. Schattkowsky, in: Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA), 2004.
2004 | Conference Paper | LibreCat-ID: 7932
Model-based Discovery of Web Services
J. Hendrik Hausmann, R. Heckel, M. Lohmann, in: Proceedings of the IEEE International Conference on Web Services (ICWS 2004), IEEE Computer Society, Washington, DC, USA, 2004, pp. 324–331.
LibreCat
| DOI
J. Hendrik Hausmann, R. Heckel, M. Lohmann, in: Proceedings of the IEEE International Conference on Web Services (ICWS 2004), IEEE Computer Society, Washington, DC, USA, 2004, pp. 324–331.
2004 | Conference Paper | LibreCat-ID: 7933
Peer-to-Peer-based Web Services for Collaborative Engineering Environments
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France), IEEE Computer Society, Los Alamitos, CA, USA, 2004.
LibreCat
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France), IEEE Computer Society, Los Alamitos, CA, USA, 2004.
2004 | Journal Article | LibreCat-ID: 7382
Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams
J. Hendrik Hausmann, R. Heckel, S. Sauer, Software and Systems Modeling 3 (2004) 181–193.
LibreCat
J. Hendrik Hausmann, R. Heckel, S. Sauer, Software and Systems Modeling 3 (2004) 181–193.
2004 | Book Chapter | LibreCat-ID: 7533
Adaptive Cruise Controller Case Study
A. Krupp, O. Lundkvist, T. Schattkowsky, C. Snook, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004.
LibreCat
A. Krupp, O. Lundkvist, T. Schattkowsky, C. Snook, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004.
2004 | Book Chapter | LibreCat-ID: 7534
Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering
T. Schattkowsky, W. Mueller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook 2004, Workflow Management Coalition, Lighthouse Point, FL, 2004, pp. 5–14.
LibreCat
T. Schattkowsky, W. Mueller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook 2004, Workflow Management Coalition, Lighthouse Point, FL, 2004, pp. 5–14.
2004 | Dissertation | LibreCat-ID: 7585
Consistency Management of Object-Oriented Behavioral Models
J. Küster, Consistency Management of Object-Oriented Behavioral Models, 2004.
LibreCat
J. Küster, Consistency Management of Object-Oriented Behavioral Models, 2004.
2004 | Dissertation | LibreCat-ID: 7586
Visuelle Modellierung agentenbasierter Systeme
R. Depke, Visuelle Modellierung Agentenbasierter Systeme, 2004.
LibreCat
| Files available
R. Depke, Visuelle Modellierung Agentenbasierter Systeme, 2004.
2004 | Conference Paper | LibreCat-ID: 8386
Understanding Model Transformation by Classification and Formalization
S. Sendall, R. Hauser, J. Koehler, J. Küster, M. Wahler, 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
S. Sendall, R. Hauser, J. Koehler, J. Küster, M. Wahler, 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.
2004 | Conference Paper | LibreCat-ID: 8387
Behavior-Preserving Refinement Relations between Dynamic Software Architectures
R. Heckel, S. Thöne, in: Proceedings of the Workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain), Springer, Berlin/Heidelberg, 2004, pp. 1–27.
LibreCat
R. Heckel, S. Thöne, in: Proceedings of the Workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain), Springer, Berlin/Heidelberg, 2004, pp. 1–27.
2004 | Conference Paper | LibreCat-ID: 8388
A Formal Approach to Service Specification and Matching based on Graph Transformation
R. Heckel, A. Cherchago, M. Lohmann, in: Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy, Elsevier, 2004, pp. 37–49.
LibreCat
| DOI
R. Heckel, A. Cherchago, M. Lohmann, in: Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy, Elsevier, 2004, pp. 37–49.
2004 | Conference Paper | LibreCat-ID: 8389
Systematic Validation of Model Transformations
J. Küster, in: Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal), 2004.
LibreCat
J. Küster, in: Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal), 2004.
2004 | Conference Paper | LibreCat-ID: 8390
Comparing two Model Transformation Approaches
J. Küster, S. Sendall, M. Wahler, in: Proceedings of the Workshop on OCL and Model Driven Engineering (Satellite Event of the UML 2004), Lisbon (Portugal), University of Kent, 2004, pp. 114–127.
LibreCat
J. Küster, S. Sendall, M. Wahler, in: Proceedings of the Workshop on OCL and Model Driven Engineering (Satellite Event of the UML 2004), Lisbon (Portugal), University of Kent, 2004, pp. 114–127.
2004 | Conference Paper | LibreCat-ID: 8391
Towards Inconsistency Handling of Object-Oriented Behavioral Models
J. Küster, in: International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain), Elsevier, Amsterdam ,The Netherlands, 2004, pp. 57–69.
LibreCat
| DOI
J. Küster, in: International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain), Elsevier, Amsterdam ,The Netherlands, 2004, pp. 57–69.
2004 | Conference Paper | LibreCat-ID: 8392
UML for FPGA Synthesis
T. Schattkowsky, A. Rettberg, in: Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA), 2004.
LibreCat
T. Schattkowsky, A. Rettberg, in: Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA), 2004.
2004 | Conference Paper | LibreCat-ID: 8393
Taming Model Round-Trip Engineering
S. Sendall, J. Küster, 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.)
S. Sendall, J. Küster, 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.
2003 | Conference Paper | LibreCat-ID: 7907
A Model-based Approach for Dynamic Tool Integration
T. Schattkowsky, in: Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando, FL (USA), 2003.
LibreCat
T. Schattkowsky, in: Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando, FL (USA), 2003.
2003 | Conference Paper | LibreCat-ID: 7908
Integrating software engineering and user-centred design for multimedia software developments
G. Engels, S. Sauer, B. Neu, in: Proceedings of the Conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand), IEEE Computer Society, Washington, DC, USA, 2003, pp. 254–256.
LibreCat
| DOI
G. Engels, S. Sauer, B. Neu, in: Proceedings of the Conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand), IEEE Computer Society, Washington, DC, USA, 2003, pp. 254–256.
2003 | Conference Paper | LibreCat-ID: 7909
MuSofT: Multimedia in der Softwaretechnik
K. Alfert, E.-E. Doberkat, G. Engels, M. Lohmann, J. Magenheim, A. Schürr, in: Proceedings of the Conference on Software Engineering Im Unterricht Der Hochschulen (SEUH 2003), Berlin (Germany), dpunkt Verlag, Heidelberg, 2003, pp. 70–80.
LibreCat
K. Alfert, E.-E. Doberkat, G. Engels, M. Lohmann, J. Magenheim, A. Schürr, in: Proceedings of the Conference on Software Engineering Im Unterricht Der Hochschulen (SEUH 2003), Berlin (Germany), dpunkt Verlag, Heidelberg, 2003, pp. 70–80.
2003 | Conference Paper | LibreCat-ID: 7910
The Consistency Workbench: A Tool for Consistency Management in UML-based Development
G. Engels, R. Heckel, J. Küster, in: Proceedings of the 6th International Conference on The Unified Modeling Language: Modeling Languages and Applications (UML 2003), San Francisco, CA (USA), Springer, Berlin/Heidelberg, 2003, pp. 356–359.
LibreCat
G. Engels, R. Heckel, J. Küster, in: Proceedings of the 6th International Conference on The Unified Modeling Language: Modeling Languages and Applications (UML 2003), San Francisco, CA (USA), Springer, Berlin/Heidelberg, 2003, pp. 356–359.
2003 | Conference Paper | LibreCat-ID: 7911
Model Based Verification and Validation of Properties
G. Engels, J. Küster, R. Heckel, M. Lohmann, in: Proceedings of the Conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland), Elsevier, 2003, pp. 1–18.
LibreCat
| DOI
G. Engels, J. Küster, R. Heckel, M. Lohmann, in: Proceedings of the Conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland), Elsevier, 2003, pp. 1–18.
2003 | Conference Paper | LibreCat-ID: 7912
Towards Consistency of Web Service Architectures
R. Heckel, J. Küster, S. Thöne, H. Voigt, in: Proceedings of the 7th World Multiconference on Systemics, Cybernetics, and Informatics (SCI 2003), Orlando, FL (USA), 2003.
LibreCat
R. Heckel, J. Küster, S. Thöne, H. Voigt, in: Proceedings of the 7th World Multiconference on Systemics, Cybernetics, and Informatics (SCI 2003), Orlando, FL (USA), 2003.
2003 | Conference Paper | LibreCat-ID: 7913
Visualizing model mappings in UML
J. Hendrik Hausmann, S. Kent, in: Proceedings of the ACM Symposium on Software Visualization (SOFTVIS 2003), San Diego, CA (USA), ACM Press, New York, NY, USA, 2003, pp. 169–178.
LibreCat
J. Hendrik Hausmann, S. Kent, in: Proceedings of the ACM Symposium on Software Visualization (SOFTVIS 2003), San Diego, CA (USA), ACM Press, New York, NY, USA, 2003, pp. 169–178.
2003 | Conference Paper | LibreCat-ID: 7914
Model-Based Development of Web Applications Using Graphical Reaction Rules
R. Heckel, M. Lohmann, in: Proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland), Springer, Berlin/Heidelberg, 2003, pp. 170–183.
LibreCat
| DOI
R. Heckel, M. Lohmann, in: Proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland), Springer, Berlin/Heidelberg, 2003, pp. 170–183.
2003 | Conference Paper | LibreCat-ID: 7915
Dynamic Tool Integration in Heterogeneous Computer Networks
W. Mueller, T. Schattkowsky, H.-J. Eikerling, J. Wegner, in: Proceedings of the Conference on Design Automation and Test in Europe (DATE 2003), Munich (Germany), IEEE Computer Society, Washington, DC, USA, 2003, pp. 946–951.
LibreCat
| DOI
W. Mueller, T. Schattkowsky, H.-J. Eikerling, J. Wegner, in: Proceedings of the Conference on Design Automation and Test in Europe (DATE 2003), Munich (Germany), IEEE Computer Society, Washington, DC, USA, 2003, pp. 946–951.
2003 | Conference Paper | LibreCat-ID: 7916
Defining and Validating Transformations of UML Models
J. Küster, R. Heckel, G. Engels, in: Proceedings of the Conference on Human Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand), IEEE Computer Society, Washington, DC, USA, 2003, pp. 145–152.
LibreCat
| DOI
J. Küster, R. Heckel, G. Engels, in: Proceedings of the Conference on Human Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand), IEEE Computer Society, Washington, DC, USA, 2003, pp. 145–152.
2003 | Report | LibreCat-ID: 8213
Towards a Generic Model for AOP (GEMA)
K. Mehner, A. Rashid, Towards a Generic Model for AOP (GEMA), Lancaster University, Computing Department, United Kingdom, 2003.
LibreCat
K. Mehner, A. Rashid, Towards a Generic Model for AOP (GEMA), Lancaster University, Computing Department, United Kingdom, 2003.
2003 | Journal Article | LibreCat-ID: 7383
Zur Performanz der Überwachung von Methodenaufrufen mit der Java Platform Debugger Architecture (JPDA)
K. Mehner, Java Spektrum 6 (2003).
LibreCat
K. Mehner, Java Spektrum 6 (2003).
2003 | Journal Article | LibreCat-ID: 7384
eLearning-Plattformen für die Hochschule: Bedarfsgerechte Bestimmung der Anforderungen
G. Engels, J. Hendrik Hausmann, M. Lohmann, ForschungsForum Paderborn 6 (2003) 44–47.
LibreCat
G. Engels, J. Hendrik Hausmann, M. Lohmann, ForschungsForum Paderborn 6 (2003) 44–47.
2003 | Book Chapter | LibreCat-ID: 7530
Open Petri Nets as Semantic Model for Workflow Integration
R. Heckel, in: H. Ehrig, W. Reisig, H. Weber (Eds.), Petri Net Technology for Communication-Based Systems, Advances in Petri Nets, Springer, Berlin/Heidelberg, 2003, pp. 281–294.
LibreCat
| DOI
R. Heckel, in: H. Ehrig, W. Reisig, H. Weber (Eds.), Petri Net Technology for Communication-Based Systems, Advances in Petri Nets, Springer, Berlin/Heidelberg, 2003, pp. 281–294.
2003 | Book Chapter | LibreCat-ID: 7531
Modeling and Analysis of Agents' Goal-Driven Behavior Using Graph Transformation
R. Depke, R. Heckel, in: H.D. Ehrich, J.J. Meyer, M.D. Ryan (Eds.), Objects, Agents and Features - Structuring Mechanisms for Contemporary Software, Springer, Berlin/Heidelberg, 2003, pp. 81–97.
LibreCat
R. Depke, R. Heckel, in: H.D. Ehrich, J.J. Meyer, M.D. Ryan (Eds.), Objects, Agents and Features - Structuring Mechanisms for Contemporary Software, Springer, Berlin/Heidelberg, 2003, pp. 81–97.
2003 | Book Chapter | LibreCat-ID: 7532
Entwicklungsprozess von Web-Anwendungen
G. Engels, M. Lohmann, A. Wagner, in: G. Kappel, B. Proell, S. Reich, W. Retschnitzegger (Eds.), Web Engineering: Systematische Entwicklung von Web-Anwendungen, dpunkt-Verlag, Heidelberg, 2003, pp. 239–264.
LibreCat
G. Engels, M. Lohmann, A. Wagner, in: G. Kappel, B. Proell, S. Reich, W. Retschnitzegger (Eds.), Web Engineering: Systematische Entwicklung von Web-Anwendungen, dpunkt-Verlag, Heidelberg, 2003, pp. 239–264.
2003 | Conference Paper | LibreCat-ID: 8374
Design of an Agent-Oriented Modeling Language Based on Graph Transformation
R. Depke, J. Hendrik Hausmann, R. Heckel, in: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003), Charlottesville, VA (USA), Springer, Berlin/Heidelberg, 2003, pp. 106–119.
LibreCat
| DOI
R. Depke, J. Hendrik Hausmann, R. Heckel, in: Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003), Charlottesville, VA (USA), Springer, Berlin/Heidelberg, 2003, pp. 106–119.
2003 | Conference Paper | LibreCat-ID: 8375
Modeling and Analysis of Architectural Styles Based on Graph Transformation
L. Baresi, R. Heckel, S. Thöne, D. Varró, in: Proceedings of the 6th ICSE Workshop on Component Based Software Engineering: Automated Reasoning and Prediction (CBSE 2003), Portland, OR (USA), Carnegie Mellon University (USA), and Monash University (Australia), 2003, pp. 67–72.
LibreCat
L. Baresi, R. Heckel, S. Thöne, D. Varró, in: Proceedings of the 6th ICSE Workshop on Component Based Software Engineering: Automated Reasoning and Prediction (CBSE 2003), Portland, OR (USA), Carnegie Mellon University (USA), and Monash University (Australia), 2003, pp. 67–72.
2003 | Conference Paper | LibreCat-ID: 8376
Quality Ensuring Development of Software Processes
A. Förster, G. Engels, in: Proceeding of the 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki (Finland), Springer, Berlin/Heidelberg, 2003, pp. 62–73.
LibreCat
A. Förster, G. Engels, in: Proceeding of the 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki (Finland), Springer, Berlin/Heidelberg, 2003, pp. 62–73.
2003 | Conference Paper | LibreCat-ID: 8377
Towards Automatic Selection of Web Services Using Graph Transformation Rules
J. Hendrik Hausmann, R. Heckel, M. Lohmann, in: Proceeding of the Web Service Workshop (Berliner XML-Tage 2003), Berlin (Germany), XML-Clearinghouse, 2003, pp. 286–291.
LibreCat
J. Hendrik Hausmann, R. Heckel, M. Lohmann, in: Proceeding of the Web Service Workshop (Berliner XML-Tage 2003), Berlin (Germany), XML-Clearinghouse, 2003, pp. 286–291.
2003 | Conference Paper | LibreCat-ID: 8378
Towards a UML Profile for Service-Oriented Architectures
R. Heckel, M. Lohmann, S. Thöne, in: Proceedings of the Workshop on Model Driven Architecture: Foundations and Applications (MDAFA 2003), Enschede (The Netherlands), University of Twente, Enschede, The Netherlands, 2003, pp. 115–120.
LibreCat
| Download (ext.)
R. Heckel, M. Lohmann, S. Thöne, in: Proceedings of the Workshop on Model Driven Architecture: Foundations and Applications (MDAFA 2003), Enschede (The Netherlands), University of Twente, Enschede, The Netherlands, 2003, pp. 115–120.
2003 | Conference Paper | LibreCat-ID: 8379
Metamodeling Relations - Relating Metamodels
J. Hendrik Hausmann, in: Proceedings of the Metamodelling for MDA Workshop, York (UK), University of York, 2003, pp. 147–161.
LibreCat
J. Hendrik Hausmann, in: Proceedings of the Metamodelling for MDA Workshop, York (UK), University of York, 2003, pp. 147–161.
2003 | Conference Paper | LibreCat-ID: 8380
Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams
J. Hendrik Hausmann, R. Heckel, S. Sauer, 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), Elsevier, 2003, pp. 133–144.
LibreCat
| DOI
J. Hendrik Hausmann, R. Heckel, S. Sauer, 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), Elsevier, 2003, pp. 133–144.
2003 | Conference Paper | LibreCat-ID: 8381
Towards Model-Driven Testing
R. Heckel, M. Lohmann, in: Proceedings of the Workshop on Test and Analysis of Component Based Systems (TACoS 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland), Elsevier, Amsterdam, The Netherlands, 2003, pp. 33–43.
LibreCat
| DOI
R. Heckel, M. Lohmann, in: Proceedings of the Workshop on Test and Analysis of Component Based Systems (TACoS 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland), Elsevier, Amsterdam, The Netherlands, 2003, pp. 33–43.
2003 | Conference Paper | LibreCat-ID: 8382
Towards Explicit Behavioral Consistency Concepts in the UML
J. Küster, J. Stehr, in: Proceedings of 2nd ICSE Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (Portland, USA), 2003.
LibreCat
J. Küster, J. Stehr, in: Proceedings of 2nd ICSE Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (Portland, USA), 2003.
2003 | Conference Paper | LibreCat-ID: 8383
GEMA: A Generic Model for AOP
K. Mehner, A. Rashid, in: Proceedings of the Joint Belgian & Dutch AOP Workshop, Enschede (The Netherlands), University of Twente, 2003.
LibreCat
K. Mehner, A. Rashid, in: Proceedings of the Joint Belgian & Dutch AOP Workshop, Enschede (The Netherlands), University of Twente, 2003.
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
T. Schattkowsky, W. Müller, in: Proceedings of the Workshop on Challenges in Collaborative Engineering (CCE 2003), Poznan (Poland), 2003, pp. 15–16.
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
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.
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
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.
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
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.
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
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.
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
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.
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
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.
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
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.
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
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.
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
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.
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
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.
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
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.
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
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.
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
K. Mehner, in: Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany), Springer, Berlin/Heidelberg, 2002, pp. 163–175.
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
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.
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
A. Cherchago, in: Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA), ACTA Press, 2002.
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
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.
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
R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, Mathematical Structures in Computer Science 12 (2002) 349–376.
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
G. Engels, J. Küster, L. Groenewegen, Transactions of the SDPS: Journal of Integrated Design & Process Science 6 (2002) 2–22.
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
R. Depke, R. Heckel, J. Küster, Science of Computer Programming 44 (2002) 229–252.
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
E.-E. Doberkat, G. Engels, Informatik Forschung Und Entwicklung 1 (2002) 41–44.
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
A. Corradini, R. Heckel, U. Montanari, Theoretical Computer Science 280 (2002) 163–192.
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
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.
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
G. Engels, L. Groenewegen, in: Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 257–276.
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
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.
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
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.
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
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.
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
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.
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
R. Heckel, G. Engels, in: Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France), Elsevier, 2002, pp. 139–151.