{{teaching:thesis0809:proposals:progssellogo.jpg?400|PROG - SSEL}}

====== Thesis and Apprenticeship Proposals 2008-2009 ======

Feel free to contact us for more information on the topics below.  Note that the topics are not 100% fixed.  We are always open for suggestions and are willing to tailor a proposal that matches your particular interests/background.

If you want to get a feeling of the kind of research we are involved in then take a closer look at the websites of [[http://prog.vub.ac.be/|PROG]] and [[http://ssel.vub.ac.be/|SSEL]].

===== Workflow Languages =====

  * {{teaching:thesis0809:proposals:improving_separation_of_concerns_in_workflow_languages_using_advanced_subworkflows.pdf|Improving separation of concerns in workflow languages using advanced subworkflows}} ([[about:members:nielsjoncheere|Niels Joncheere]], [[about:members:ragnhildvanderstraeten|Ragnhild Van der Straeten]] - SSEL)
  * An Extensible [[http://en.wikipedia.org/wiki/BPMN|BPMN]] Interpreter ([[http://ssel.vub.ac.be/dderidde/|Dirk Deridder - SSEL]])



===== Programming Languages =====

  * [[http://ssel.vub.ac.be/c3/cobro|Making Documentation a First-Class Citizen in a Programming Language]] ([[http://ssel.vub.ac.be/dderidde/|Dirk Deridder - SSEL]] and Andy Kellens)
  * [[prison]] ([[about:members:elinephilips|Eline Philips]] - SSEL, [[http://wilma.vub.ac.be/~cfscholl/|Christophe Scholliers]] - PROG)
  * [[BitRot|Help, mijn bits zijn rot!]] (Stijn Mostinckx, Elisa Gonzalez Boix , Tom Van Cutsem - PROG)
  * [[Reactive|Browser, wat is uw reactie daarop?]] (Thomas Cleenewerk, Stijn Mostinckx - PROG)
  * Language Independence in Language Implementations ([[http://prog.vub.ac.be/~thomas/|Thomas Cleenwerck - PROG]])
  * Experimenting with interactions among language constructs in LTS ([[http://prog.vub.ac.be/~thomas/|Thomas Cleenwerck - PROG]])
  * [[reflective-compile|Dynamic compilation for reflective languages]] ([[http://p-cos.net|Pascal Costanza]], Charlotte Herzeel))
  * [[transaction-updates|Safe dynamic updates through software transactions]] ([[http://p-cos.net|Pascal Costanza]], Charlotte Herzeel))
  * [[vms|Virtuele machines voor gewone stervelingen]] (Stijn Timbermont, Theo D'Hondt - PROG)

===== Parallel Programming =====

  * [[Parallel programmeren in AmbientTalk|Parallel Programmeren voor manycore processoren met AmbientTalk]] (Tom Van Cutsem - PROG, Roel Wuyts & Maja D'Hondt - IMEC)
  * [[Parallel2|Parallelization of multimedia applications for embedded systems with multi-processor system on chip platforms]] (Tom Van Cutsem - PROG, Roel Wuyts & Maja D'Hondt - IMEC)

===== Model-Driven Engineering =====

  * [[intensional_views_on_mde]] ([[about:members:denniswagelaar]] - SSEL, [[http://prog.vub.ac.be/~akellens/|Andy Kellens]] - PROG)
  * Variability Issues in MetaCASE Tool Development ([[http://ssel.vub.ac.be/dderidde/|Dirk Deridder - SSEL]])
  * Towards Programmable Configuration Languages for Software Product Lines ([[http://prog.vub.ac.be/~thomas/|Thomas Cleenewerck - PROG]])

===== Inconsistency Management =====

  * An Extensible Consistency Validation Framework for Runtime Models ([[http://ssel.vub.ac.be/dderidde/|Dirk Deridder - SSEL]] and Ragnhild Van Der Straeten)
  * [[Alloy | Inconsistency Detection and Resolution using Alloy]] ([[http://ssel.vub.ac.be/ssel/about:members:ragnhildvanderstraeten|Ragnhild Van Der Straeten - SSEL]])
  * [[AlloyResolutions | Generating Inconsistency Resolutions using Alloy]] **A topic suited for students Master in de Toegepaste Informatica.** ([[http://ssel.vub.ac.be/ssel/about:members:ragnhildvanderstraeten|Ragnhild Van Der Straeten - SSEL]])
  * [[Strategies|Strategies for Incremental Inconsistency Resolution]] ([[http://ssel.vub.ac.be/ssel/about:members:ragnhildvanderstraeten|Ragnhild Van Der Straeten - SSEL]])
  * Using Verification Algorithms and Techniques for Automated Inconsistency Resolution ([[http://ssel.vub.ac.be/ssel/about:members:ragnhildvanderstraeten|Ragnhild Van Der Straeten - SSEL]])

===== Context-Oriented Programming =====

  * [[contexthop|ContextHOP: Context-Oriented Programming for the Web 2.0]] ([[about:members:http://prog.vub.ac.be/~jvallejo/|Jorge Vallejos]] - PROG, [[http://p-cos.net/|Pascal Costanza]] - PROG)
  * [[codacop|Bridging the gap between Context-Oriented Domain Analysis and Context-Oriented Programming]] ([[about:members:http://prog.vub.ac.be/~jvallejo/|Jorge Vallejos]] - PROG, [[http://p-cos.net/|Pascal Costanza]] - PROG)

===== Systems Engineering =====

  * {{teaching:thesis0809:proposals:robop_-_eindwerk_lego_mindstorms.pdf|Roboteam voor Lego Mindstorms platform}} ([[about:members:denniswagelaar]] - SSEL, [[http://www.dspvalley.com/|DSP Valley]])
  * {{teaching:thesis0809:proposals:robop_-_eindwerk_robocup_small_size_league.pdf|Roboteam voor deelname aan Robocup Small Size League}} ([[about:members:denniswagelaar]] - SSEL, [[http://www.dspvalley.com/|DSP Valley]])