مزيد
سجل في أريد


 

  • تفاصيل التسجيل
  • تاريخ التسجيل: 8 سنة
  • الأسماء:Dr Basheer

  • المهارات

  • الجامعة / المؤسسة
  • جامعة بوترا الماليزية

من نفس الجامعة : 87
عرض الجميع
محمد عبد الر
احمد حسين جم
عبدالرحمن طه

الموقع الشخصي
arid.my/0001-0147

  • احصائيات الانشطة
  • معامل التواصل العلمي:1.04
  • نقاط النشاط التواصلي:1.65
  • عدد الزيارات:5693
  • عدد الاعجابات :0
  • المواضيع:0
  • المتابعون:2
  • المسجلون عبر هذا الحساب :0

المُتابعون:2
أ.م.د/ سلوى

د. عبدالناصر


نبذة مختصرة

اهتماماتي البحثية تنصبّ في التوصيف و البرهنة باستخدام اللغات الرسمية Formal Methods. هذه تفيد بشكل أساسي في البرهنة الرياضية للنظم الحرجة و التي ليس من الممكن في غالب الحال محاكاتها أو إخضاعها للتجربة نظراً لحساسيتها و أهميتها. بشكل عام أهتم بكل ما يتعلق بالتوصيف الرسمي Formal specification, البرهنة الرسمية Formal verification , البرهنة الرياضية سواءً باستخدام الإثبات النظري Theory Proving أو التحقق من الموديلات Model Checking باستخدام منطق المجموعات Set-Theory , منطق الدرجة الأولى First Order Logic, و تمثيل فضاء الحالات State machine representation. لدي بعض العضويات في هيئات و مؤسسات علمية دولية في مجال الهندسة مثل Institute of Electrical and Electronics Engineers IEEE و Institute of Electronics, Information and Communication Engineers IEICE. حصلت على الدكتوراه في هندسة البرمجيات من جامعة بوترا الماليزية University Putra Malaysia. حالياً اعمل كمحاضر و باحث في جامعة Sunway University.

المؤهلات الاكاديمية

دكتوراه

Speciality:علوم التقنية والمعلوماتية
دكتوراه في هندسة البرمجيات
2/6/2014 - 2/14/2018

الماجستير

Speciality:علوم التقنية والمعلوماتية
ماجستير في هندسة البرمجيات
2/1/2013 - 9/1/2013

بكالوريوس

Speciality:علوم التقنية والمعلوماتية
إجازة في هندسة الحواسيب
9/1/2004 - 

الخبرة التدريسية

Software Engineering – UML”, “C# Programming”, “Internet Techniques”, ”Computer Architecture and Organization”, “Multimedia Systems”.

1/1/2010 - 1/1/2011

Supervisor of Undergraduate Projects

1/1/2010 - 1/1/2011

النشر العلمي

Ant Colony Optimization (ACO) and a Variation of Bee Colony Optimization (BCO) in Solving TSP Problem: A Comparative Study
Publication Type:Journal
Publisher:International Journal of Computer Applications
6/5/2014
Jasser, M. B., Sarmini, M., & Yaseen, R.
طلب البحث

Mining Students' Characteristics and Effects on University Preference Choice: A Case Study of Applied Marketing in Higher Education.
Publication Type:Journal
Publisher:International Journal of Computer Applications
4/5/2013
Jasser, M. B., Sidi, F., & Mustapha, A. .
طلب البحث

النشاطات الأكاديمية

CEO Talk Programme 2016

Course Participation
Country:ماليزيا
5/13/2016

Research Impact through Technology Transfer

Course Participation
Country:ماليزيا
5/13/2016

The Limits of Virtual Reality

Course Participation
Country:ماليزيا
5/11/2016

Elements of Thesis Writing

Course Participation
Country:ماليزيا
2/3/2016

Malaysian International Conference Of Software Engineering

Conference Participation
Country:ماليزيا
12/16/2015

Information Technology Colluquium 2015

Conference Participation
Country:ماليزيا
4/7/2015

المشاريع العلمية

• Automated decomposition support of UML-B
1/1/2018 -  1/1/2018

Rodin Event-B and UML-B Development Support
1/1/2018 -  1/1/2018

Shared-Event Composition Editor for UML-B
1/1/2018 -  1/1/2018

     

    لا توجد تغريدات