Our paper entitled “A Model-Driven Framework for Developing Multi-Agent Systems in Emergency Response Environments“ is accepted for publication in Software and Systems Modeling (SoSyM) journal.
Congratulations to Mr. Alireza Rouhi for successfully defending his Ph.D. thesis entitled “Presenting a process for generating a pattern language verifier” and receiving outstanding mark.
Our paper entitled “Contract Verification of ETL Transformations” is accepted for presenting in 7th International Conference on Computer and Knowledge Engineering (ICCKE 2017).
Congratulations to our team members, Dr. Bahman Zamani, Dr. Kolahdouz Rahimi, Mrs. Samimi, and Mr. Sharbaf for receiving several awards in Transformation Tool Contest (TTC 2017). These awards are as follows: Best Overall Award for solving “State Elimination Case” using…
Our paper entitled “A Survey of Model Transformation Design Pattern Usage“ is accepted for presenting in 10th International Conference on Model Transformation (ICMT 2017).
Our paper entitled “A model-based framework for automatic generation of a pattern language verifier“ is accepted for publication in Software: Practice and Experience journal.
Our paper entitled “A novel approach for automatic model-based test case generation” is accepted for publication in Scientia Iranica journal.
Video of “MDE Workshop – Theory & Practice” is now published. You can see these here.
Our paper entitled “Automatic Pattern Proposition in Transformation Life Cycle” is accepted for publication in International Journal of Information Technologies and Systems Approach.
Our paper entitled “An Automatic Test Case Generator for Evaluating Implementation of Access Control Policies” is accepted for publication in ISeCure journal.