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

  • المهارات

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

من نفس الجامعة : 87
عرض الجميع

الموقع الشخصي

  • احصائيات الانشطة
  • معامل التواصل العلمي:1.05
  • نقاط النشاط التواصلي:1.65
  • عدد الزيارات:5025
  • عدد الاعجابات :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.


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

دكتوراه

التخصص:علوم التقنية والمعلوماتية
دكتوراه في هندسة البرمجيات
06/02/2014 - 14/02/2018

الماجستير

التخصص:علوم التقنية والمعلوماتية
ماجستير في هندسة البرمجيات
01/02/2013 - 01/09/2013

بكالوريوس

التخصص:علوم التقنية والمعلوماتية
إجازة في هندسة الحواسيب
01/09/2004 - 


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

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

01/01/2010 - 01/01/2011

Supervisor of Undergraduate Projects

01/01/2010 - 01/01/2011


النشر العلمي

نوع النشر:مجلة علمية
الناشر:International Journal of Computer Applications
05/06/2014
Jasser, M. B., Sarmini, M., & Yaseen, R.
طلب البحث

نوع النشر:مجلة علمية
الناشر:International Journal of Computer Applications
05/04/2013
Jasser, M. B., Sidi, F., & Mustapha, A. .
طلب البحث


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

CEO Talk Programme 2016

حضور دورة
الدولة:ماليزيا
13/05/2016

Research Impact through Technology Transfer

حضور دورة
الدولة:ماليزيا
13/05/2016

The Limits of Virtual Reality

حضور دورة
الدولة:ماليزيا
11/05/2016

Elements of Thesis Writing

حضور دورة
الدولة:ماليزيا
03/02/2016

Malaysian International Conference Of Software Engineering

مشاركة في مؤتمر/ندوة
الدولة:ماليزيا
16/12/2015

Information Technology Colluquium 2015

مشاركة في مؤتمر/ندوة
الدولة:ماليزيا
07/04/2015


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

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

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

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


     

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