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
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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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

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

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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.)
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

2003 | Journal Article | LibreCat-ID: 7383 LibreCat
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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.)
 

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
 

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
 

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
 

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
 

Filters and Search Terms

department=66

Search

Filter Publications

Display / Sort

Export / Embed