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.
749 Publications
2005 | Conference (Editor) | LibreCat-ID: 7781
Sauer S, ed. Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces, Satellite of the MoDELS 2005 Conference. Vol 159. CEUR-WS.org; 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 7934
Störrle H, Hendrik Hausmann J. Towards a Formal Semantics of UML 2.0 Activities. In: Software Engineering. Vol 64. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2005:117-128.
LibreCat
2005 | Conference Paper | LibreCat-ID: 7935
Belli F, Güldali B. A holistic approach to test-driven model checking. In: Proceedings of the Conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy). LNCS. Berlin/Heidelberg: Springer; 2005:321-331.
LibreCat
2005 | Conference Paper | LibreCat-ID: 7936
Engels G, Erwig M. ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications. In: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA). New York, NY, USA: ACM Press; 2005:124-133.
LibreCat
2005 | Conference Paper | LibreCat-ID: 7937
Förster A, Engels G, Schattkowsky T. Activity Diagram Patterns for Modeling Quality Constraints in Business Processes. In: Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica). Vol 3713. LNCS. Berlin/Heidelberg: Springer; 2005:2-16.
LibreCat
2005 | Conference Paper | LibreCat-ID: 7938
Guo P, Engels G, Heckel R. Architectural Style - Based Modeling and Simulation of Complex Software Systems. In: Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei (Taiwan). Washington, DC, USA: IEEE Computer Society; 2005:367-374. doi:http://dx.doi.org/10.1109/APSEC.2005.41
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 7939
Lohmann M, Sauer S, Engels G. Executable Visual Contracts. In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005). Washington, DC, USA: IEEE Computer Society; 2005:63-70. doi:http://dx.doi.org/10.1109/VLHCC.2005.35
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 7940
Mahajan K, Laroque C, Dangelmaier W, Soltenborn C, Kortenjan M, Kuntze D. d3FACT insight: A motion planning algorithm for material flow simulations in virtual environments. In: Proceedings of the Conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany). Vol 1. Erlangen: SCS European Publishing House; 2005:115-126.
LibreCat
2005 | Conference Paper | LibreCat-ID: 7941
Schattkowsky T, Müller W. A UML Virtual Machine for Embedded Systems. In: Proceedings of the International Conference on Information Systems - New Generations (ISNG 2005), Las Vegas, NV (USA). ; 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 7942
Schattkowsky T, Müller W. Transformation of UML StateMachines for Direct Execution. In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), Dallas, TX (USA). Washington, DC, USA: IEEE Computer Society; 2005:117-124. doi:http://dx.doi.org/10.1109/VLHCC.2005.64
LibreCat
| DOI