Undergraduate projects

  1. Class diagram correctness: Connecting Problem Identification with an explanation and repair advise (using a catalog of incorrectness patterns).
  2. Class diagram correctness: Application of patterns.
  3. Class diagram correctness: Implementing a propagation algorithm for propagation of disjoint and incomplete generalization set constraints.
  4. Class diagram correctness: Application of design patterns.