التدرج الوظيفى

  • Present2015

    مدرس

  • 20152009

    مدرس مساعد

  • 20092004

    معيد

الدرجات العلمية

  • دكتوراه2015

    - التحقق من الامتثال لنماذج رسمية باستخدام مود

    Leicester

  • ماجستير2009

    طريقه واداره لدعم الانشطه المعماريه للبرمجيات

    جامعة القاهرة

  • بكالوريوس2004

    جامعة الزقازيق

BPMN Formalization and Verification using Maude

Journal Paper Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications, Volume 22, Issue 2, يوليو 2014, Pages 191-194

Abstract

OMG's Business Process Model and Notation (BPMN) standard provides an informal specification of a technology independent modelling language for designing business processes. However, BPMN models may include structural issues that hinder the

A Model for Rearchitecting Frameworks

Journal Paper International Journal of Software Engineering (IJSE), Volume 22, Issue 2, سبتمبر 2009, Pages 191-194

Abstract

Software rearchitecting is the process of obtaining a documented architecture for an existing system. There are many software rearchitecting frameworks which are based upon different concepts and context-related issues for a specific applic

Approaches to Software Re-architecting

Journal Paper The 37th International Conference on Computers and Industrial Engineering proceedings, Volume 22, Issue 2, أكتوبر 2007, Pages 191-194

Abstract

Reverse engineering of program code is the process of constructing a higher level of abstraction of an implementation in order to facilitate the understanding of a software system. Reverse architecting code has been advocated to identify th

CMMI-CM Compliance Checking of Formal BPMN Models using Maude

Journal Paper University of Leicester, Volume 22, Issue 2, يناير 2015, Pages 191-194

Abstract

From the perspective of business process improvement models, a business process which is compliant with best practices and standards (e.g. CMMI) is necessary for defin ing almost all types of contracts and government collaborations. In thi

الاسم

الايميل

الرسالة

Instructors

Course Details

Course Schedule

Additional Reading

Books

External Links