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.
911 Publications
2008 | Journal Article | LibreCat-ID: 7372
Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes Testen
B. Güldali, S. Sauer, G. Engels, Softwaretechnik-Trends 28 (2008) 12–16.
LibreCat
B. Güldali, S. Sauer, G. Engels, Softwaretechnik-Trends 28 (2008) 12–16.
2008 | Journal Article | LibreCat-ID: 7373
Quasar Enterprise
G. Engels, M. Voß, Informatik-Spektrum 31 (2008) 548–555.
LibreCat
| DOI
G. Engels, M. Voß, Informatik-Spektrum 31 (2008) 548–555.
2008 | Book | LibreCat-ID: 7508
Quasar Enterprise: Anwendungslandschaften serviceorientiert gestalten
G. Engels, A. Hess, B. Humm, O. Juwig, M. Lohmann, J.-P. Richter, M. Voß, J. Willkomm, Quasar Enterprise: Anwendungslandschaften Serviceorientiert Gestalten, dpunkt-Verlag, München, 2008.
LibreCat
G. Engels, A. Hess, B. Humm, O. Juwig, M. Lohmann, J.-P. Richter, M. Voß, J. Willkomm, Quasar Enterprise: Anwendungslandschaften Serviceorientiert Gestalten, dpunkt-Verlag, München, 2008.
2008 | Book Chapter | LibreCat-ID: 7553
Open Source Stacks
F. Christ, S. Sauer, in: M. Asche, W. Bauhus, B. Kaddatz and B. Seel (Ed.), Open Source: Kommerzialisierungsmöglichkeiten Und Chancen Für Die Zusammenarbeit von Hochschulen Und Unternehmen, Waxmann Verlag, 2008, pp. 133–154.
LibreCat
F. Christ, S. Sauer, in: M. Asche, W. Bauhus, B. Kaddatz and B. Seel (Ed.), Open Source: Kommerzialisierungsmöglichkeiten Und Chancen Für Die Zusammenarbeit von Hochschulen Und Unternehmen, Waxmann Verlag, 2008, pp. 133–154.
2008 | Book Chapter | LibreCat-ID: 7554
Eintrag "Modellierungssprache"
G. Engels, in: K. Kurbel, J. Becker, N. Gronau, E. Sinz, L. Suhl (Ed.), Enzyklopädie Der Wirtschaftsinformatik, Oldenbourg Wissenschaftsverlag, 2008.
LibreCat
G. Engels, in: K. Kurbel, J. Becker, N. Gronau, E. Sinz, L. Suhl (Ed.), Enzyklopädie Der Wirtschaftsinformatik, Oldenbourg Wissenschaftsverlag, 2008.
2008 | Conference Paper | LibreCat-ID: 8427
Modellbasierter Komponententest mit visuellen Kontrakten
J. Ellerweg, G. Engels, B. Güldali, in: INFORMATIK 2008, Beherrschbare Systeme - Dank Informatik, Band 1, Beiträge Der 38. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Gesellschaft für Informatik (GI), Bonn, 2008, pp. 211–214.
LibreCat
J. Ellerweg, G. Engels, B. Güldali, in: INFORMATIK 2008, Beherrschbare Systeme - Dank Informatik, Band 1, Beiträge Der 38. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Gesellschaft für Informatik (GI), Bonn, 2008, pp. 211–214.
2008 | Conference Paper | LibreCat-ID: 8428
Modellierung von Variabilität in der Geschäftsanalyse – eine industrielle Fallstudie
T. von der Maßen, A. Wübbeke, in: Produktlinien Im Kontext: Technologie, Prozesse, Business Und Organisation (PiK 2008), Gesellschaft für Informatik (GI), Bonn, 2008, pp. 285–296.
LibreCat
T. von der Maßen, A. Wübbeke, in: Produktlinien Im Kontext: Technologie, Prozesse, Business Und Organisation (PiK 2008), Gesellschaft für Informatik (GI), Bonn, 2008, pp. 285–296.
2008 | Conference Paper | LibreCat-ID: 8429
A Tool for Process Merging in Business-Driven Development
J. Küster, C. Gerth, A. Förster, G. Engels, in: Proceedings of the Forum at the CAiSE’08 Conference on Advanced Information Systems Engineering, CEUR-WS.org, 2008, pp. 89–92.
LibreCat
| DOI
| Download (ext.)
J. Küster, C. Gerth, A. Förster, G. Engels, in: Proceedings of the Forum at the CAiSE’08 Conference on Advanced Information Systems Engineering, CEUR-WS.org, 2008, pp. 89–92.
2008 | Conference Paper | LibreCat-ID: 8430
UML and IP-XACT for Integrated SPRINT IP Management
T. Schattkowsky, T. Xie, in: Proceedings of the 5th International UML for SoC Design Workshop (UML-SoC 2008), Anaheim, CA (USA), 2008.
LibreCat
T. Schattkowsky, T. Xie, in: Proceedings of the 5th International UML for SoC Design Workshop (UML-SoC 2008), Anaheim, CA (USA), 2008.
2007 | Conference (Editor) | LibreCat-ID: 7778
Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2007), Nashville, TN (USA)
G. Engels, B. Opdyke, D. C. Schmidt, F. Weil, eds., Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2007), Nashville, TN (USA), Springer, Berlin/Heidelberg, 2007.
LibreCat
| DOI
G. Engels, B. Opdyke, D. C. Schmidt, F. Weil, eds., Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2007), Nashville, TN (USA), Springer, Berlin/Heidelberg, 2007.
2007 | Conference (Editor) | LibreCat-ID: 7779
Proceedings of the MoDELS 2007 Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI '07), Nashville, Tennessee (USA)
A. Pleuß, J. Van den Bergh, H. Hußmann, S. Sauer, D. Görlich, eds., Proceedings of the MoDELS 2007 Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI ’07), Nashville, Tennessee (USA), University of Aachen, 2007.
LibreCat
A. Pleuß, J. Van den Bergh, H. Hußmann, S. Sauer, D. Görlich, eds., Proceedings of the MoDELS 2007 Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI ’07), Nashville, Tennessee (USA), University of Aachen, 2007.
2007 | Conference Paper | LibreCat-ID: 7958
A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency
T. Schattkowsky, G. Engels, A. Förster, in: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS 2007), IEEE Computer Society, Washington, DC, USA, 2007, p. 286ff.
LibreCat
| DOI
T. Schattkowsky, G. Engels, A. Förster, in: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS 2007), IEEE Computer Society, Washington, DC, USA, 2007, p. 286ff.
2007 | Conference Paper | LibreCat-ID: 7960
Generation of Business Process Models for Object Life Cycle Compliance
J. Küster, K. Ryndina, H. Gall, in: Proceedings of the Conference on Business Process Management (BPM 2007), Brisbane (Australia), Springer, Berlin/Heidelberg, 2007, pp. 165–181.
LibreCat
| DOI
J. Küster, K. Ryndina, H. Gall, in: Proceedings of the Conference on Business Process Management (BPM 2007), Brisbane (Australia), Springer, Berlin/Heidelberg, 2007, pp. 165–181.
2007 | Conference Paper | LibreCat-ID: 7961
Model Driven Development of Advanced User Interfaces (MDDAUI) - MDDAUI'06 Workshop Report
A. Pleuß, J. Van den Bergh, S. Sauer, H. Hußmann, A. Bödcher, in: MoDELS 2006 Workshops, Springer, Berlin/Heidelberg, 2007, pp. 101–105.
LibreCat
| DOI
A. Pleuß, J. Van den Bergh, S. Sauer, H. Hußmann, A. Bödcher, in: MoDELS 2006 Workshops, Springer, Berlin/Heidelberg, 2007, pp. 101–105.
2007 | Conference Paper | LibreCat-ID: 7962
Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder
S. Sauer, G. Engels, in: Proceeding of the 4th International Conference on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing (China), Springer, Berlin/Heidelberg, 2007, pp. 537–546.
LibreCat
| DOI
S. Sauer, G. Engels, in: Proceeding of the 4th International Conference on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing (China), Springer, Berlin/Heidelberg, 2007, pp. 537–546.
2007 | Conference Paper | LibreCat-ID: 7963
ClassSheets - model-based, object-oriented design of spreadsheet applications
J.-C. Bals, F. Christ, G. Engels, M. Erwig, in: Proceedings of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss), Journal of Object Technology, 2007, pp. 383–398.
LibreCat
| DOI
J.-C. Bals, F. Christ, G. Engels, M. Erwig, in: Proceedings of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss), Journal of Object Technology, 2007, pp. 383–398.
2007 | Conference Paper | LibreCat-ID: 7964
KnowledgeBus - An Architecture to Support Intelligent and Flexible Knowledge Management
M. Mlynarski, K. Hinkelmann, J. Magenheim, T. Nelkner, W. Reinhardt, K. Holzweissig, in: Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007, Springer, Berlin/Heidelberg, 2007, pp. 487–492.
LibreCat
M. Mlynarski, K. Hinkelmann, J. Magenheim, T. Nelkner, W. Reinhardt, K. Holzweissig, in: Creating New Learning Experiences on a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007, Springer, Berlin/Heidelberg, 2007, pp. 487–492.
2007 | Conference Paper | LibreCat-ID: 7965
Verification of Business Process Quality Constraints Based on Visual Process Patterns
A. Förster, G. Engels, T. Schattkowsky, R. Van Der Straeten, in: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China), IEEE Computer Society, Washington, DC, USA, 2007, pp. 197–208.
LibreCat
| DOI
A. Förster, G. Engels, T. Schattkowsky, R. Van Der Straeten, in: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China), IEEE Computer Society, Washington, DC, USA, 2007, pp. 197–208.
2007 | Conference Paper | LibreCat-ID: 7966
Structuring Software Cities - A Multidimensional Approach
A. Hess, B. Humm, M. Voß, G. Engels, in: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), IEEE Computer Society, Washington, DC, USA, 2007, pp. 122–129.
LibreCat
A. Hess, B. Humm, M. Voß, G. Engels, in: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), IEEE Computer Society, Washington, DC, USA, 2007, pp. 122–129.
2007 | Conference Paper | LibreCat-ID: 7967
Vom Informations- zum Wissensmanagement: Der Knowledge Bus als flexibler Lösungsansatz
M. Mlynarski, T. Nelkner, W. Reinhardt, in: Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. Und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn, 2007, pp. 99–102.
LibreCat
M. Mlynarski, T. Nelkner, W. Reinhardt, in: Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. Und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn, 2007, pp. 99–102.
2007 | Conference Paper | LibreCat-ID: 7968
Improving Inconsistency Resolution with Side-effect Evaluation and Costs
J. Küster, K. Ryndina, H. Gall, in: Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA), Springer, Berlin/Heidelberg, 2007, pp. 136–150.
LibreCat
| DOI
J. Küster, K. Ryndina, H. Gall, in: Proceedings of the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA), Springer, Berlin/Heidelberg, 2007, pp. 136–150.
2007 | Conference Paper | LibreCat-ID: 7969
Generation of Business Process Models for Object Life Cycle Compliance
K. Ryndina, J. Küster, H. Gall, in: Proceedings of the BPM Demonstration Program (Satellite Event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia), Springer, Berlin/Heidelberg, 2007, pp. 165–181.
LibreCat
| DOI
K. Ryndina, J. Küster, H. Gall, in: Proceedings of the BPM Demonstration Program (Satellite Event of the 5th International Conference on Business Process Management (BPM 2007)), Brisbane (Australia), Springer, Berlin/Heidelberg, 2007, pp. 165–181.
2007 | Conference Paper | LibreCat-ID: 7970
Smart Teams: Simulating Large Robotic Swarms in Vast Environments
S. Arens, A. Buss, H. Deck, M. Dynia, M. Fischer, H. Hagedorn, P. Isaak, J. Kutylowski, F. Meyer auf der Heide, V. Nesterow, A. Ogiermann, B. Stobbe, T. Storm, H. Wachsmuth, in: Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment, Heinz Nixdorf Institut, University of Paderborn, Buenos Aires, Argentina, 2007, pp. 215–222.
LibreCat
| Download (ext.)
S. Arens, A. Buss, H. Deck, M. Dynia, M. Fischer, H. Hagedorn, P. Isaak, J. Kutylowski, F. Meyer auf der Heide, V. Nesterow, A. Ogiermann, B. Stobbe, T. Storm, H. Wachsmuth, in: Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment, Heinz Nixdorf Institut, University of Paderborn, Buenos Aires, Argentina, 2007, pp. 215–222.
2007 | Conference Paper | LibreCat-ID: 7971
Reusable Architectural Decision Models for Enterprise Application Development
O. Zimmermann, T. Gschwind, J. Küster, F. Leymann, N. Schuster, in: Proceedings the Conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA), Springer, Berlin/Heidelberg, 2007, pp. 15–32.
LibreCat
| DOI
O. Zimmermann, T. Gschwind, J. Küster, F. Leymann, N. Schuster, in: Proceedings the Conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA), Springer, Berlin/Heidelberg, 2007, pp. 15–32.
2007 | Report | LibreCat-ID: 8216
"Modelchecking" - Eine Methode zur Verbesserung der Softwarequalität
M. Gehrke, B. Güldali, E. Kindler, “Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität, University of Paderborn, s-lab, 2007.
LibreCat
M. Gehrke, B. Güldali, E. Kindler, “Modelchecking” - Eine Methode Zur Verbesserung Der Softwarequalität, University of Paderborn, s-lab, 2007.
2007 | Journal Article | LibreCat-ID: 7374
Structural and Behavioural Compatibility of Graphical Service Specifications
R. Heckel, A. Cherchago, Logic and Algebraic Programming 70 (2007) 15–33.
LibreCat
R. Heckel, A. Cherchago, Logic and Algebraic Programming 70 (2007) 15–33.
2007 | Journal Article | LibreCat-ID: 7375
Software-Qualität - überall! - Excel-lente Software
J.-C. Bals, F. Christ, G. Engels, S. Sauer, Forschungsforum Paderborn 10 (2007) 56–60.
LibreCat
J.-C. Bals, F. Christ, G. Engels, S. Sauer, Forschungsforum Paderborn 10 (2007) 56–60.
2007 | Book Chapter | LibreCat-ID: 7551
A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services
M. Lohmann, L. Mariani, R. Heckel, in: L. Baresi, E. Di Nitto (Ed.), Test and Analysis of Web Services, Springer, Berlin/Heidelberg, 2007, pp. 173–204.
LibreCat
M. Lohmann, L. Mariani, R. Heckel, in: L. Baresi, E. Di Nitto (Ed.), Test and Analysis of Web Services, Springer, Berlin/Heidelberg, 2007, pp. 173–204.
2007 | Dissertation | LibreCat-ID: 7579
Architectural Style-based Modeling and Simulation of Middleware for Mobile Systems
P. Guo, Architectural Style-Based Modeling and Simulation of Middleware for Mobile Systems, 2007.
LibreCat
P. Guo, Architectural Style-Based Modeling and Simulation of Middleware for Mobile Systems, 2007.
2007 | Conference Paper | LibreCat-ID: 8413
Analysis of Model Transformations via Alloy
K. Anastasakis, B. Bordbar, J. Küster, in: Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA), Springer, Berlin/Heidelberg, 2007, pp. 47–56.
LibreCat
K. Anastasakis, B. Bordbar, J. Küster, in: Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA), Springer, Berlin/Heidelberg, 2007, pp. 47–56.
2007 | Conference Paper | LibreCat-ID: 8414
Towards Model-Driven Unit Testing
G. Engels, B. Güldali, M. Lohmann, in: Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006), Springer, Berlin/Heidelberg, 2007, pp. 182–192.
LibreCat
| DOI
G. Engels, B. Güldali, M. Lohmann, in: Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006), Springer, Berlin/Heidelberg, 2007, pp. 182–192.
2007 | Conference Paper | LibreCat-ID: 8415
Analysis of UML Activities with Dynamic Meta Modeling Techniques
C. Soltenborn, G. Engels, in: Symposium “A Formal Semantics for UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy), Springer, Berlin/Heidelberg, 2007, pp. 329–330.
LibreCat
| DOI
C. Soltenborn, G. Engels, in: Symposium “A Formal Semantics for UML” (Satellite Event of the MoDELS Conference 2006), Genova (Italy), Springer, Berlin/Heidelberg, 2007, pp. 329–330.
2007 | Conference Paper | LibreCat-ID: 8416
Consistency of Business Process Models and Object Life Cycles
K. Ryndina, J. Küster, H. Gall, in: Models in Software Engineering (1st Workshop on Quality in Modeling at MoDELS 2006, Genoa (Italy)), Springer, Berlin/Heidelberg, 2007, pp. 80–90.
LibreCat
| DOI
K. Ryndina, J. Küster, H. Gall, in: Models in Software Engineering (1st Workshop on Quality in Modeling at MoDELS 2006, Genoa (Italy)), Springer, Berlin/Heidelberg, 2007, pp. 80–90.
2007 | Conference Paper | LibreCat-ID: 8417
On the Pitfalls of UML Activity Modeling
T. Schattkowsky, A. Förster, in: Proceedings of the ICSE Workshop on Modeling in Software Engineering (MISE 2007), Minneapolis, MN (USA), IEEE Computer Society, Los Alamitos, CA, USA, 2007, p. 8.
LibreCat
| DOI
T. Schattkowsky, A. Förster, in: Proceedings of the ICSE Workshop on Modeling in Software Engineering (MISE 2007), Minneapolis, MN (USA), IEEE Computer Society, Los Alamitos, CA, USA, 2007, p. 8.
2006 | Conference (Editor) | LibreCat-ID: 7780
Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2006 conference
A. Pleuß, J. Van den Bergh, H. Hußmann, S. Sauer, A. Bödcher, eds., Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, Satellite of the MoDELS 2006 Conference, CEUR-WS.org, 2006.
LibreCat
A. Pleuß, J. Van den Bergh, H. Hußmann, S. Sauer, A. Bödcher, eds., Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, Satellite of the MoDELS 2006 Conference, CEUR-WS.org, 2006.
2006 | Conference Paper | LibreCat-ID: 7947
Fairness Considerations in Replication and Placement Strategies for large Documents in heterogeneous Content Delivery Networks
C. Loeser, G. Schomaker, M. Schubert, T. Schattkowsky, in: Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius), IEEE Computer Society, Washington, DC, USA, 2006, p. 105.
LibreCat
| DOI
C. Loeser, G. Schomaker, M. Schubert, T. Schattkowsky, in: Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius), IEEE Computer Society, Washington, DC, USA, 2006, p. 105.
2006 | Conference Paper | LibreCat-ID: 7948
Secure Storage for Physically Exposed Web- and Application Servers
T. Schattkowsky, A. Förster, C. Loeser, in: Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius), IEEE Computer Society, Washington, DC, USA, 2006, p. 86.
LibreCat
T. Schattkowsky, A. Förster, C. Loeser, in: Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius), IEEE Computer Society, Washington, DC, USA, 2006, p. 86.
2006 | Conference Paper | LibreCat-ID: 7949
Using UML Activities for System-on-Chip Design and Synthesis
T. Schattkowsky, J. Hendrik Hausmann, G. Engels, in: Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy), Springer, Berlin/Heidelberg, 2006, pp. 737–752.
LibreCat
| DOI
T. Schattkowsky, J. Hendrik Hausmann, G. Engels, in: Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy), Springer, Berlin/Heidelberg, 2006, pp. 737–752.
2006 | Conference Paper | LibreCat-ID: 7950
Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI)
A. Pleuß, J. Van den Bergh, S. Sauer, H. Hußmann, in: Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica), Springer, Berlin/Heidelberg, 2006, pp. 182–190.
LibreCat
| DOI
A. Pleuß, J. Van den Bergh, S. Sauer, H. Hußmann, in: Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Revised Selected Papers, Montego Bay (Jamaica), Springer, Berlin/Heidelberg, 2006, pp. 182–190.
2006 | Conference Paper | LibreCat-ID: 7951
Generating Instance Models from Meta Models
K. Ehrig, G. Taentzer, J. Küster, J. Winkelmann, in: Proceedings of the Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy), Springer, Berlin/Heidelberg, 2006, pp. 156–170.
LibreCat
| DOI
K. Ehrig, G. Taentzer, J. Küster, J. Winkelmann, in: Proceedings of the Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna (Italy), Springer, Berlin/Heidelberg, 2006, pp. 156–170.
2006 | Conference Paper | LibreCat-ID: 7952
Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows
R. Hauser, M. Friess, J. Küster, J. Vanhatalo, in: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), IEEE Computer Society, Washington, DC, USA, 2006, pp. 129–140.
LibreCat
| DOI
R. Hauser, M. Friess, J. Küster, J. Vanhatalo, in: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), IEEE Computer Society, Washington, DC, USA, 2006, pp. 129–140.
2006 | Conference Paper | LibreCat-ID: 7953
Teaching UML Is Teaching Software Engineering Is Teaching Abstraction
G. Engels, J. Hendrik Hausmann, M. Lohmann, S. Sauer, in: Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica), Springer, Berlin/Heidelberg, 2006, pp. 306–319.
LibreCat
G. Engels, J. Hendrik Hausmann, M. Lohmann, S. Sauer, in: Proceedings of the Satellite Events at the MoDELS 2005 Conference, Montego Bay (Jamaica), Springer, Berlin/Heidelberg, 2006, pp. 306–319.
2006 | Conference Paper | LibreCat-ID: 7954
Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract
G. Engels, M. Lohmann, S. Sauer, R. Heckel, in: Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil), Springer, Berlin/Heidelberg, 2006, pp. 336–350.
LibreCat
| DOI
G. Engels, M. Lohmann, S. Sauer, R. Heckel, in: Proceedings of the 3rd International Conference on Graph Transformation (ICGT 2006), Natal (Brazil), Springer, Berlin/Heidelberg, 2006, pp. 336–350.
2006 | Conference Paper | LibreCat-ID: 7955
A Pattern-driven Development Process for Quality Standard-conforming Business Process Models
A. Förster, T. Schattkowsky, G. Engels, R. Van Der Straeten, in: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK), IEEE Computer Society, Washington, DC, USA, 2006, pp. 135–142.
LibreCat
A. Förster, T. Schattkowsky, G. Engels, R. Van Der Straeten, in: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK), IEEE Computer Society, Washington, DC, USA, 2006, pp. 135–142.
2006 | Conference Paper | LibreCat-ID: 7956
Model-driven Monitoring: Generating Assertions from Visual Contracts
M. Lohmann, G. Engels, S. Sauer, in: Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan), IEEE Computer Society, Los Alamitos, CA, USA, 2006, pp. 355–356.
LibreCat
| DOI
M. Lohmann, G. Engels, S. Sauer, in: Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE 06), Tokyo (Japan), IEEE Computer Society, Los Alamitos, CA, USA, 2006, pp. 355–356.
2006 | Conference Paper | LibreCat-ID: 7957
Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten Architekturen
G. Engels, B. Güldali, O. Juwig, M. Lohmann, J.-P. Richter, in: Proceedings of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany), Gesellschaft für Informatik (GI), Bonn, 2006, pp. 111–122.
LibreCat
| DOI
G. Engels, B. Güldali, O. Juwig, M. Lohmann, J.-P. Richter, in: Proceedings of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2006), Leipzig (Germany), Gesellschaft für Informatik (GI), Bonn, 2006, pp. 111–122.
2006 | Report | LibreCat-ID: 8215
Semantische Beschreibung von Enterprise Services – Eine industrielle Fallstudie
M. Lohmann, J.-P. Richter, G. Engels, B. Güldali, O. Juwig, S. Sauer, Semantische Beschreibung von Enterprise Services – Eine Industrielle Fallstudie, University of Paderborn, s-lab, 2006.
LibreCat
M. Lohmann, J.-P. Richter, G. Engels, B. Güldali, O. Juwig, S. Sauer, Semantische Beschreibung von Enterprise Services – Eine Industrielle Fallstudie, University of Paderborn, s-lab, 2006.
2006 | Journal Article | LibreCat-ID: 7376
Model-Driven Development of Reactive Information Systems: From Graph Transformation Rules to JML Contracts
R. Heckel, M. Lohmann, International Journal on Software Tools for Technology Transfer (STTT) 9 (2006) 193–207.
LibreCat
R. Heckel, M. Lohmann, International Journal on Software Tools for Technology Transfer (STTT) 9 (2006) 193–207.
2006 | Journal Article | LibreCat-ID: 7377
Definition and Validation of Model Transformations
J. Küster, Software and Systems Modeling 5 (2006) 233–259.
LibreCat
| DOI
J. Küster, Software and Systems Modeling 5 (2006) 233–259.
2006 | Book Chapter | LibreCat-ID: 7549
The Web Application Development Process
G. Engels, M. Lohmann, A. Wagner, in: G. Kappel, B. Pröll, S. Reich, W. Retschitzegger (Ed.), Web Engineering: The Discipline of Systematic Development of Web Applications, Wiley, 2006.
LibreCat
G. Engels, M. Lohmann, A. Wagner, in: G. Kappel, B. Pröll, S. Reich, W. Retschitzegger (Ed.), Web Engineering: The Discipline of Systematic Development of Web Applications, Wiley, 2006.
2006 | Dissertation | LibreCat-ID: 7580
Kontraktbasierte Modellierung, Implementierung und Suche von Komponenten in serviceorientierten Architekturen
M. Lohmann, Kontraktbasierte Modellierung, Implementierung Und Suche von Komponenten in Serviceorientierten Architekturen, 2006.
LibreCat
M. Lohmann, Kontraktbasierte Modellierung, Implementierung Und Suche von Komponenten in Serviceorientierten Architekturen, 2006.
2006 | Dissertation | LibreCat-ID: 7581
Service Specification and Matching Based on Graph Transformation
A. Cherchago, Service Specification and Matching Based on Graph Transformation, 2006.
LibreCat
A. Cherchago, Service Specification and Matching Based on Graph Transformation, 2006.
2006 | Conference Paper | LibreCat-ID: 8404
Design Space Exploration through Interactive Model Mappings for UML-based Specifications
T. Schattkowsky, A. Rettberg, R. Dömer, in: Proceedings of the 3rd UML for SoC Design Workshop (Satellite Event of the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA), 2006, pp. 25–28.
LibreCat
T. Schattkowsky, A. Rettberg, R. Dömer, in: Proceedings of the 3rd UML for SoC Design Workshop (Satellite Event of the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA), 2006, pp. 25–28.
2006 | Conference Paper | LibreCat-ID: 8405
Towards Model-Driven Unit Testing
G. Engels, B. Güldali, M. Lohmann, in: Proceedings of the Workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France), Le Commissariat à l’Energie Atomique - CEA, Berlin / Heidelberg, 2006, pp. 16–29.
LibreCat
G. Engels, B. Güldali, M. Lohmann, in: Proceedings of the Workshop on Model Design and Validation (MoDeVa 2006), Toulouse (France), Le Commissariat à l’Energie Atomique - CEA, Berlin / Heidelberg, 2006, pp. 16–29.
2006 | Conference Paper | LibreCat-ID: 8406
Multi-Private Public Partnership (MPPP) - Softwaretechnik auf dem Weg in die Industrie
G. Engels, M. Gehrke, S. Sauer, in: Proceedings of the Workshop on Vernetzung von Software Engineering Expertise in Industrie Und Forschung (VSEEIF, Satellite Event of the Informatik 2006 - Informatik Für Menschen), Gesellschaft für Informatik (GI), Bonn, 2006, pp. 281–287.
LibreCat
G. Engels, M. Gehrke, S. Sauer, in: Proceedings of the Workshop on Vernetzung von Software Engineering Expertise in Industrie Und Forschung (VSEEIF, Satellite Event of the Informatik 2006 - Informatik Für Menschen), Gesellschaft für Informatik (GI), Bonn, 2006, pp. 281–287.
2006 | Conference Paper | LibreCat-ID: 8407
Use Case Points in der industriellen Praxis
S. Frohnhoff, V. Jung, G. Engels, in: Proceedings of the International Workshop on Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany), Magdeburger Schriften zum Empirischen Software-Engineering, 2006, pp. 511–526.
LibreCat
S. Frohnhoff, V. Jung, G. Engels, in: Proceedings of the International Workshop on Software Metrics and DASMA Software Metrik Kongress (IWSM/MetriKon 2006), Potsdam (Germany), Magdeburger Schriften zum Empirischen Software-Engineering, 2006, pp. 511–526.
2006 | Conference Paper | LibreCat-ID: 8408
The Role of Visual Modeling and Model Transformations in Business-driven Development
J. Koehler, R. Hauser, J. Küster, K. Ryndina, J. Vanhatalo, M. Wahler, in: Proceedings of the 5th International Workshop on Graph Transformation and Visual Modeling Techniques, Elsevier, Amsterdam, The Netherlands, 2006, pp. 5–15.
LibreCat
| DOI
J. Koehler, R. Hauser, J. Küster, K. Ryndina, J. Vanhatalo, M. Wahler, in: Proceedings of the 5th International Workshop on Graph Transformation and Visual Modeling Techniques, Elsevier, Amsterdam, The Netherlands, 2006, pp. 5–15.
2006 | Conference Paper | LibreCat-ID: 8409
Validation of Model Transformations - First Experiences using a White Box Approach
J. Küster, M. Abd-El-Razik, in: Proceedings of the Workshop on Model Design and Validation (MoDeV2a 2006), Toulouse (France), Springer, Berlin/Heidelberg, 2006, pp. 62–77.
LibreCat
| DOI
J. Küster, M. Abd-El-Razik, in: Proceedings of the Workshop on Model Design and Validation (MoDeV2a 2006), Toulouse (France), Springer, Berlin/Heidelberg, 2006, pp. 62–77.
2006 | Conference Paper | LibreCat-ID: 8410
Improving Business Process Models with Reference Models in Business-Driven Development
J. Küster, J. Koehler, K. Ryndina, in: 2nd Workshop on Business Processes Design (BPD’06), Springer, Berlin/Heidelberg, 2006, pp. 35–44.
LibreCat
| DOI
J. Küster, J. Koehler, K. Ryndina, in: 2nd Workshop on Business Processes Design (BPD’06), Springer, Berlin/Heidelberg, 2006, pp. 35–44.
2006 | Conference Paper | LibreCat-ID: 8411
GuiBuilder - A Tool for Model-Driven Development of Multimedia User Interfaces
S. Sauer, M. Dürksen, A. Gebel, D. Hannwacker, in: Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2006), Genova (Italy), CEUR Workshop Proceedings, Aachen, Germany, 2006.
LibreCat
S. Sauer, M. Dürksen, A. Gebel, D. Hannwacker, in: Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2006), Genova (Italy), CEUR Workshop Proceedings, Aachen, Germany, 2006.
2006 | Conference Paper | LibreCat-ID: 8412
Capturing Implementation Aspects in UML-based Functional Specifications
T. Schattkowsky, in: Proceedings of the 2nd Workshop on Aspect-Oriented Software Development (Satellite Event of the International Conference on Automated Software Engineering, ASE 2006), Tokyo (Japan), IEEE Computer Society, Tokyo, Japan, 2006, pp. 30–34.
LibreCat
T. Schattkowsky, in: Proceedings of the 2nd Workshop on Aspect-Oriented Software Development (Satellite Event of the International Conference on Automated Software Engineering, ASE 2006), Tokyo (Japan), IEEE Computer Society, Tokyo, Japan, 2006, pp. 30–34.
2005 | Conference (Editor) | LibreCat-ID: 7781
Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, satellite of the MoDELS 2005 conference
S. Sauer, ed., Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, Satellite of the MoDELS 2005 Conference, CEUR-WS.org, 2005.
LibreCat
S. Sauer, ed., Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, Satellite of the MoDELS 2005 Conference, CEUR-WS.org, 2005.
2005 | Conference Paper | LibreCat-ID: 7934
Towards a Formal Semantics of UML 2.0 Activities
H. Störrle, J. Hendrik Hausmann, in: Software Engineering, Gesellschaft für Informatik (GI), Bonn, 2005, pp. 117–128.
LibreCat
H. Störrle, J. Hendrik Hausmann, in: Software Engineering, Gesellschaft für Informatik (GI), Bonn, 2005, pp. 117–128.
2005 | Conference Paper | LibreCat-ID: 7935
A holistic approach to test-driven model checking
F. Belli, B. Güldali, in: Proceedings of the Conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy), Springer, Berlin/Heidelberg, 2005, pp. 321–331.
LibreCat
F. Belli, B. Güldali, in: Proceedings of the Conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy), Springer, Berlin/Heidelberg, 2005, pp. 321–331.
2005 | Conference Paper | LibreCat-ID: 7936
ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications
G. Engels, M. Erwig, in: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA), ACM Press, New York, NY, USA, 2005, pp. 124–133.
LibreCat
G. Engels, M. Erwig, in: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA), ACM Press, New York, NY, USA, 2005, pp. 124–133.
2005 | Conference Paper | LibreCat-ID: 7937
Activity Diagram Patterns for Modeling Quality Constraints in Business Processes
A. Förster, G. Engels, T. Schattkowsky, in: Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica), Springer, Berlin/Heidelberg, 2005, pp. 2–16.
LibreCat
A. Förster, G. Engels, T. Schattkowsky, in: Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica), Springer, Berlin/Heidelberg, 2005, pp. 2–16.
2005 | Conference Paper | LibreCat-ID: 7938
Architectural Style - Based Modeling and Simulation of Complex Software Systems
P. Guo, G. Engels, R. Heckel, in: Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei (Taiwan), IEEE Computer Society, Washington, DC, USA, 2005, pp. 367–374.
LibreCat
| DOI
P. Guo, G. Engels, R. Heckel, in: Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei (Taiwan), IEEE Computer Society, Washington, DC, USA, 2005, pp. 367–374.
2005 | Conference Paper | LibreCat-ID: 7939
Executable Visual Contracts
M. Lohmann, S. Sauer, G. Engels, in: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), IEEE Computer Society, Washington, DC, USA, 2005, pp. 63–70.
LibreCat
| DOI
M. Lohmann, S. Sauer, G. Engels, in: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), IEEE Computer Society, Washington, DC, USA, 2005, pp. 63–70.
2005 | Conference Paper | LibreCat-ID: 7940
d³FACT insight: A motion planning algorithm for material flow simulations in virtual environments
K. Mahajan, C. Laroque, W. Dangelmaier, C. Soltenborn, M. Kortenjan, D. Kuntze, in: Proceedings of the Conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany), SCS European Publishing House, Erlangen, 2005, pp. 115–126.
LibreCat
K. Mahajan, C. Laroque, W. Dangelmaier, C. Soltenborn, M. Kortenjan, D. Kuntze, in: Proceedings of the Conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany), SCS European Publishing House, Erlangen, 2005, pp. 115–126.
2005 | Conference Paper | LibreCat-ID: 7941
A UML Virtual Machine for Embedded Systems
T. Schattkowsky, W. Müller, in: Proceedings of the International Conference on Information Systems - New Generations (ISNG 2005), Las Vegas, NV (USA), 2005.
LibreCat
T. Schattkowsky, W. Müller, in: Proceedings of the International Conference on Information Systems - New Generations (ISNG 2005), Las Vegas, NV (USA), 2005.
2005 | Conference Paper | LibreCat-ID: 7942
Transformation of UML StateMachines for Direct Execution
T. Schattkowsky, W. Müller, in: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), Dallas, TX (USA), IEEE Computer Society, Washington, DC, USA, 2005, pp. 117–124.
LibreCat
| DOI
T. Schattkowsky, W. Müller, in: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), Dallas, TX (USA), IEEE Computer Society, Washington, DC, USA, 2005, pp. 117–124.
2005 | Conference Paper | LibreCat-ID: 7943
Discovery and Routing in the HEN Heterogeneous Peer-to-Peer Network
T. Schattkowsky, in: Proceedings of the 4th International Conference on Networking (ICN 2005), Reunion Island (France), Springer, Berlin/Heidelberg, 2005, pp. 653–661.
LibreCat
| DOI
T. Schattkowsky, in: Proceedings of the 4th International Conference on Networking (ICN 2005), Reunion Island (France), Springer, Berlin/Heidelberg, 2005, pp. 653–661.
2005 | Conference Paper | LibreCat-ID: 7944
A Generic Component Framework for High Performance Locally Concurrent Computing Based on UML 2.0 Activities
T. Schattkowsky, A. Förster, in: Proceedings of the 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS 2005), IEEE Computer Society, Washington, DC, USA, 2005, pp. 3–10.
LibreCat
T. Schattkowsky, A. Förster, in: Proceedings of the 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS 2005), IEEE Computer Society, Washington, DC, USA, 2005, pp. 3–10.
2005 | Conference Paper | LibreCat-ID: 7945
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware
T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2005), Munich (Germany), IEEE Computer Society, Washington, DC, USA, 2005, pp. 692–697.
LibreCat
| DOI
T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2005), Munich (Germany), IEEE Computer Society, Washington, DC, USA, 2005, pp. 692–697.
2005 | Conference Paper | LibreCat-ID: 7946
UML 2.0 - Overview and Perspectives in SoC Design
T. Schattkowsky, in: Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2005), Munich (Germany), IEEE Computer Society, Washington, DC, USA, 2005, pp. 832–833.
LibreCat
| DOI
T. Schattkowsky, in: Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2005), Munich (Germany), IEEE Computer Society, Washington, DC, USA, 2005, pp. 832–833.
2005 | Report | LibreCat-ID: 8214
Teaching UML is Teaching Software Engineering is Teaching Abstraction
G. Engels, J. Hendrik Hausmann, M. Lohmann, S. Sauer, Teaching UML Is Teaching Software Engineering Is Teaching Abstraction, Fakultät für Elektrotechnik,Informatik und Mathematik, Universität Paderborn, 2005.
LibreCat
| DOI
G. Engels, J. Hendrik Hausmann, M. Lohmann, S. Sauer, Teaching UML Is Teaching Software Engineering Is Teaching Abstraction, Fakultät für Elektrotechnik,Informatik und Mathematik, Universität Paderborn, 2005.
2005 | Journal Article | LibreCat-ID: 7378
An Ontology-Based Framework for Semi-Automatic Schema Integration
Z. Huma, M. Rehman, N. Iftikhar, Journal of Computer Science and Technology 20 (2005) 788–796.
LibreCat
Z. Huma, M. Rehman, N. Iftikhar, Journal of Computer Science and Technology 20 (2005) 788–796.
2005 | Journal Article | LibreCat-ID: 7379
Software Engineering and eLearning: The MuSofT Project
E.-E. Doberkat, G. Engels, J. Hendrik Hausmann, M. Lohmann, J. Pleumann, J. Schröder, E-Learning and Education (Eleed) Journal 2 (2005).
LibreCat
E.-E. Doberkat, G. Engels, J. Hendrik Hausmann, M. Lohmann, J. Pleumann, J. Schröder, E-Learning and Education (Eleed) Journal 2 (2005).
2005 | Journal Article | LibreCat-ID: 7380
Style-Based Modeling and Refinement of Service-Oriented Architectures
L. Baresi, R. Heckel, S. Thöne, D. Varró, Software and Systems Modeling 5 (2005) 187–207.
LibreCat
L. Baresi, R. Heckel, S. Thöne, D. Varró, Software and Systems Modeling 5 (2005) 187–207.
2005 | Journal Article | LibreCat-ID: 7381
Model-based development of Web service descriptions enabling a precise matching concept
J. Hendrik Hausmann, R. Heckel, M. Lohmann, International Journal of Web Services Research 2 (2005) 67–85.
LibreCat
J. Hendrik Hausmann, R. Heckel, M. Lohmann, International Journal of Web Services Research 2 (2005) 67–85.
2005 | Book Chapter | LibreCat-ID: 7544
A Generic Model Execution Platform for the Design of Hardware and Software
T. Schattkowsky, W. Mueller, A. Rettberg, in: G. Martin, W. Mueller (Eds.), UML for SoC Design, Springer, 2005, pp. 63–88.
LibreCat
T. Schattkowsky, W. Mueller, A. Rettberg, in: G. Martin, W. Mueller (Eds.), UML for SoC Design, Springer, 2005, pp. 63–88.
2005 | Book Chapter | LibreCat-ID: 7546
Process Modeling using UML
G. Engels, A. Förster, R. Heckel, S. Thöne, in: M. Dumas, W. van der Aalst, A. ter Hofstede (Eds.), Process-Aware Information Systems, Wiley, New York, NY, 2005, pp. 85–117.
LibreCat
G. Engels, A. Förster, R. Heckel, S. Thöne, in: M. Dumas, W. van der Aalst, A. ter Hofstede (Eds.), Process-Aware Information Systems, Wiley, New York, NY, 2005, pp. 85–117.
2005 | Book Chapter | LibreCat-ID: 7547
Flexible Interconnection of Graph Transformation Modules - A Systematic Approach
G. Engels, R. Heckel, A. Cherchago, in: H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer (Ed.), Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, Springer, Berlin/Heidelberg, 2005, pp. 38–63.
LibreCat
G. Engels, R. Heckel, A. Cherchago, in: H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg, G. Taentzer (Ed.), Formal Methods in Software and System Modeling. Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, Springer, Berlin/Heidelberg, 2005, pp. 38–63.
2005 | Book Chapter | LibreCat-ID: 7548
Konsistenzmanagement von objektorientierten Verhaltensmodellen
J. Küster, in: D. Wagner, T. Dreier, O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe (Ed.), Ausgezeichnete Informatikdissertationen 2004, Gesellschaft für Informatik (GI), Bonn, 2005.
LibreCat
J. Küster, in: D. Wagner, T. Dreier, O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe (Ed.), Ausgezeichnete Informatikdissertationen 2004, Gesellschaft für Informatik (GI), Bonn, 2005.
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.