عنوان FORMAL ANALYSIS OF UML 2.0 ACTIVITIES USING GRAPH TRANSFORMATION SYSTEMS نوع پژوهش مقاله چاپشده کلیدواژهها ثبت نشدهاست! چکیده ثبت نشدهاست! پژوهشگران رضا رافع (نفر سوم)، عادل قشائشده (نفر دوم)، وحید رافع (نفر اول)