Ongoing projects
Students Project title Kind Place Supervisor Completion
Louise Ege and Nicki Lehmann Møller Evaluation of DSL Tools for Navision MSc project ITU Peter Sestoft Ongoing
Ulrich Haslund LINQ vs. ADO.Net MSc project ITU Kasper Østerbye Ongoing
Nicolai Ritz og Deike Driseberg Multi-table inheritance with DLINQ MSc project ITU Kasper Østerbye Ongoing
Pablo Estaban Carballo Analysis of evolvable computing systems MSc thesis ITU Yvonne Dittrich Ongoing
Bjørn Petersen Master resource planning in Axapta PhD project DIKU David Pisinger Ongoing
Simon Spoorendonk Master resource planning in Axapta PhD project DIKU David Pisinger Ongoing
Sebastien Vaucouleur (ESP) Evolvable software kernels PhD project ITU Peter Sestoft, Yvonne Dittrich Ongoing, expected 2009
Anders Hessellund Gradual model formalization PhD project ITU Peter Sestoft, Kasper Østerbye Ongoing, expected 2008
Julia Grishina, Veronika NN A verbose temporal rule language MSc thesis ITU Henrik Reif Andersen Ongoing
Chris Hlasny (USEC) Multi-level product models MSc thesis ITU Henrik Reif Andersen Ongoing
Peter Tiedemann (USEC) PhD project ITU Henrik Reif Andersen Ongoing, expected 2008
Esben Rune Hansen (USEC) Embedded configuration in business objects PhD project ITU Henrik Reif Andersen Ongoing, expected 2008
Lone Marner Mortensen Automatisk indkøbsoptimering, -- modeller og løsninger MSc level project DIKU David Pisinger Ongoing
Jacob Winther Jespersen Model-based user interface development with strong domain dependence PhD project ITU Kasper Østerbye Ongoing, expected 2006
Christian Stefansen A declarative framework for the REA model PhD project DIKU Fritz Henglein Ongoing, expected 2007
Signe Ellegård Borch Ontology as a tool in adaptive business processes PhD project ITU Yvonne Dittrich Ongoing
Mette Jaquet Making the REA model operational in a model driven approach to generating enterprise systems PhD project ITU Kasper Østerbye Ongoing
Completed projects
Kasper Bilsted Graversen An analysis of roles as a language construct PhD project ITU Kasper Østerbye 2006
Jun Li, Jenny Lie (USEC) Visualization of product models 16-week project ITU Henrik Reif Andersen June 2006
Priyadarsini Seetharaman, Suraj Ramalingam Integration of Business Rules into the Microsoft Business Framework MSc thesis ITU Peter Sestoft March 2006
Stuart Henney (USEC) Interactive Distributed Configuration MSc thesis ITU Henrik Reif Andersen March 2006
Katrine Bohus Madsen (USEC) Variable Ordering for Interactive Configuration MSc thesis ITU Henrik Reif Andersen March 2006
Martin Leboeuf, Thomas Kølle, Søren Juul Implementing BDDs in C# MSc thesis ITU Ken Friis Larsen March 2006
Paul D'Souza, Matthew Travaille Model Validation in MBF MSc thesis ITU Henrik Reif Andersen 2005
Julia Grishina A Verbose Temporal Rule Language 4 week project (pre-thesis) ITU Henrik Reif Andersen 2005
Sudhakar Sudhakar Efficient Runtime Verification Using Quantified Difference Inequalities and Difference Decision Diagrams MSc thesis ITU Kåre Kristoffersen 2005
Niels Teglsbo Jensen, Philip Skov Knudsen, Mads Lundemann Dynamisk allokering af ressourcer MSc thesis DIKU David Pisinger 2005
Chethan Hunsoor Thopaiah, Vijay Kumar Kotagiri Domain-specific scripting language for MBF MSc thesis ITU Peter Sestoft September 2005
Dennis Rosenkvist-Jensen, Jonas Kej Åradsson Location Aware Shopping MSc thesis ITU Kåre Kristoffersen, Kjeld Schmidt September 2005
Simon Spoorendonk, Mads Kehlet Jepsen, ??Pedersen A flexible branch-and-cut-and-price framework for variants of the vehicle routing problem MSc thesis DIKU David Pisinger August 2005
Thomas Egebak Jørgensen, Alex Jensen Material Requirement Planning BSc thesis DIKU Martin Zachariasen, Stefan Røpke June 2005
Bente Bek Petersen Construction and Management of Temporal Business Rules MSc thesis ITU Kåre Kristoffersen June 2005
Divya Raj Malemane Construction and Management of Temporal Business Rules MSc thesis ITU Kåre Kristoffersen June 2005
Stuart Henney, Tarik Hadzic (USEC) Distributed Configuration 4-week project ITU Henrik Reif Andersen June 2005
Tine Bak (USEC) Business Flow Modeling using BDD-based Configuration MSc thesis ITU Henrik Reif Andersen March 2005
Ali Chohan, Stine Balthazar, Anders Hessellund Supply chain integration MSc thesis ITU Kasper Østerbye March 2005
Bue Pedersen, Ulrik Duerlund Olsen Verification Server / Rule Engine for Temporal Business Rules MSc thesis ITU Kåre Kristoffersen, Yvonne Dittrich March 2005
Anders Hauge, Oliver Morrison AxQL, a new query language for Microsoft Axapta MSc thesis ITU Peter Sestoft March 2005
Per Mikkelsen Tool for Constructing Temporal Business Rules MSc thesis ITU Kåre Kristoffersen January 2005
Michael Nissen Verification of temporal properties for contract specifications BSc thesis DIKU Fritz Henglein 2005
Daniel Brixen Inkrementelle metoder til REA-baseret rapportering (Incremental methods for REA-based reporting) MSc thesis DIKU Fritz Henglein 2005
Dorina Neumann Udtrækning af rapporter MSc thesis ITU Kasper Østerbye November 2004
Jan Larsen og Dorina Neuman Implementation af et lagerstyringssystem med REA modellen 16 week project ITU Kasper Østerbye May 2004
Claus Hallas Nielsen, Anders Hauge, Oliver Morrison, Runi Thomsen X++ Language Description 4 week project ITU Peter Sestoft May 2004
Niels Jørgen Kokholm An extended library of collection classes for .Net MSc thesis ITU Peter Sestoft March 2004
Jesper Andersen, Ebbe Elsborg, Compositional specification of commercial contracts MSc term project DIKU Fritz Henglein 2004
Kim Hartung Jørgensen, Lasse Langthaler og Martin Lindhard Supply Chain Management using REA 16 week project ITU Kasper Østerbye December 2003
Jacob Borella Design Patterns Using Aspect-Oriented Programming MSc thesis ITU Kasper Østerbye November 2003
Theis Poulsen Udvikling af et framework for REA modellen MSc thesis ITU Kasper Østerbye August 2003
Mikkel Skovsgaard Jensen Identification of Financial and Operational Information in Enterprise Models based on the REA Model MSc thesis ITU Kasper Østerbye August 2003
Kristian Føge Jensen og Susanne Bisgaard Aksiomer for Ressource-Event-Agent modellen som fundament for UML Validering MSc thesis ITU Kasper Østerbye August 2003
Katrine Kloster Andersen Transparens og effektivitet ved persistering af objekter MSc thesis ITU Kasper Østerbye July 2003
Niels Jørgen Kokholm NO REA Generating Naked Objects applications from REA business declarations 16 week project ITU Kasper Østerbye May 2003
Mette Jaquet REAlistic MSc thesis ITU Kasper Østerbye March 2003
Christian Pedersen, Maibritt Brink Larsen Verification of Temporal Business Rules at Runtime MSc thesis ITU Kåre Kristoffersen March 2003
Thomas Sandvik Jamaica Business Language MSc thesis ITU Kasper Østerbye January 2003
Henrik Ibsen Hansen, Morten Holm Kodegenerering på køretid i Navisions Jamaica-arkitektur (Runtime code generation in Navision's Jamaica architecture) MSc thesis ITU Peter Sestoft and Jacob Bendsen November 2002
Stig Jensen Undersøgelse af begrænsninger i Jamaica MSc thesis ITU Kasper Østerbye November 2002
Arja Tiina Siltamies Konfigurering af business rules med et udviklingsværktøj til ERP systemer MSc thesis ITU Kasper Østerbye November 2002
Lars Dag Erichsen, Siddhartha Raychaudhuri Language contructs and architecture. MSc thesis ITU Kasper Østerbye August 2002
Elsebeth Abrahamsen Roller i objektorienteret modellering MSc thesis ITU Kasper Østerbye January 2002
Ole Bue Lond, Jakob Rauhe, Accommodating Change in Enterprise Applications MSc thesis ITU Fritz Henglein 2002
Jakob Bendsen, Rasmus Lund Design of a software architecture for distributed information systems based on Java enterprise technology MSc thesis ITU Fritz Henglein 2001

Student projects in relation to Next