Mira Balaban -- Research Projects



  1. Modeling Languages



  2. Correctness of UML Class Diagrams
  3. Azzam Maraee and Mira Balaban: "Simplification and Correctness of UML Class Diagrams -- Focusing on Multiplicity and Aggregation/Composition Constraints", MoDELS'2013.
  4. Mira Balaban and Azzam Maraee: "Finite Satis´Čüability of UML Class Diagrams with Constrained Class Hierarchy", ACM Trans. Softw. Eng. Methodol. 22, 3, Article 24 (July 2013), 42 pages.
  5. Azzam Maraee and Mira Balaban: "Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines", MoDELS'2012.


  6. Data Access Patterns



  7. Knowledge representation in Music: SIMC -- Structure and Interpretation of Music Concepts