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.
5786 Publications
2004 | Conference Paper | LibreCat-ID: 7918
Baresi, Luciano, et al. “Style-Based Refinement of Dynamic Software Architectures.” Proceedings of the Conference on Software Architecture (WICSA 2004), Oslo (Norway), IEEE Computer Society, 2004, pp. 155–66.
LibreCat
2004 | Conference Paper | LibreCat-ID: 7919
Belli, Fevzi, and Baris Güldali. “Software Testing via Model Checking.” Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), vol. 3280, Springer, 2004, pp. 907–16, doi:http://dx.doi.org/10.1007/b101749.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 7920
Heckel, Reiko, and Ping Guo. “Conceptual Modeling of Styles For Mobile Systems: A Layered Approach Based on Graph Transformation.” Proceedings of the Conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway), vol. 158, Springer, 2004, pp. 65–79, doi:dx.doi.org/10.1007/0-387-22874-8_5.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 7921
Heckel, Reiko, and Alexey Cherchago. “Application of Graph Transformation for Automating Web Service Discovery.” Proceedings of the Seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany), Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 7922
Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded Systems.” Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria), IEEE Computer Society, 2004, pp. 121–28.
LibreCat
2004 | Conference Paper | LibreCat-ID: 7923
Cherchago, Alexey, and Reiko Heckel. “Specification Matching of Web Services Using Conditional Graph Transformation Rules.” Proceedings of the Conference on Graph Transformation (ICGT 2004), Rome (Italy), vol. 3256 / 2004, Springer, 2004, pp. 304–18, doi:http://dx.doi.org/10.1007/b100934.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 7924
Böttcher, Stefan, et al. “Automated Data and Service Mapping for Integrated Electronic Markets.” 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
Eden, Jonas, et al. “An Architecture Description Language for Developing Automotive ECU-Software.” Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France), 2004, pp. 101–12.
LibreCat
2004 | Conference Paper | LibreCat-ID: 7926
Engels, Gregor, and Stefan Sauer. “Guest Editors’ Introduction.” International Journal of Software Engineering and Knowledge Engineering (IJSEKE), vol. 14, no. 6, World Scientific Publishing, 2004, pp. 543–44, doi:http://dx.doi.org/10.1142/S021819400400183X.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 7927
Guo, Ping, and Reiko Heckel. “Modeling and Simulation of Context-Aware Mobile Systems.” Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), IEEE Computer Society, 2004, pp. 430–33.
LibreCat
2004 | Conference Paper | LibreCat-ID: 7928
Guo, Ping, and Reiko Heckel. “Simulation and Testing of Mobile Computing Systems Using Fujaba.” Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany), 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 7929
Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution of Embedded Real-Time Systems.” Proceedings of the Conference on Design Automation and Test in Europe (DATE 2004), Paris, France, vol. 2, IEEE Computer Society, 2004, pp. 1392–93, doi:http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 7930
Schattkowsky, Tim. “Direct Execution of UML 2.0 Sequence Diagrams.” 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
Schattkowsky, Tim. “Efficient Execution of UML State Machines on a Virtual Machine.” Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA), 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 7932
Hendrik Hausmann, Jan, et al. “Model-Based Discovery of Web Services.” Proceedings of the IEEE International Conference on Web Services (ICWS 2004), IEEE Computer Society, 2004, pp. 324–31, doi:http://dx.doi.org/10.1109/ICWS.2004.80.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 7933
Schattkowsky, Tim, et al. “Peer-to-Peer-Based Web Services for Collaborative Engineering Environments.” Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France), IEEE Computer Society, 2004.
LibreCat
2004 | Journal Article | LibreCat-ID: 7382
Hendrik Hausmann, Jan, et al. “Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams.” Software and Systems Modeling, vol. 3, no. 3, 2004, pp. 181–93.
LibreCat
2004 | Book Chapter | LibreCat-ID: 7533
Krupp, Alexander, et al. “Adaptive Cruise Controller Case Study.” UML-B System Specification for Proven Electronic Design, edited by J. Mermet, Kluwer, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 7534
Schattkowsky, Tim, et al. “Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering.” Workflow Handbook 2004, edited by L. Fischer, Workflow Management Coalition, 2004, pp. 5–14.
LibreCat
2004 | Dissertation | LibreCat-ID: 7585
Küster, Jochen. Consistency Management of Object-Oriented Behavioral Models. 2004.
LibreCat