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.

745 Publications


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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

Filters and Search Terms

year=2005

Search

Filter Publications

Display / Sort

Export / Embed