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

Glässer, U., Hallerstede, S., Leuschel, M. & Riccobene, E. (2014). Executive Summary; Integration of Tools for Rigorous Software Construction and Analysis seminar. I U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (red.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Bind Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing. https://doi.org/10.4230/DagRep.3.9.74
Glässer, U., Hallerstede, S., Leuschel, M. & Riccobene, E. (2014). Integration of Tools for Rigorous Software Construction and Analysis. I U. Glässer, S. Hallerstede, M. Leuschel & E. Riccobene (red.), Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372) (Bind Dagstuhl Reports, Volume 3, Issue 9). Dagstuhl Publishing. https://doi.org/10.4230/DagRep.3.9.74
Esparza Isasa, J. A. & Larsen, P. G. (2013). Modelling different CPU power states in VDM-RT. I K. Pierce & S. Hallerstede (red.), Proceedings of the 11th Overture Workshop, 2013 Aarhus University, Department of Engineering. http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-TR-17-samlet.pdf
Hallerstede, S. & Larsen, P. G. (2013). Modelling a Smart Grid System-of-Systems using VDM. I K. Pierce & S. Hallerstede (red.), Proceedings of The 11th Overture Workshop, 2013 http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-TR-17-samlet.pdf
Jørgensen, P. W. V. & Larsen, P. G. (2013). Towards an Overture Code Generator. I K. Pierce & S. Hallerstede (red.), Proceedings of the 11th Overture Workshop (Bind Technical Report ECE-TR-17, s. 22-27). Aarhus Universitet, Institut for Ingeniørvidenskab . http://www.eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-TR-17-samlet.pdf
Jørgensen, P. W. V., Lausdahl, K. G. & Larsen, P. G. (2013). An Architectural Evolution of the Overture Tool. I K. Pierce & S. Hallerstede (red.), Proceedings of the 11th Overture Workshop, 2013 (Bind Technical Report ECE-TR-17, s. 16-21). Aarhus Universitet, Institut for Ingeniørvidenskab . http://www.eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-TR-17-samlet.pdf
Bennedsen, J. (2004). Learning Objects in Use. I The Internet Society: Advances in Learning, Commerce and Security (s. 61-68). WIT Pres.
Bennedsen, J., Berge, O. & Fjuk, A. (2005). Examining Social Interaction Patterns for Online Apprenticeship Learning Object-Oriented Programming as the Knowledge Domain. European Journal of Open, Distance and E-Learning.
Bennedsen, J. & Schulte, C. (2006). A Competence Model for Object-Interaction in Introductory Programming. I Proceedings of the 18th Workshop of the Psychology of Programming Interest Group (s. 215-229)
Schulte, C. & Bennedsen, J. (2006). What do Teachers Teach in Introductory Programming? I Proceedings of ICER´06: The Second International Computing Education Research Workshop (s. 17-28). ACM Press New York, NY, USA.
Fjuk, A., Holmboe, C., Jahreie, C. & Bennedsen, J. (2006). Contextualizing object-oriented learning. I Comprehensive object-oriented learning: The learner's perspective (s. 11-26). Informing Science Press.
Bennedsen, J. (2006). Collaborating in learning object-orientation in a synchronous, net-based environment. I Comprehensive object-oriented learning: The learner's perspective (s. 157-181). Informing Science Press.
Bennedsen, J. & Fjuk, A. (2006). Learning Object-Orientation by Professional Aduklts. International Journal of Continuing Engineering Education and Life-Long Learning, 16(6), 453-465.
Bennedsen, J. & Eriksen, O. (2006). Categorizing Pedagogical Patterns by Teaching Activities and Pedagogical Values. Computer Science Education, 16(2), 157-172.
Bennedsen, J. (2006). The Dissemination of Pedagogical Patterns. Computer Science Education, 16(2), 119-136.
Pears, A., Seidman, S., malmi, L., Manilla, L., Adams, E., Bennedsen, J., Devlin, M. & Paterson, J. (2007). a survey of litterature on the teaching of introductory programming. I SIGCSE Bulletin (Bind 39(4), s. 204-233). ACM Press New York, NY, USA.
Bennedsen, J. & Schulte, C. (2006). What does "objects-first" mean? an international study of teachers' perception of objects-first. I Proceedings of the Sevnth Baltic Sea Conference on Computing Education Research (s. 21-30)
Wallace, J. (2015). Makers not users: the material shaping of technology through use. I The stranger: on the understanding of and socialising with, the stranger in a globalised and constantly changing world DPU - Danmarks Institut for Pædagogik og Uddannelse. http://edu.au.dk/fileadmin/edu/Cursiv/CURSIV_16_www.pdf
Esparza Isasa, J. A., Jørgensen, P. W. V. & Larsen, P. G. (2014). Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems. I Modelsward 2014 Proceedings of the 2nd International Conference on Model-Driven Enginering and Software Development (s. 209-216). SCITEPRESS Digital Library.
Fitzgerald, J., Larsen, P. G. & Woodcock, J. (2013). Foundations for Model-based Engineering for Systems of Systems. I M. Aiguier, F. Boulanger, D. Krob & C. Marchal (red.), Complex Systems Design & Management : Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013 (s. 1-19). Springer VS. https://doi.org/10.1007/978-3-319-02812-5_1
Bennedsen, J. & Caspersen, M. E. (2008). Model-Driven Programming. I Reflectionson the Teaching of Programming (Bind LNCS 4821, s. 116-129). Springer LNCS.
Brunell, C. & Bennedsen, J. (2013). Multi-level graduations in double degree engineering programmes between France and Denmark. I Procedings of the iCEER 2013 conference
Hansen, S. & Bennedsen, J. (2013). Collaboration and reflection using peer reviews and public wikis. I Proceedings of the 41st Annual SEFI Conference http://www.sefi.be/conference-2013/images/139.pdf
Bennedsen, J. (2011). Active Student Care – Lowering Student Dropout. Afhandling præsenteret på CDIO Conference, København, Danmark. http://www.cdio.org/files/document/file/61_paper.pdf
Bennedsen, J. & Christensen, M. (2012). Key-factors for a Successful CDIO Implementation in a Danish Context. Afhandling præsenteret på 8th International CDIO Conference, Brisbane, Australien. http://www.cdio.org/files/document/file/key-factors_for_a_successful_cdio_implementation_in_a_danish_context_.pdf
Bennedsen, J. (2004). Video mediering i programmeringsundervisningen - brug af videoer til at udfolde programmeringsprocessen. Tidsskrift for Universiteternes efter- og videreuddannelse, (3).
Georgsen, M. & Bennedsen, J. (2004). Fleksibel læring og undervisning: erfaringer, konsekvenser og muligheder med ikt. Aalborg Universitetsforlag.
Ørhøj, K., Bennedsen, J. & Caspersen, M. E. (1992). Programkonstruktion: en introduktion til programmering. (1. udgave, 1. oplag. udg.) Datamatikforlaget.
Bennedsen, J. & Fennefoss, T. (2003). Fleksibel webundervisning vokser med opgaverne: programmeringskursus - et eksperiment i netstøttede undervisningsforløb. Tidsskrift for Universiteternes efter- og videreuddannelse, (1). http://ojs.statsbiblioteket.dk/index.php/unev/article/view/5007
Bennedsen, J. & Schulte, C. (2013). Object interaction competence model v. 2.0. I Learning and Teaching in Computing and Engineering (LaTiCE) 2013 - Proceedings (s. 9-16). Artikel 6542233 IEEE. https://doi.org/10.1109/LaTiCE.2013.43
Wallace, J. (2012). Rekonfigurering af teknologier i sygeplejepraksis: fra indført til foretrukket. I Teknologiforståelse: på skoler og hospitaler Aarhus Universitetsforlag.
Wallace, J. & Hasse, C. (2014). Situating Technological Literacy in the Workplace. I J. Dakers (red.), New Frontiers in Technological Literacy: Breaking with the Past Palgrave Macmillan.
Wallace, J. (2012). Emergent Artefacts of Ethnography and Processual Engagements of design. I Design and Anthropology (s. 207-218). Ashgate.
Esparza Isasa, J. A., Hansen, F. O. & Larsen, P. G. (2013). Embedded Systems Energy Consumption Analysis Through Co-modelling and Simulation. World Academy of Science, Engineering and Technology. Proceedings, 78, 424-430. http://www.waset.org/journals/waset/v78/v78-74.pdf
Butler, M., Hallerstede, S. & Lecomte, T. (2013). Preface. I M. Butler, S. Hallerstede & M. Waldén (red.), Proceedings of the 4th Rodin User and Developer Workshop (Bind TUCS Lecture Notes 18, s. 3-3). Turku Centre for Computer Science. http://tucs.fi/publications/view/?pub_id=pBuHaWa13a
Bjerge, K. & Larsen, P. G. (2013). Using VDM in a Co-Simulation Setting for an Industrial Conveyor System. I The Modelling, Identification and Control - MIC 2013 conference ACTA Press. https://doi.org/10.2316/P.2013.794-005
Fitzgerald, J. S., Larsen, P. G., Pierce, K. G. & Verhoef, M. H. G. (2013). A formal approach to collaborative modelling and co-simulation for embedded systems. Mathematical Structures in Computer Science, 23(04), 726–750. https://doi.org/10.1017/S0960129512000242
Lausdahl, K., Coleman, J. & Larsen, P. G. (2013). Semantics of the VDM Real-Time Dialect. Aarhus University, Department of Engineering. http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/ECE-13-_samlet.pdf
Hallerstede, S. (2009). Proving Quicksort correct in Event-B. Electronic Notes in Theoretical Computer Science, 259, 47-65. https://doi.org/10.1016/j.entcs.2009.12.017
Abrial, J.-R., Butler, M. J., Hallerstede, S., Hoang, T. S., Mehta, F. & Voisin, L. (2010). Rodin: an open toolset for modelling and reasoning in Event-B. International Journal on Software Tools for Technology Transfer, 12(6), 447-466. https://doi.org/10.1007/s10009-010-0145-y
Hallerstede, S. & Leuschel, M. (2012). Experiments in Program Verification using Event-B. Formal Aspects of Computing, 24(1), 97-125. https://doi.org/10.1007/s00165-011-0205-4
Hallerstede, S. & Leuschel, M. (2011). Constraint-based deadlock checking of high-level specifications. Theory and Practice of Logic Programming, 11(4-5), 767-782. https://doi.org/10.1017/S1471068411000299
Hallerstede, S. (2011). On the Purpose of Event-B Proof Obligations. Formal Aspects of Computing, 23(1), 133-150. https://doi.org/10.1007/s00165-009-0138-3
Hallerstede, S., Leuschel, M. & Plagge, D. (2013). Validation of Formal Models by Refinement Animation. Science of Computer Programming, 78(3), 272-292. https://doi.org/10.1016/j.scico.2011.03.005
Hallerstede, S., Jastram, M. & Ladenberger, L. (2014). A Method and Tool for Tracing Requirements into Specifications. Science of Computer Programming, 82, 2-21. https://doi.org/10.1016/j.scico.2013.03.008
Larsen, P. G., Fitzgerald, J. S. & Fitzgerald, J. S. (2009). Practice-oriented courses in formal methods using VDM++. Formal Aspects of Computing, 21(3), 245-257. https://doi.org/10.1007/s00165-008-0068-5
Bennedsen, J. B. & Schulte, C. (2010). BlueJ Visual Debugger for Learning the Execution of Object-Oriented Programs? ACM Transactions on Computing Education, 10(2), Artikel 8. https://doi.org/10.1145/1789934.1789938
Larsen, P. G. & Bryans, J. (red.) (2009). Proceedings of the 7th OVERTURE Workshop 2nd November, 2009, Eindhoven. University of Newcastle upon Tyne. University of Newcastle-upon-Tyne. Computing Science. Technical Report Series Nr. CS-TR-1177 http://www.cs.ncl.ac.uk/publications/trs/papers/1177.pdf
Gmehlich, R., Grau, K., Hallerstede, S., Leuschel, M., Lösch, F. & Plagge, D. (2011). On Fitting a Formal Method into Practice. I S. Qin & Z. Qiu (red.), Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011 (s. 195-210). Springer. https://doi.org/10.1007/978-3-642-24559-6_15
De Boer, F., Bonsangue, M., Hallerstede, S. & Leuschel, M. (red.) (2010). Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Revised Selected Papers. Springer. Lecture Notes in Computer Science Bind 6286 https://doi.org/10.1007/978-3-642-17071-3

Viser resultater 901 til 950 ud af 1061

Forrige

13

14

15

16

17

18

19

20

21

22

Næste

Revideret 07.07.2026
-
AU Engineering