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

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

Jastram, M., Hallerstede, S., Leuschel, M. & Russo, A. G. (2010). An approach of requirements tracing in formal refinement. I G. T. Leavens, P. O'Hearn & S. K. Rajamani (red.), Verified software: theories, tools, experiments: Third International Conference, VSTTE 2010 (s. 97-111). Springer. https://doi.org/10.1007/978-3-642-15057-9_7

Jastram, M., Hallerstede, S. & Ladenberger, L. (2011). Mixing Formal and Informal Model Elements for Tracing Requirements. I AVOCS'11: Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (s. (53-67)). European Association of Software Science and Technology. http://deploy-eprints.ecs.soton.ac.uk/330/1/avocs2011.pdf

Hallerstede, S., Leuschel, M. & Plagge, D. (2010). Refinement-Animation for Event-B - Towards a Method of Validation. I M. Frappier, U. Glässer, S. Khurshid, R. Laleau & S. Reeves (red.), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010. Proceedings (s. 287-301). Springer. https://doi.org/10.1007/978-3-642-11811-1_22

Hallerstede, S. & Leuschel, M. (2011). Finding Deadlocks of Event-B Models by Constraint Solving. Afhandling præsenteret på B2011 Workshop, Limerick, Irland. http://www.stups.uni-duesseldorf.de/mediawiki/images/a/a7/Pub-HaLeBW2011.pdf

Hallerstede, S. & Leuschel, M. (2009). How to explain mistakes. I Teaching Formal Methods. Proceedings Second International Conference, TFM 2009 (s. 105-124)

Hallerstede, S. (2009). Incremental System Modelling in Event-B. I F. S. D. Boer, M. M. Bonsangue & E. Madelaine (red.), Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Revised Lectures (s. 139-158). Springer. https://doi.org/10.1007/978-3-642-04167-9_8

Viser resultater 901 til 950 ud af 1055

Forrige

Næste

Back to the main page

Revideret 13.11.2025

AU Engineering