Follow
Azzam Maraee
Azzam Maraee
Achva Academic College
Verified email at cs.bgu.ac.il
Title
Cited by
Cited by
Year
Efficient reasoning about finite satisfiability of UML class diagrams with constrained generalization sets
A Maraee, M Balaban
Model Driven Architecture-Foundations and Applications: Third European …, 2007
572007
Finite satisfiability of UML class diagrams with constrained class hierarchy
M Balaban, A Maraee
ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (3), 1-42, 2013
522013
A pattern-based approach for improving model quality
M Balaban, A Maraee, A Sturm, P Jelnov
Software & Systems Modeling 14, 1527-1555, 2015
332015
Management of correctness problems in UML class diagrams towards a pattern-based approach
M Balaban, A Maraee, A Sturm
International Journal of Information System Modeling and Design (IJISMD) 1 …, 2010
322010
A UML-based method for deciding finite satisfiability in description logics
A Maraee, M Balaban
CEUR Workshop Proceedings 353, 2008
252008
Efficient recognition and detection of finite satisfiability problems in uml class diagrams: Handling constrained generalization sets, qualifiers and association class constraints
A Maraee, V Makarenkov, B Balaban
MCCM08, 2008
182008
Consistency of UML class diagrams with hierarchy constraints
M Balaban, A Maraee
Next Generation Information Technologies and Systems: 6th International …, 2006
182006
Simplification and correctness of uml class diagrams–focusing on multiplicity and aggregation/composition constraints
M Balaban, A Maraee
International Conference on Model Driven Engineering Languages and Systems …, 2013
142013
Efficient recognition of finite satisfiability in UML class diagrams: Strengthening by propagation of disjoint constraints
A Maraee, M Balaban
2009 International Conference on Model-Based Systems Engineering, 1-8, 2009
142009
Removing redundancies and deducing equivalences in UML class diagrams
A Maraee, M Balaban
Model-Driven Engineering Languages and Systems: 17th International …, 2014
132014
Inter-association constraints in UML2: comparative analysis, usage recommendations, and modeling guidelines
A Maraee, M Balaban
Model Driven Engineering Languages and Systems: 15th International …, 2012
122012
Formal executable theory of multilevel modeling
M Balaban, I Khitron, M Kifer, A Maraee
Advanced Information Systems Engineering: 30th International Conference …, 2018
82018
Finite satisfiability of class diagrams: practical occurrence and scalability of the FiniteSat algorithm
V Makarenkov, P Jelnov, A Maraee, M Balaban
Proceedings of the 6th International Workshop on Model-Driven Engineering …, 2009
82009
Efficient methods for solving finite satisfiability problems in uml class diagrams
A Maraee
Ben Gurion University of the Negev, 2007
72007
Removing redundant multiplicity constraints in UML class models
M Balaban, A Maraee
Software & Systems Modeling 18, 2717-2751, 2019
62019
Multilevel modeling: what's in a level? A position paper.
M Balaban, I Khitron, M Kifer, A Maraee
MoDELS (Workshops), 693-697, 2018
62018
On the interaction of inter-relationship constraints
A Maraee, M Balaban
Proceedings of the 8th International Workshop on Model-Driven Engineering …, 2011
62011
Efficient decision of consistency in UML diagrams with constrained generalization sets
A Maraee, M Balaban
Proc. of the 1st Workshop on Quality in Modeling, co-located. at MoDELS'06, 1-14, 2006
62006
UML Class Diagrams: Semantics, Correctness and Quality
A Maraee
Ben-Gurion University of the Negev, 2012
52012
Contextaware factors in rearchitecting two-level models into multilevel models
M Balaban, I Khitron, A Maraee
Computer Software 1, 1, 2018
42018
The system can't perform the operation now. Try again later.
Articles 1–20