Bachelorprojekt - Softwareteknologi
Tidligere projekter

Aktuelle

Tidligere

Følgende lister af tidligere projekter kan evt. tjene som inspiration.

Tidligere udbudte projekter

Nr.	Titel	Vejleder(e)
0001	Motions and rigidity in LEGO models	TB
0002	Artificial Intelligence in Computer Game Engines	TB
0003	Multi-Agent Robotics using LEGO NXT robots	TB (PAF)
0004	Translations between database query languages	TB
0005	Udvikling af en servlet container	SH MN
0006	Sags- og dokumentstyringssystem	SH MN
0007	Simulation of Railway Relays	AH HUB
0008	A simulator for digital micro-fluidic biochips	POP
0009	Implementation of an adaptive cruise-controller on a Simics-bsed virtual automotive architecture	POP
0010	Model-driven development of automotive applications using EAST-ADL	POP
0011	Persistent Authentication in Smart Environments	CDJ
0012	The Intelligent Home Simulator	CDJ
0013	Doorway Collision Control System	CDJ
0014	Textual Similarity	RIS
0015	Agent-based e-Commerce	RIS
0016	Detection and Tracking of Motion Data in Video Data	PAF (DWH)
0017	Vocabulary trainer and dictionary for Palm OS	HUB
0018	Games for attacking cryptographic protocols	HRN
0019	A Tool for Web-based Management of Call-for-Papers	CHPR
0020	Design of a Secure File System	FRN
0021	CAN-bus Monitor for Linux	HHL
0022	Decision procedure for a real-time logic	MRH
0023	Development of a Paraconsistent Knowledge-Based System	JV
0024	Natural Language Processing using Lexical and Logical Combinators	JV
0025	Multiprocessor implementeted in FPGA	JS
0026	Compiling from HASTE to CDFG - a frontend for an asynchroous circuit synthesis system	SFN CHPR JS
0027	Protocol Simulator	HHL
0028	Mission Planning System	HHL
0029	MR Scanner Overvågning	JTK
0030	Concurrent Data Structures	HHL PAF
0031	CAN-bus protocol for DTUsat	HHL
0032	Sensor Network using SunSpots	HHL PAF
0033	Design, implementation and analysis of algorithms on multi-core systems	PAF
0034	JTAG based Hardware Debugger	JM
0035	A simple tool for simulating systems	EKI
0036	3D-Visualisation	EKI
0037	Collaborative Mindmaps	CDJ
0038	Intelligent Lighting	CDJ
0039	Software-kontrollerede caches	JS
0040	Secure Protocol Implementation with LySa	HP
0041	Making programming fun with aspects	CWP
0042	Graphical Monitoring of DTUsat-2	HHL
0043	Onboard Mass Storage for DTUsat-2	HHL
0044	PNML Tools	EKI
0045	Parallel decision procedures for arithmetics	MRH
0046	Implementation of randomized evaluation strategies for game-trees on multi-core systems	PAF
0048	SunSpots Applications	HHL PAF
0050	Test Environment for DTUsat-2	HHL
0051	Fail-Safe Control for DTUsat-2	HHL
0052	Search Engine Project	PB ILG
0053	FenixOS - Virtual memory management system	SK
0054	FenixOS - Storage device driver	SK
0055	FenixOS - EGLIBC port	SK
0057	Game playing programs	SK
0059	Sound synthesis on GPUs	SK
0061	A 3D topological data structure for handling wire frame models	FA
0062	Security for Mobile Systems	ND
0063	Social Commitments Semantics for Agent Communication	ND
0064	Semiautomatic Modelling of 3D Objects	AB HAa
0065	Adding to GEL	AB
0066	Udvikling af sociale netværk	CWP
0067	Red, Green, Refactor! - Modelkonfiguration møder Programmeringssprog	CWP
0068	DTUsat-2 Ground Station Control	HHL
0069	An Interpreter for OCL in PROLOG	HS
0070	UML State Machines for AIDE	HS
0071	Pretty Rendering for AIDE	HS
0072	Model Reports for MagicDraw	HS
0073	Facial scan alignment	RRP
0074	Facial symmetry analysis	RRP
0075	Texture mapping and retexturing	RRP
0076	The intelligent Kitchen assistant	FN
0077	PIN guessing game	HRN
0078	Vehicle communication simulator	CWP
0079	ePNK: A generic PNML Tool	EKI
0080	GEL Udvidelser	AB
0081	Kryptologisk legestue	CDJ
0082	Software arkitekturer for intelligente bygninger	CDJ
0083	Interfacing to a CompactFlash Memory Card on a FPGA	SK
0084	SDRAM memory controller on a FPGA	SK
0085	Cache controller on a FPGA	SK
0086	Visual Programming Environment with tangible programming	FA MR
0087	A Software Tool for Learning Syntax	JV
0088	Automatic Recognition of Blog Entries	JV
0089	Assembler for the Patmos VLIW Processor	MS
0090	Simulator for Patmos	MS
0092	Cache for Patmos	MS
0093	SDRAM Memory Controller	MS
0094	Hardware Support for Scope Memory	MS
0097	Declarative specification of a fault tolerant clock-proxy auction protocol	ND
0098	Incremental State Space Visualization	HHL
0099	A Graphical Promela Editor	HHL
0100	SAT Algorithms in Prolog	JV
0101	Visualizing nature-inspired metaheuristics for optimization problems	CW
0102	An Eclipse-Perspective for Prolog	HS
0103	Tool Support for Inspections	HS
0104	User Interface for SPIN	HHL
0105	Evaluation of STM	HHL
0106	Intelligent kontrol af Solar Decathlon huset	CDJ
0107	Evaluation of Transmission Power Selection Algorithms for Energy Harvesting Wireless Sensor Networks	ND
0108	Test Kit for Safety-Critical Java	MS
0109	Extending the ePNK (a generic Petri net tool based on Eclipse and EMF)	EKI
0114	Parallelizing JavaScript and the Document Object Model	SK CWP
0115	Benchmarking JavaScript	SK CWP
0116	Ressourceplanlægning	MRH
0117	Analyse af store logfiler	RIS
0119	A graphical user interface for a railway analysis tool set	AH
0120	CAD tool for the routing of microfluidic component	POP JM
0121	CAD tool for the placement of microfluidic components	POP JM
0122	A game for teaching mathematics in elementary school	JRV
0123	A TDM based Network Interface Optimized for FPGA Technology	MS
0125	iRewrite - automated advice for writing and rewriting scientific and technical documents	JK
0126	Flatland - Abbott's Flatland using Artificial Life	JK
0127	Walking with Dinosaurs - evolve dinosaurs that can move on their own accord	JK
0128	The Frankenstein of Hip Gaming - Minecraft meets Dwarf Fortress	JK
0129	Collaborative Project Development in Drupal	SK
0130	Mission Planning System	HHL
0131	DTUsat-2 Log Management	HHL
0132	Algoritmikprojekter i samarbejde med Lectio	PB ILG
0133	Solar Decathlon Projekt: Visualiering af forbrugsdata	CDJ
0134	Solar Decathlon Projekt: Sikker kommunikation med FOLD over Internettet	CDJ
0135	Solar Decathlon Projekt: Udvikling af komfortprofiler til intelligente bygninge	CDJ
0136	Solar Decathlon Projekt: Lokaliseringstjenester til intelligente bygninger	CDJ
0137	Udvikling af et spil der hjælper med læring af elementær matematik	JRV
0139	Experimental AI Software Prototype for Computerized Chemical Retro-Synthesis	JFN
0140	Udvikling af værktøj til test af funktionsprogrammer	MRH
0142	Google Loon - balloon-powered internet for everyon	JM
0144	FPGA implementation of lc3 processor	ET
0146	Initialisering af Windows maskiner i et kontrolleret miljø	SH
0148	Solar Decathlon Project: Social Networks for Local Communities using Cloud Platform	CDJ
0149	Solar Decathlon Project: Data Mining the Smart House	CDJ
0150	Solar Decathlon Project: Controlling Smart Houses	CDJ
0151	Ethernet Interface for T-CREST	MS
0152	Visualizing nature-inspired metaheuristics for optimization problems	CW
0156	DTUsat Ground Components	HHL
0157	Task-based Concurrent Execution i Java	HHL
0161	Værktøj til administration af digital post	HHL
0162	A Tool for Visualization of Serialization	HHL
0163	App for versatile Point-of-Care in-vitro medical testing applications	JM
0164	Tracking for Angler's App	EKI
0165	Dimension Types	FN
0166	A graphical tool for computing action effects in dynamic epistemic logic	TB
0167	Running a language in Maude	ALL
0168	Playing with Tuple Spaces	ALL
0169	Analysis of Graphs of Interactions	ALL
0170	Sharing Data in Distributed Applications	ALL
0171	Querying Graphs and Transitions Systems	ALL
0173	Union Types in ROS	HHL
0179	Finding inside attackers - matching observed and actual actions	CWP
0190	Protecting Critical Infrastructure	CWP KH
0193	Tool coordination and coupling	CWP ALL
0194	Security analysis of IoT systems	CWP
0195	Auto-generation of Test Scripts from the Modeling of Test Scenarios in the form of MSC Description	HB
0202	Design of an Ultra Low Power Processor for Hearing Aids	AN
0204	En eksemplarisk app til undervisningsbrug	HHL
0205	ChibiOS drivere til LCP mikrocontroller	HHL
0207	Control Software for Star-tracker EGCS	HHL

