Travelled to:
1 × Austria
1 × Israel
1 × New Zealand
1 × Spain
1 × USA
Collaborated with:
A.Maraee M.Kifer
Talks about:
uml (4) diagram (3) class (3) constraint (2) model (2) recommend (1) constrain (1) guidelin (1) composit (1) softwar (1)
♀ Person: Mira Balaban
DBLP: Balaban:Mira
Facilitated 5 volumes:
Contributed to:
Wrote 5 papers:
- MoDELS-2014-MaraeeB #diagrams #uml
- Removing Redundancies and Deducing Equivalences in UML Class Diagrams (AM, MB), pp. 235–251.
- MoDELS-2013-BalabanM #composition #constraints #correctness #diagrams #multi #uml
- Simplification and Correctness of UML Class Diagrams — Focusing on Multiplicity and Aggregation/Composition Constraints (MB, AM), pp. 454–470.
- MoDELS-2012-MaraeeB #analysis #comparative #constraints #guidelines #modelling #recommendation #uml
- Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines (AM, MB), pp. 302–318.
- MoDELS-2011-BalabanK #development
- Logic-Based Model-Level Software Development with F-OML (MB, MK), pp. 517–532.
- ECMDA-FA-2007-MaraeeB #diagrams #finite #performance #reasoning #satisfiability #set #uml
- Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets (AM, MB), pp. 17–31.