Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
907 Publications
2004 | Conference Paper | LibreCat-ID: 7922
Schattkowsky, T., & Müller, W. (2004). Model-Based Design of Embedded Systems. In Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria) (pp. 121–128). Los Alamitos, CA, USA: IEEE Computer Society.
LibreCat
2004 | Conference Paper | LibreCat-ID: 7923
Cherchago, A., & Heckel, R. (2004). Specification Matching of Web Services Using Conditional Graph Transformation Rules. In Proceedings of the conference on Graph Transformation (ICGT 2004), Rome (Italy) (Vol. 3256 / 2004, pp. 304–318). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/b100934
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 7924
Böttcher, S., Groppe, S., & Schattkowsky, T. (2004). Automated Data and Service Mapping for Integrated Electronic Markets. In Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA).
LibreCat
2004 | Conference Paper | LibreCat-ID: 7925
Eden, J., Weber, M., Reiser, M.-O., Wierczoch, T., Freund, U., Gurrieri, O., … Migge, J. (2004). An Architecture Description Language for Developing Automotive ECU-Software. In Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France) (pp. 101–112).
LibreCat
2004 | Conference Paper | LibreCat-ID: 7926
Engels, G., & Sauer, S. (2004). Guest Editors’ Introduction. In International Journal of Software Engineering and Knowledge Engineering (IJSEKE) (Vol. 14, pp. 543–544). World Scientific Publishing. http://dx.doi.org/10.1142/S021819400400183X
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 7927
Guo, P., & Heckel, R. (2004). Modeling and Simulation of Context-Aware Mobile Systems. In Proceedings of the 19th IEEE international conference on Automated software engineering (ASE 2004) (pp. 430–433). Washington, DC, USA: IEEE Computer Society.
LibreCat
2004 | Conference Paper | LibreCat-ID: 7928
Guo, P., & Heckel, R. (2004). Simulation and Testing of Mobile Computing Systems using Fujaba. In Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany). Darmstadt, Germany.
LibreCat
2004 | Conference Paper | LibreCat-ID: 7929
Schattkowsky, T., & Müller, W. (2004). Model-Based Specification and Execution of Embedded Real-Time Systems. In Proceedings of the conference on Design Automation and Test in Europe (DATE 2004), Paris, France (Vol. 2, pp. 1392–1393). Los Alamitos, CA, USA: IEEE Computer Society. http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 7930
Schattkowsky, T. (2004). Direct Execution of UML 2.0 Sequence Diagrams. In Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA).
LibreCat
2004 | Conference Paper | LibreCat-ID: 7931
Schattkowsky, T. (2004). Efficient Execution of UML State Machines on a Virtual Machine. In Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA).
LibreCat
2004 | Conference Paper | LibreCat-ID: 7932
Hendrik Hausmann, J., Heckel, R., & Lohmann, M. (2004). Model-based Discovery of Web Services. In Proceedings of the IEEE International Conference on Web Services (ICWS 2004) (pp. 324–331). Washington, DC, USA: IEEE Computer Society. http://dx.doi.org/10.1109/ICWS.2004.80
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 7933
Schattkowsky, T., Loeser, C., & Müller, W. (2004). Peer-to-Peer-based Web Services for Collaborative Engineering Environments. In Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France). Los Alamitos, CA, USA: IEEE Computer Society.
LibreCat
2004 | Journal Article | LibreCat-ID: 7382
Hendrik Hausmann, J., Heckel, R., & Sauer, S. (2004). Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams. Software and Systems Modeling, 3(3), 181–193.
LibreCat
2004 | Book Chapter | LibreCat-ID: 7533
Krupp, A., Lundkvist, O., Schattkowsky, T., & Snook, C. (2004). Adaptive Cruise Controller Case Study. In J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design. Dordrecht: Kluwer.
LibreCat
2004 | Book Chapter | LibreCat-ID: 7534
Schattkowsky, T., Mueller, W., & Pawlak, A. (2004). Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In L. Fischer (Ed.), Workflow Handbook 2004 (pp. 5–14). Lighthouse Point, FL: Workflow Management Coalition.
LibreCat
2004 | Dissertation | LibreCat-ID: 7585
Küster, J. (2004). Consistency Management of Object-Oriented Behavioral Models.
LibreCat
2004 | Dissertation | LibreCat-ID: 7586
Depke, R. (2004). Visuelle Modellierung agentenbasierter Systeme.
LibreCat
| Files available
2004 | Conference Paper | LibreCat-ID: 8386
Sendall, S., Hauser, R., Koehler, J., Küster, J., & Wahler, M. (2004). Understanding Model Transformation by Classification and Formalization. In Proceedings of the Workshop on Software Transformation Systems (STS 2004, satellite event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada).
LibreCat
2004 | Conference Paper | LibreCat-ID: 8387
Heckel, R., & Thöne, S. (2004). Behavior-Preserving Refinement Relations between Dynamic Software Architectures. In Proceedings of the workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain) (Vol. 3423, pp. 1–27). Berlin/Heidelberg: Springer.
LibreCat
2004 | Conference Paper | LibreCat-ID: 8388
Heckel, R., Cherchago, A., & Lohmann, M. (2004). A Formal Approach to Service Specification and Matching based on Graph Transformation. In Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy (Vol. 105, pp. 37–49). Elsevier. http://dx.doi.org/10.1016/j.entcs.2004.05.006
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 8389
Küster, J. (2004). Systematic Validation of Model Transformations. In Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal).
LibreCat
2004 | Conference Paper | LibreCat-ID: 8390
Küster, J., Sendall, S., & Wahler, M. (2004). Comparing two Model Transformation Approaches. In Proceedings of the Workshop on OCL and Model Driven Engineering (satellite event of the UML 2004), Lisbon (Portugal) (pp. 114–127). University of Kent.
LibreCat
2004 | Conference Paper | LibreCat-ID: 8391
Küster, J. (2004). Towards Inconsistency Handling of Object-Oriented Behavioral Models. In International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain) (Vol. 109, pp. 57–69). Amsterdam ,The Netherlands: Elsevier. http://dx.doi.org/10.1016/j.entcs.2004.02.056
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 8392
Schattkowsky, T., & Rettberg, A. (2004). UML for FPGA Synthesis. In Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA).
LibreCat
2004 | Conference Paper | LibreCat-ID: 8393
Sendall, S., & Küster, J. (2004). Taming Model Round-Trip Engineering. In Proceedings of Workshop on Best Practices for Model-Driven Software Development (satellite event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada).
LibreCat
| Download (ext.)
2003 | Conference Paper | LibreCat-ID: 7907
Schattkowsky, T. (2003). A Model-based Approach for Dynamic Tool Integration. In Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando, FL (USA).
LibreCat
2003 | Conference Paper | LibreCat-ID: 7908
Engels, G., Sauer, S., & Neu, B. (2003). Integrating software engineering and user-centred design for multimedia software developments. In Proceedings of the conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand) (pp. 254–256). Washington, DC, USA: IEEE Computer Society. http://dx.doi.org/10.1109/HCC.2003.1260240
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 7909
Alfert, K., Doberkat, E.-E., Engels, G., Lohmann, M., Magenheim, J., & Schürr, A. (2003). MuSofT: Multimedia in der Softwaretechnik. In Proceedings of the conference on Software Engineering im Unterricht der Hochschulen (SEUH 2003), Berlin (Germany) (pp. 70–80). Heidelberg: dpunkt Verlag.
LibreCat
2003 | Conference Paper | LibreCat-ID: 7910
Engels, G., Heckel, R., & Küster, J. (2003). The Consistency Workbench: A Tool for Consistency Management in UML-based Development. In Proceedings of the 6th International Conference on The Unified Modeling Language: Modeling Languages and Applications (UML 2003), San Francisco, CA (USA) (Vol. 2863, pp. 356–359). Berlin/Heidelberg: Springer.
LibreCat
2003 | Conference Paper | LibreCat-ID: 7911
Engels, G., Küster, J., Heckel, R., & Lohmann, M. (2003). Model Based Verification and Validation of Properties. In Proceedings of the conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland) (Vol. 82, pp. 1–18). Elsevier. https://doi.org/dx.doi.org/10.1016/S1571-0661(04)80752-7
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 7912
Heckel, R., Küster, J., Thöne, S., & Voigt, H. (2003). Towards Consistency of Web Service Architectures. In Proceedings of the 7th World Multiconference on Systemics, Cybernetics, and Informatics (SCI 2003), Orlando, FL (USA).
LibreCat
2003 | Conference Paper | LibreCat-ID: 7913
Hendrik Hausmann, J., & Kent, S. (2003). Visualizing model mappings in UML. In Proceedings of the ACM symposium on Software visualization (SOFTVIS 2003), San Diego, CA (USA) (pp. 169–178). New York, NY, USA: ACM Press.
LibreCat
2003 | Conference Paper | LibreCat-ID: 7914
Heckel, R., & Lohmann, M. (2003). Model-Based Development of Web Applications Using Graphical Reaction Rules. In Proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering (FASE 2003), Warsaw (Poland) (Vol. 2621, pp. 170–183). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-36578-8
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 7915
Mueller, W., Schattkowsky, T., Eikerling, H.-J., & Wegner, J. (2003). Dynamic Tool Integration in Heterogeneous Computer Networks. In Proceedings of the conference on Design Automation and Test in Europe (DATE 2003), Munich (Germany) (pp. 946–951). Washington, DC, USA: IEEE Computer Society. http://dx.doi.org/10.1109/DATE.2003.10201
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 7916
Küster, J., Heckel, R., & Engels, G. (2003). Defining and Validating Transformations of UML Models. In Proceedings of the conference on Human Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand) (pp. 145–152). Washington, DC, USA: IEEE Computer Society. https://groups.uni-paderborn.de/fg-engels/Publications/dx.doi.org/10.1109/HCC.2003.1260218
LibreCat
| DOI
2003 | Report | LibreCat-ID: 8213
Mehner, K., & Rashid, A. (2003). Towards a Generic Model for AOP (GEMA). United Kingdom: Lancaster University, Computing Department.
LibreCat
2003 | Journal Article | LibreCat-ID: 7383
Mehner, K. (2003). Zur Performanz der Überwachung von Methodenaufrufen mit der Java Platform Debugger Architecture (JPDA). Java Spektrum, 6.
LibreCat
2003 | Journal Article | LibreCat-ID: 7384
Engels, G., Hendrik Hausmann, J., & Lohmann, M. (2003). eLearning-Plattformen für die Hochschule: Bedarfsgerechte Bestimmung der Anforderungen. ForschungsForum Paderborn, 6, 44–47.
LibreCat
2003 | Book Chapter | LibreCat-ID: 7530
Heckel, R. (2003). Open Petri Nets as Semantic Model for Workflow Integration. In H. Ehrig, W. Reisig, & H. Weber (Eds.), Petri Net Technology for Communication-Based Systems, Advances in Petri Nets (Vol. 2472, pp. 281–294). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/b83526
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 7531
Depke, R., & Heckel, R. (2003). Modeling and Analysis of Agents’ Goal-Driven Behavior Using Graph Transformation. In H. D. Ehrich, J. J. Meyer, & M. D. Ryan (Eds.), Objects, Agents and Features - Structuring Mechanisms for Contemporary Software (Vol. 2975, pp. 81–97). Berlin/Heidelberg: Springer.
LibreCat
2003 | Book Chapter | LibreCat-ID: 7532
Engels, G., Lohmann, M., & Wagner, A. (2003). Entwicklungsprozess von Web-Anwendungen. In G. Kappel, B. Proell, S. Reich, & W. Retschnitzegger (Eds.), Web Engineering: Systematische Entwicklung von Web-Anwendungen (pp. 239–264). Heidelberg: dpunkt-Verlag.
LibreCat
2003 | Conference Paper | LibreCat-ID: 8374
Depke, R., Hendrik Hausmann, J., & Heckel, R. (2003). Design of an Agent-Oriented Modeling Language Based on Graph Transformation. In Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 2003), Charlottesville, VA (USA) (Vol. 3062, pp. 106–119). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/b98116
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 8375
Baresi, L., Heckel, R., Thöne, S., & Varró, D. (2003). Modeling and Analysis of Architectural Styles Based on Graph Transformation. In Proceedings of the 6th ICSE Workshop on Component Based Software Engineering: Automated Reasoning and Prediction (CBSE 2003), Portland, OR (USA) (pp. 67–72). Carnegie Mellon University (USA), and Monash University (Australia).
LibreCat
2003 | Conference Paper | LibreCat-ID: 8376
Förster, A., & Engels, G. (2003). Quality Ensuring Development of Software Processes. In Proceeding of the 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki (Finland) (Vol. 2786, pp. 62–73). Berlin/Heidelberg: Springer.
LibreCat
2003 | Conference Paper | LibreCat-ID: 8377
Hendrik Hausmann, J., Heckel, R., & Lohmann, M. (2003). Towards Automatic Selection of Web Services Using Graph Transformation Rules. In Proceeding of the Web Service Workshop (Berliner XML-Tage 2003), Berlin (Germany) (pp. 286–291). XML-Clearinghouse.
LibreCat
2003 | Conference Paper | LibreCat-ID: 8378
Heckel, R., Lohmann, M., & Thöne, S. (2003). Towards a UML Profile for Service-Oriented Architectures. In Proceedings of the Workshop on Model Driven Architecture: Foundations and Applications (MDAFA 2003), Enschede (The Netherlands) (Vol. TR–CTIT–03–27, pp. 115–120). Enschede, The Netherlands: University of Twente.
LibreCat
| Download (ext.)
2003 | Conference Paper | LibreCat-ID: 8379
Hendrik Hausmann, J. (2003). Metamodeling Relations - Relating Metamodels. In Proceedings of the Metamodelling for MDA workshop, York (UK) (pp. 147–161). University of York.
LibreCat
2003 | Conference Paper | LibreCat-ID: 8380
Hendrik Hausmann, J., Heckel, R., & Sauer, S. (2003). Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams. In Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, satellite event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain) (Vol. 72, pp. 133–144). Elsevier. http://dx.doi.org/10.1016/S1571-0661(04)80617-0
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 8381
Heckel, R., & Lohmann, M. (2003). Towards Model-Driven Testing. In Proceedings of the workshop on Test and Analysis of Component Based Systems (TACoS 2003, satellite event of the ETAPS 2003), Warsaw (Poland) (Vol. 82, pp. 33–43). Amsterdam, The Netherlands: Elsevier. http://dx.doi.org/10.1016/S1571-0661(04)81023-5
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 8382
Küster, J., & Stehr, J. (2003). Towards Explicit Behavioral Consistency Concepts in the UML. In Proceedings of 2nd ICSE Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (Portland, USA).
LibreCat
2003 | Conference Paper | LibreCat-ID: 8383
Mehner, K., & Rashid, A. (2003). GEMA: A Generic Model for AOP. In Proceedings of the Joint Belgian & Dutch AOP Workshop, Enschede (The Netherlands). University of Twente.
LibreCat
2003 | Conference Paper | LibreCat-ID: 8384
Schattkowsky, T., & Müller, W. (2003). Distributed Engineering Environment for the Design of Electronic Systems. In Proceedings of the Workshop on Challenges in Collaborative Engineering (CCE 2003), Poznan (Poland) (pp. 15–16).
LibreCat
2003 | Conference Paper | LibreCat-ID: 8385
Schattkowsky, T. (2003). Model-based Development of Embedded Systems: Executable Models vs. Code Generation. In Proceedings of the workshop on Model Driven Architecture in the Specification, Implementation and Validation of Object-oriented Embedded Systems (satellite event of the UML 2003 conference), San Francisco, CA (USA).
LibreCat
2002 | Conference (Editor) | LibreCat-ID: 7785
Heckel, R., Mens, T., & Wermelinger, M. (Eds.). (2002). Proceedings of the workshop on Software Evolution through Transformations, satellite of the ICGT 2002 conference, Barcelona (Spain) (Vol. 72). Elsevier.
LibreCat
2002 | Conference (Editor) | LibreCat-ID: 7786
Clauss, M., Hanenberg, S., John, I., Mehner, K., & Van Der Straeten, R. (Eds.). (2002). Proceedings of the 4th Young Researchers Workshop, satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA).
LibreCat
2002 | Conference Paper | LibreCat-ID: 7895
Baresi, L., & Heckel, R. (2002). Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. In Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain) (Vol. 2505, pp. 402–429). Berlin/Heidelberg: Springer. https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7896
Depke, R., Engels, G., Langham, M., Lütkemeier, B., & Thöne, S. (2002). Process-Oriented, Consistent Integration of Software Components. In Proceedings of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England) (pp. 13–18). Washington, DC, USA: IEEE Computer Society. http://dx.doi.org/10.1109/CMPSAC.2002.1044527
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7897
Engels, G., Heckel, R., Küster, J., & Groenewegen, L. (2002). Consistency-Preserving Model Evolution through Transformations. In Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany) (Vol. 2460, pp. 212–226). Berlin/Heidelberg: Springer.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7898
Engels, G., Küster, J., & Groenewegen, L. (2002). Consistent Interaction Of Software Components. In Proceedings of the conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA) (Vol. 6, pp. 2–22). IOS Press.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7899
Engels, G., Hendrik Hausmann, J., Heckel, R., & Sauer, S. (2002). Testing the Consistency of Dynamic UML Diagrams. In Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA).
LibreCat
2002 | Conference Paper | LibreCat-ID: 7900
Gyapay, S., Heckel, R., & Varró, D. (2002). Graph Transformation with Time: Causality and Logical Clocks. In Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain) (Vol. 2505, pp. 120–134). Berlin/Heidelberg: Springer.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7901
Hendrik Hausmann, J., Heckel, R., & Taentzer, G. (2002). Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation. In Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA) (pp. 105–155). New York, NY, USA: ACM Press. http://doi.acm.org/10.1145/581339.581355
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7902
Heckel, R., & Chouikha, M. (2002). Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets. In Proceedings of the conference on Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA) (pp. 63–77). Grandview, TX, USA: Society of Design and Process Science.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7903
Heckel, R., Küster, J., & Taentzer, G. (2002). Confluence of Typed Attributed Graph Transformation Systems. In Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain) (pp. 161–176). Berlin/Heidelberg: Springer.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7904
Mehner, K. (2002). JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs. In Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany) (Vol. 2269, pp. 163–175). Berlin/Heidelberg: Springer.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7905
Schattkowsky, T., & Lohmann, M. (2002). Rapid Development of Modular Dynamic Web Sites Using UML. In Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany) (pp. 336–350). London, UK: Springer. http://dx.doi.org/10.1007/3-540-45800-X
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7906
Cherchago, A. (2002). Formal Semantics for a UML fragment using UML/OCL metamodeling. In Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA). ACTA Press.
LibreCat
2002 | Report | LibreCat-ID: 8212
Constanza, P., Kniesel, G., Mehner, K., Pulvermüller, E., & Speck, A. (2002). 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.
LibreCat
2002 | Journal Article | LibreCat-ID: 7385
Heckel, R., Llabrés, M., Ehrig, H., & Orejas, F. (2002). Concurrency and Loose Semantics of Open Graph Transformation Systems. Mathematical Structures in Computer Science, 12(4), 349–376.
LibreCat
2002 | Journal Article | LibreCat-ID: 7387
Engels, G., Küster, J., & Groenewegen, L. (2002). Consistent Interaction of Software Components. Transactions of the SDPS: Journal of Integrated Design & Process Science, 6(4), 2–22.
LibreCat
2002 | Journal Article | LibreCat-ID: 7388
Depke, R., Heckel, R., & Küster, J. (2002). Formal Agent-Oriented Modeling with Graph Transformation. Science of Computer Programming, 44, 229–252.
LibreCat
2002 | Journal Article | LibreCat-ID: 7389
Doberkat, E.-E., & Engels, G. (2002). MuSofT - Multimedia in der Softwaretechnik. Informatik Forschung Und Entwicklung, 1(17), 41–44.
LibreCat
2002 | Journal Article | LibreCat-ID: 7390
Corradini, A., Heckel, R., & Montanari, U. (2002). Compositional SOS and Beyond: A Coalgebraic View of Open Systems. Theoretical Computer Science, 280(1–2), 163–192. http://dx.doi.org/10.1016/S0304-3975(01)00025-1
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 7524
Ehrig, H., Hoffmann, K., Padberg, J., Baldan, P., & Heckel, R. (2002). High-Level Net Processes. In W. Brauer, H. Ehrig, J. Karhumäki, & A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Vol. 2300, pp. 191–219). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45711-9_12
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 7525
Engels, G., & Groenewegen, L. (2002). Towards Team-Automata-Driven Object-Oriented Collaborative Work. In Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Vol. 2300, pp. 257–276). Berlin/Heidelberg: Springer.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7526
Engels, G., & Doberkat, E.-E. (2002). Multimedia in der Informatik-Lehre. In Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics (Vol. P-19, pp. 377–384). Bonn: Gesellschaft für Informatik (GI).
LibreCat
2002 | Book Chapter | LibreCat-ID: 7527
Ehrig, H., Hoffmann, K., Padberg, J., Baldan, P., & Heckel, R. (2002). High-Level Net Processes. In W. Brauer, H. Ehrig, J. Karhumäki, & A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Vol. 2300, pp. 191–219). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45711-9_12
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 7528
Engels, G., & Groenewegen, L. (2002). Towards Team-Automata-Driven Object-Oriented Collaborative Work. In W. Brauer, H. Ehring, J. Karhumäki, & A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Vol. 2300, pp. 257–276). Berlin/Heidelberg: Springer.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7529
Engels, G., & Doberkat, E.-E. (2002). Multimedia in der Informatik-Lehre. In S. Schubert, B. Reusch, & N. Jesse (Eds.), Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics (Vol. P-19, pp. 377–384). Bonn: Gesellschaft für Informatik (GI).
LibreCat
2002 | Conference Paper | LibreCat-ID: 8363
Heckel, R., & Engels, G. (2002). Towards a Formal Framework for Inter-Enterprise Application Integration. In Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France) (Vol. 51, pp. 139–151). Elsevier. http://dx.doi.org/10.1016/S1571-0661(04)80198-1
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 8364
Thöne, S., Depke, R., & Engels, G. (2002). Process-Oriented, Flexible Composition of Web Services with UML. In Proceedings of the International Workshop on Conceptual Modeling Approaches for e-Business: A Web Service Perspective (eCOMO 2002), Tampere (Finland) (Vol. 2784, pp. 390–401). Berlin/Heidelberg: Springer.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8365
Engels, G., Küster, J., & Heckel, R. (2002). Towards Consistency-Preserving Model Evolution. In Proceedings of the International Workshop on Principles of Software Evolution(satellite event of the ICSE 02), Orlando, Florida (USA) (pp. 129–132). New York, NY, USA: ACM Press. http://doi.acm.org/10.1145/512035.512066
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 8366
Gyapay, S., & Heckel, R. (2002). Towards Graph Transformation with Time. In Proceedings of the APPLIGRAPH Workshop on Application of Graph Transformation (AGT 2002, satellite event of the ETAPS 2002), Grenoble (France) (pp. 131–140). Universität Bremen.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8367
Heckel, R., Küster, J., & Taentzer, G. (2002). Towards Automatic Translation of UML Models into Semantic Domains. In Proceedings of the APPLIGRAPH Workshop on Applied Graph Transformation (AGT 2002, satellite event of the ETAPS 2002), Grenoble (France) (pp. 11–21). Universität Bremen.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8368
Hendrik Hausmann, J., Heckel, R., & Sauer, S. (2002). Extended Model Relations with Graphical Consistency Conditions. In Proceeding of the Workshop on Consistency Problems in UML-based Software Development (satellite event of the UML 2002), Dresden (Germany) (pp. 61–74). Department of Software Engineering and Computer Science, Blekinge Institute of Technology.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8369
Mehner, K., & Rashid, A. (2002). Towards a Standard Interface for Runtime Inspection in AOP Environments. In Proceedings Workshop on Tools for Aspect-Oriented Software Developement (satellite event of the OOPSLA 2002), Seattle, WA (USA).
LibreCat
2002 | Conference Paper | LibreCat-ID: 8370
Schattkowsky, T., Lohmann, M., & Heckel, R. (2002). Lightweight Modeling of Dynamic Websites using UML. In Proceedings of Workshop on Web Engineering (satellite event of the ICSE 2002), Orlando, FL (USA).
LibreCat
2001 | Conference (Editor) | LibreCat-ID: 7787
Mehner, K., Mezini, M., Pulvermüller, E., & Speck, A. (Eds.). (2001). Proceedings of the workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany) (Vol. tr-ri-01-223). University of Paderborn.
LibreCat
2001 | Conference (Editor) | LibreCat-ID: 7788
Engels, G., Oberweis, A., & Zündorf, A. (Eds.). (2001). Modellierung 2001 (Vol. 1). Bonn: Gesellschaft für Informatik (GI).
LibreCat
2001 | Conference (Editor) | LibreCat-ID: 7789
Böllert, K., Streitferdt, D., Heuzeroth, D., Mehner, K., & Hanenberg, S. (Eds.). (2001). Proceedings of the 3rd Young Researchers Workshop, satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE ’01), Erfurt (Germany).
LibreCat
2001 | Conference Paper | LibreCat-ID: 7879
Lütkemeier, B., & Thöne, S. (2001). Prozessorientierte Integration von Softwarekomponenten durch XML-basierte Workflow-Modelle. In Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany). Konradin-Verlag.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7880
Baldan, P., Corradini, A., Ehrig, H., & Heckel, R. (2001). Compositional Modeling of Reactive Systems Using Open Nets. In Proceedings of the conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark) (Vol. 2154, pp. 502–518). Berlin/Heidelberg: Springer.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7881
Küster, J., & Stroop, J. (2001). Consistent Design of Embedded Real-Time Systems with UML-RT. In Proceedings of the conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany) (pp. 31–40). Washington, DC, USA: IEEE Computer Society. https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7882
Depke, R., Heckel, R., & Küster, J. (2001). Improving the Agent-Oriented Modeling Process with Roles. In Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada) (pp. 640–647). New York, NY, USA: ACM Press.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7883
Depke, R., & Heckel, R. (2001). Modellierung von Prozessen mit UML und Realisierung durch eine Internet-Agentenplattform. In Proceedings of the 9. Kolloquium Software-Entwicklung für Internet und Intranet, Ostfildern (Germany). Technische Akademie Esslingen.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7884
Engels, G., Heckel, R., & Küster, J. (2001). Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. In Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada) (Vol. 2185, pp. 272–287). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45441-1_21
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7885
Engels, G., Küster, J., Groenewegen, L., & Heckel, R. (2001). A methodology for specifying and analyzing consistency of object-oriented behavioral models. In Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria) (Vol. 26, pp. 186–195). New York, NY, USA: ACM Press. http://dx.doi.org/10.1145/503271.503235
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7886
Geiger, C., Flake, S., & Küster, J. (2001). Towards UML-based Analysis and Design of Multi-Agent Systems. In Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates).
LibreCat
2001 | Conference Paper | LibreCat-ID: 7887
Heckel, R., & Engels, G. (2001). Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution. In Proceeding of International Special Session on Formal Foundations of Software Evolution (FFSE 2001, co-located with the Conference on Software Maintenance and Reengineering), Lisbon (Portugal) (pp. 42–47). Lisbon: Universidade Nova de Lisboa.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7888
Hendrik Hausmann, J., Heckel, R., & Sauer, S. (2001). Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams. In Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy) (pp. 80–87). Washington, DC, USA: IEEE Computer Society.
LibreCat