Eksempler på tidligere individuelle projekter

Nr.	Titel	Vejleder(e)
9984	Natural Language Interface to Command Line File Operations	JV
9985	Paraconsistent Higher-Order Logic for Knowledge-Based Systems	JV
9986	User guided construction of architectural models from photographs	JAB
9987	Segmentation of ice crystals	JMC
9988	Sikring af kommunikationsnetværk ved brug af single backup path protection	TKS
9989	Secure Remoting Application using WCF and WPF in .NET 3.0 including Administration Mangement System (AMS) and MS-SQL	BJP
9990	Analysis and Evaluation of a simple Semantic Fingerprinting Scheme for text documents in Logical Markup Languages	CDJ
9991	Static Analysis of Concurrent Java Programs	CHPR
9992	Reasoning about knowledge in planning	TB
9993	Concurrent Search Trees	HHL PAF
9994	Tool Support for Business Processes	MRH
9995	Heuristic algorithms for NP-complete problems	PAF
9996	Declarative Programming and Natural Language	JV
9997	Artificial Intelligence in Board Games	TB
9998	City Simulator	NJC
9999	A Tool for Semantic Description Languages	CHPR

Listen er ikke fuldstændig.

Sidst opdateret: Dec 7, 2017 af Hans Henrik Løvengreen