Projects

From LRDE

Revision as of 17:48, 22 July 2013 by Daniela (talk | contribs) (Created page with "= Research Projects = You will find a more thorough presentation of the different projects by clicking each project name. == Olena == ...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Research Projects

You will find a more thorough presentation of the different projects by clicking each project name.

Olena

%INCLUDE{"Olena.Olena" pattern="^.*?(.*?).*"}%

  • Software design
    • Generic programming
    • Design patterns
  • Image processing

Vaucanson

%INCLUDE{"Vaucanson.Vaucanson" pattern="^.*?(.*?).*"}%

  • Software design
    • Generic programming
    • Design patterns
  • Automata theory


Spot: a Model Checking library

%INCLUDE{"Spot.WebHome" pattern="^.*?(.*?).*"}%


  • Automata theory
  • Model Checking


Transformers

%INCLUDE{"Transformers.Transformers" pattern="^.*?(.*?).*"}%

  • Compilation
  • Program transformation