Onsdag den 23. oktober 2013 Bachelorprojekt forår 2014 Information om formalia, projektaftaler og vejledere Linjeleder Rune Møller Jensen Bachelorprojekt F · 1

Forudsætning: bestået 120 ECTS November – januar. Indkredsning af emne og foreløbig kontakt med vejleder. Primo december. Møde om vejledersøgning – opsamling. Rune og Mette indkalder. 27. januar. Semesterstart Ca. uge 4 Møde om vejledere, projektgruppe og projektaftale 1. februar. Oprettelse af projektaftale i projektbasen 15. februar. Indsendelse af projektaftale til godkendelse af studienævnet Sidst i maj (dato kommer endnu ikke planlagt): Aflevering af projekt. Maj/juni: Mundtligt forsvar af projekt Bachelorprojekt – Forløb og deadlines · 2

Intranet mit.itu Projektbasen (Opret projekt som bachelorprojekt) Vejledning til projektbasen og oprettelse af projekt (Study Guide→ Software Development >Your Programme >Bachelor Project >Rules and Formalia) Spørgsmål? Kontakt Mette Holm Smith (uddannelseskoordinator) 3D25 Spørgsmål om projektbasen eller SAP Front Office udenfor 3D Bachelorprojekt - Projektbasen · 3

a)Softwarekonstruktionsprojekt b)Konsulentrapport for en organisation c)Design-opgave d)Litteraturstudium e)Teoretisk eller teknisk forskningsrapport f)Beskrivelse og vurdering af en ny teknologi Projekttyper · 4

Nogle velmente råd · 5 Projektvalg Det er væsentligt, at problemet er både vigtigt og svært Det kan derfor være en god ide at vælge et projekt foreslået af din vejleder

Fabrizio Montesi (ansat til projektvejledning) - Develop a public repository of Joile services - Extend JSOA, cloud computing based on Jolie - Extend Chor to use complex data structures - Dit projektforslag! Søren Lausen - Software specifikation, brugergrænseflader, health IT Claus Brabrand - Programming languages, domain specific languages Yvonne Dittrich - Software engineering, Participatory design Vejlerede og Projekter · 6

Peter Sestoft - Writing C# plugins for MS Excel - Implement a type checker for dependent types in F# - Implement an interpreter for the core language TT Jakob Bardram (PitLab) - Mobile App development for metal health - Quality Assurance and Testing Setup - Testing of novel research technology at hospitals M. Ali Babar - Private cloud security - Tools for globally distributed teams Vejlerede og Projekter · 7

(Philipe Bonnet) - Database tuning, flash-based database systems Thomas Hildebrandt - Business process modeling Marco Carbone - Language development of Jolie Andrzej Wąsowski - Domain modeling og fire alarm systems - Create catalog of document bugs in Linux kernel - Evaluate the modeling language Clafer - Assessing the complexity of Software Systems - topics around OMG diagram definition standard Vejledere og Projekter · 8

Carsten Schürmann - Building a voting machine for people with disabilities - Proving crypto constructions in Agda - Extending the Helios voting system Rasmus Ejlers Møgelberg - Denotational semantics, category theory (Rasmus Pagh) - Datamining algorithmics Rune M. Jensen linear models of lashing constraints in containerships - linear models of crane utilization in container ports Vejledere og Projekter · 9

Dan Witzner - Billedbehandling, analyse af sportstræning - Introdukion til machine learning Kasper Støy - Programmering af 3D printere og kunstigt liv - Robot locomotion - ”prog.-sprog" til beskrivelse af fysiske former Thore Husfeldt - Combinatorial optimization algorithmics Jesper Larsson - Efficient computation in database/search systems Vejledere og Projekter · 10