ד"ר עזאם מרעי - מכללת אחווה

עזאם מרעי

Azzam Maraee

מרצה בכיר במערכות מידע ומדעי המחשב היישומיים

תפקיד מנהלי: חבר בוועדת הוראה

[email protected]

השכלה

Ph.D. in Computer Science
M.Sc.. in Information Systems Engineering
B.Sc. Mathematics and Computer Science

מחקר

My research focuses on software engineering with emphasis on modeling: model correctness and reasoning, modeling languages and model patterns, requirements engineering, and AI in software engineering

דיסציפלינות ראשיות

Main Disciplines

Software Engineering

דיסציפלינות משניות

Secondary Disciplines

Software Modeling Languagesl Requirements Engineering

פרסומים נבחרים

Balaban, M., Kifer, M., Maraee, A, (2023). Clabject Typing in MLM – The Double Life of a Clabject. In Proceedings of the 25th International Conference on Model-Driven Engineering Languages and Systems: Companion Proceedings

Balaban, M., Khitron, I. and Maraee, A, (2022). Accidental complexity in multilevel modeling revisited. Software and Systems Modeling, 21(2), pp.517-542

Maraee, A., Sturm, A, (2022). Towards Simplification of ME-Maps. In: Augusto, A., Gill, A., Bork, D., Nurcan, S., Reinhartz-Berger, I., Schmidt, R. (eds) Enterprise, Business-Process and Information Systems Modeling. BPMDS EMMSAD 2022. Lecture Notes in Business Information Processing, vol 450

Maraee, A., & Sturm, A, (2021). Imperative versus declarative constraint specification languages: a controlled experiment. Software and Systems Modeling, 20, 27-48

Balaban, M., & Maraee, A, (2019). Removing redundant multiplicity constraints in UML class models. Software and Systems Modeling, 18(4): 1-35

Maraee, A., Arnon S, (2019). The usage of constraint specification languages: a controlled experiment. Enterprise, Business-Process and Information Systems Modeling BPMDS 2019, (pp.329-343)

Balaban, M., Maraee, A., Sturm, A., Jelnov, P, (2015). A Pattern-Based Approach for Improving Model Quality. Software and Systems Modeling, 14(4)

Maraee, A. and Balaban, M, (2014). Removing Redundancies and Deducing Equivalences in UML Class Diagrams. ACM/IEEE 17th International Conference on Model-Driven Engineering Languages and Systems (MODELS 2014), Valencia, 2014. 235-251

Balaban, M., Maraee, A, (2013). Finite satisfiability of UML class diagrams with constrained class hierarchy. ACM Transactions on Software Engineering and Methodology (TOSEM), 22(3), 24

Balaban, M. Maraee, A., Sturm, A, (2010). Management of Correctness Problems in UML Class Diagrams – Towards a Pattern-Based Approach. International Journal of Information System Modeling and Design, 1(4), 24

פרסומים נוספים