Institut for Elektro- og Computerteknologi

Aarhus Universitets segl

Publications by Software Engineering & Computing Systems

Are you looking for publications by Section of Software Engineering & Computing Systems? On this page you can find all the publications made by the Section of Software Engineering & Computing Systems - Department of Electrical and Computer Engineering, Aarhus University.

Below you can find a list of all the publications, their publishing date, their author(s), and titles. The list can be sorted by date, author, and title:

List of Publications

Sortér efter: Dato | Forfatter | Titel

Ribeiro , A. & Larsen, P. G. (2010). Proof Obligation Generation and Discharging for Recursive Definitions in VDM. I Formal Methods and Software Engineering : Lecture Notes in Computer Science (40-55 udg., Bind 6447). Springer Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16901-4_5
Larsen, P. G., Rovsing, P. E. & Toftegaard, T. S. (2010). Challenges in Gaining Large Scale Carbon Reductions through Wireless Home Automation Systems. I M. S. Alencar & V. C. da Rocha Jr. (red.), Proceedings of the WPMC 2010 Internation Symposium on Wireless Personal Multimedia Communications.
Wolff, S., Larsen, P. G. & Noergaard, T. (2010). Development Process for Multi Disciplinary Embedded Control Systems. I Proceedings of the 7th EUROSIM Congress on Modelling and Simulation - EUROSIM 2010
Larsen, P. G., Fitzgerald, J. & Wolff, S. (2010). Are Formal Methods Ready for Agility? A Reality Check. I S. Gruner & B. Rumpe (red.), Proceedings on Formal Methods and Agile Methods - FM+AM'2010: Lecture Notes in Informatics (Bind 179). Bonner Köllen Verlag.
Fitzgerald, J., Larsen, P. G., Pierce, K. & Wolff, S. (2010). Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. I D. Méry & S. Merz (red.), Integrated Formal Methods: Lecture Notes in Computer Science (Bind 6396 , s. 12-26). Springer.
Wolff, S., Rohde, J., Toftegaard, T. S., Larsen, P. G., Lausdahl, K. G., Ribeiro, A. & Stender, M. H. (2010). Optimizing Energy Usage in Private Households. I R. Prasad, S. Ohmori & D. Šimunić (red.), Towards Green ICT (s. 185-210). River Pulishers.
Wolff, S., Larsen, P. G., Lausdahl, K., Ribeiro, A. & Toftegaard, T. S. (2009). Facilitating Home Automation Through Wireless Protocol Interoperability. Proceedings of the Wireless Personal Multimedia Communications Symposia.
Bennedsen, J. & Caspersen, M. E. (2008). Exposing the Programming Process. Lecture Notes in Computer Science, 4821, 6-16. https://doi.org/10.1007/978-3-540-77934-6
Wallace, J. (2009). Wandering Between Practices. Afhandling præsenteret på The 4th Art of Management Conference, Banff, Canada.
Wallace, J. (2008). Drawing Between Practices: Visual Art and Engineering Design. Afhandling præsenteret på Art and Research: New Interfaces, København, Danmark.
Wallace, J. (2008). The Use of Art Practice within Formal Design Structures: A Case Study and Framework. Design Principles and Practices: An International Journal, 2(1), 67-74.
Bennedsen, J. & Caspersen, M. E. (2007). Assessing Process and Product: A Practical Lab Exam for an Introductory Programming Course. Innovations in Teaching and Learning in Information and Computer Sciences, 6(4), 183-202. http://www.ics.heacademy.ac.uk/italics/vol6iss4/Bennedsen.pdf
Bennedsen, J. & Caspersen, M. E. (2006). Assessing Process and Product: A Practical Lab Exam for an Introductory Programming Course. I Proceedings of the 36th Fronties in Education Conference (s. 16-21). IEEE Computer Society Press. https://doi.org/10.1109/FIE.2006.322434

Viser resultater 1051 til 1063 ud af 1063

Forrige

13

14

15

16

17

18

19

20

21

22

Revideret 07.07.2026
-
AU Engineering