Sauer, Stefan, editor. 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: /record/7781

Störrle, Harald, and Jan Hendrik Hausmann. “Towards a Formal Semantics of UML 2.0 Activities.” Software Engineering, vol. 64, Gesellschaft für Informatik (GI), 2005, pp. 117–28.
LibreCat: /record/7934

Belli, Fevzi, and Baris Güldali. “A Holistic Approach to Test-Driven Model Checking.” Proceedings of the Conference on Innovations in Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy), Springer, 2005, pp. 321–31.
LibreCat: /record/7935

Engels, Gregor, and Martin Erwig. “ClassSheets: Automatic Generation of Spreadsheet Applications from Object-Oriented Specifications.” Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA), ACM Press, 2005, pp. 124–33.
LibreCat: /record/7936

Förster, Alexander, et al. “Activity Diagram Patterns for Modeling Quality Constraints in Business Processes.” Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica), vol. 3713, Springer, 2005, pp. 2–16.
LibreCat: /record/7937

Guo, Ping, et al. “Architectural Style - Based Modeling and Simulation of Complex Software Systems.”http://dx.doi.org/10.1109/APSEC.2005.41__Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), Taipei (Taiwan), IEEE Computer Society, 2005, pp. 367–74, doi:http://dx.doi.org/10.1109/APSEC.2005.41.
LibreCat: /record/7938
DOI: http://dx.doi.org/10.1109/APSEC.2005.41

Lohmann, Marc, et al. “Executable Visual Contracts.”http://dx.doi.org/10.1109/VLHCC.2005.35__Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), IEEE Computer Society, 2005, pp. 63–70, doi:http://dx.doi.org/10.1109/VLHCC.2005.35.
LibreCat: /record/7939
DOI: http://dx.doi.org/10.1109/VLHCC.2005.35

Mahajan, Kiran, et al. “D<sup>3</sup>FACT Insight: A Motion Planning Algorithm for Material Flow Simulations in Virtual Environments.” Proceedings of the Conference on Simulation and Visualization (SimViS 2005), Magedeburg (Germany), vol. 1, SCS European Publishing House, 2005, pp. 115–26.
LibreCat: /record/7940

Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded Systems.” Proceedings of the International Conference on Information Systems - New Generations (ISNG 2005), Las Vegas, NV (USA), 2005.
LibreCat: /record/7941

Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML StateMachines for Direct Execution.”http://dx.doi.org/10.1109/VLHCC.2005.64__Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), Dallas, TX (USA), IEEE Computer Society, 2005, pp. 117–24, doi:http://dx.doi.org/10.1109/VLHCC.2005.64.
LibreCat: /record/7942
DOI: http://dx.doi.org/10.1109/VLHCC.2005.64