![02/10/2023 02:33:34 م](/BadgeLogos/5d802a35-5d99-43ff-a18e-d71ee5488bb8.jpg)
![25/11/2022 08:11:39 م](/BadgeLogos/761be188-8eff-44c1-9067-b4530727c060.jpg)
![05/05/2021 07:54:56 م](/BadgeLogos/749798b6-60ef-4864-89c2-2f8b1a80dd4f.jpg)
![30/05/2016 12:00:00 ص](/BadgeLogos/dcac211a-cdc6-4ed7-a8cf-9bdd70f07ac5.jpg)
- تفاصيل التسجيل
- تاريخ التسجيل: 8 سنة
- الأسماء:Dr Basheer
- المهارات
- الجامعة / المؤسسة
-
جامعة بوترا الماليزية
- احصائيات الانشطة
- معامل التواصل العلمي:1.06
- نقاط النشاط التواصلي:1.65
- عدد الزيارات:5942
- عدد الاعجابات :0
- المواضيع:0
- المتابعون:2
- المسجلون عبر هذا الحساب :0
نبذة مختصرة
اهتماماتي البحثية تنصبّ في التوصيف و البرهنة باستخدام اللغات الرسمية 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
لا توجد تغريدات