Open Research Topics for Students

  1. Development, implementation and embedding of a modeling language basd on F-Logic, an Object-oriented logic programming language.
  2. Class diagram evolution: Support invariant transformation.
  3. Model level software development environment: Model to code, runtime evaluation of constraints, model level software evolution.