ڈاکٹر عمر خالدی
(اشتیاق احمد ظلی)
ڈاکٹر عمر خالدی ۲۹؍ نومبر کو بوسٹن میں ایک حادثہ میں جاں بحق ہوگئے۔ اِناﷲ وَ اِنا اِلَیہ رَاجِعُون۔ ان کے انتقال سے ہندوستانی مسلمانوں کے مسائل پر سنجیدہ علمی تحقیق کے میدان میں جو خلا پیدا ہوا ہے اس کا پر ہونا مشکل ہے۔ ہندوستان میں مسلمانوں کی صورت حال اور ان کو درپیش مسائل پر جس انداز اور معیار کا تحقیقی کام انہوں نے انجام دیا وہ غیر معمولی ہے۔ وہ ایک مدت سے ان مسائل سے بہت دور امریکہ میں مقیم تھے اور وہاں ایک باوقار ادارہ سے وابستہ تھے۔ مادی نقطہ نظر سے ایک پرمسرت اور مطمئن زندگی گزارنے کے لیے ان کو وہ سب کچھ حاصل تھا جس کی عام طور پر تمنا کی جاتی ہے لیکن اس آسودگی اور فارغ البالی کو انہوں نے زندگی کا مقصد اور مطمح نظر نہیں بنایا بلکہ دستیاب وسائل کو ایک بڑے مقصد کے حصول کے لیے استعمال کیا جو ان کو بہت عزیز تھا اور دراصل جس سے ان کی زندگی عبارت تھی۔ وطن عزیز میں مسلمانوں کی صورت حال پر ان کا دردمند اور حساس دل بے قرار رہتا تھا اور ان پر گزرنے والے نامہربان موسموں کی تپش وہ وہاں محسوس کرتے تھے۔ اس صورت حال پر کڑھنے اور زمانے کا شکوہ کرنے کے بجائے انہوں نے یہ طے کیا کہ دنیا کے سامنے ایک ایسا آئینہ رکھ دیا جائے جس میں ہندوستانی مسلمانوں کے مسائل اور ان پر گزرنے والے آلام و مصائب کی صحیح تصویر نظر آجائے۔ چنانچہ انہوں نے اس مسئلہ کو اپنی تحقیق و جستجو کا موضوع بنایا اور یہ کام اس دیدہ ریزی اور ژرف نگاہی سے انجام دیا کہ اس سے زیادہ کی توقع نہیں کی جاسکتی۔ ان کی تحقیقات پختہ اور ناقابل تردید دلائل و شواہد پر استوار ہوتی...
هدفت الدراسة الحالية إلى التعرف على مستوى الالتزام التنظيمي لدى مُعلمي مدارس التعليم الأساسي بمحافظة البريمي في سلطنة عمان، واتبعت الدراسة المنهج الوصفي، كما استخدمت الاستبانة في جمع البيانات والمعلومات وتم تطبيقها على عينة مكونة من (369) معلماً ومعلمة. وتوصلت نتائج الدراسة إلى أن أن مستوى الالتزام التنظيمي لدى معلمي مدارس التعليم الأساسي بمحافظة البريمي في سلطنة عمان جاء عالياً بصورة إجمالية، كما جاء عالياً في جميع الأبعاد وهي: الالتزام المعياري، والعاطفي، والاستمراري، وأوضحت النتائج أيضاً عدم وجود فروق ذات دلالة إحصائية عند مستوى الدلالة (α ≤ 0.05 ) في استجابات عينة الدراسة من المعلمين لمستوى التزامهم بمدارس التعليم الأساسي بمحافظة البريمي في سلطنة عمان تُعزى لمتغيرات الجنس، والمؤهل العلمي، وسنوات الخبرة، والمسمى الوظيفي.
Models and their automated transformations play a critical role in Model Driven Engineering (MDE). A significant challenge in testing model transformations is the automated generation of input test models. This involves generating meta-model instances that satisfy constraints defined on the meta-model which includes the constraints on metaelements and the multiplicity constraints. The problem becomes more challenging when the goal is to generate test models that cover specific paths of the transformation code - a common task in structural testing. The thesis proposes a novel search-based test model generation approach for structural testing of model transformations. The approach generates test models to achieve the desired structural coverage of the transformation code. The proposed test model generation strategy considers the constraints specified at the meta-model level and the multiplicity cardinalities of relationships between meta-elements to guide the generation of valid instances of the meta-model. The proposed strategy relies on a fitness function that utilizes the approach level and branch distance to generate instances that can cover the target branch of the transformation code. The approach proposes a number of heuristics as branch distance functions that solve model transformation predicates. A tool Model Transformation Testing Environment (Motter) is developed that automates the proposed approach. Motter takes the source and input meta-models as input and generates instances of test model that provide the required code coverage, for example, branch coverage of the model transformation code. The current implementation of the tool supports two widely used transformation languages, Atlas Transformation Language (ATL) and MOFScript. The thesis empirically evaluates the proposed approach on two transformations case studies, which are implemented in ATL and MOFScript. The case study in ATL is the popular benchmark Class2RDBMS model-to-model transformation case study, and the case study in MOFScript is a model-to-text industrial scale Real-Time Embedded Systems Test Simulation (RTES) code generator. For the empirical evaluation, four different widely search heuristics: Genetic Algorithm (GA), (1+1) Evolutionary Strategy/Algorithm (EA), Alternative Variable Method (AVM), and Random Search (RS) are tested in the comparative study. The result of the empirical evaluation shows that the proposed approach is successful in achieving the desired branch coverage for the selected transformation case studies and that the AVM significantly outperforms other algorithms. AVM has shown promising results in studies focusing on constraints solving, however it has not been used before for the generation of test cases to provide structural testing of model transformations. The result achieved by the AVM in the experiments are aligned with its previously reported performance as it successfully generates test cases and outperforms other algorithms in terms of the number of branches it can cover for both the case studies.