مولانا ابوبکر اصلاحی
افسوس ہے کہ ۲؍ مئی کو جماعت اسلامی کے ایک ذمہ دار بزرگ اور اعظم گڑھ کے اطراف کے مشہور عالم مولانا ابوبکر اصلاحی صاحب نے داعی اجل کو لبیک کہا، مدرسۃ الاصلاح سے فراغت کے بعد انہوں نے ضلع بستی میں دینی تعلیم کی اشاعت اور درس و تدریس کی خدمت انجام دی، ۴۶ء میں مدرسۃ الاصلاح آئے۔ راقم نے صرف و نحو اور فقہ کی بعض کتابیں ان سے پڑھیں، وہ جماعت کے بڑے سرگرم رکن تھے، اس لیے مدرسہ سے سبکدوش ہوکر اس کے تنظیمی کاموں میں لگ گئے، ان کی اچھی کارگزاری کی بنا پر جب جامعۃ الفلاح قائم ہوا تو اس کی ترقی و استحکام کا کام انہیں سپرد کیا گیا اور وہ عرصہ تک اس کے نیک نام ناظم و صدر مدرس رہے۔ اب علالت و معذوری کی وجہ سے سرائمیر میں اپنے گھر ہی رہتے تھے۔
دارالمصنفین بھی تشریف لاتے تھے، مولانا شاہ معین الدین احمد ندوی سے تعلق خاطر تھا۔ مولانا ابوبکر صاحب کی وفات سے جماعت اسلامی اپنے ایک اچھے اور مخلص کارکن سے محروم ہوگئی، اﷲ تعالیٰ مغفرت فرمائے اور پس ماندگان کو صبر جمیل عطا کرے۔ آمین! (ضیاء الدین اصلاحی، مئی ۱۹۹۸ء)
Character-based education management aims to integrate everything, both personal, spiritual, attitudes and behaviors as well as material related to the achievement of educational goals. In the process, education of all the efforts of the people involved in the process of achieving these educational goals is then effectively integrated, organized and coordinated, and all materials needed, and existing ones are used efficiently. Character-based education management in schools can be as a basic knowledge that has its own characteristics that are different from other administrative sciences that lie in its operational principles, and not in general principles. Every activity in the education administration process is directed to achieve educational goals. In the management of character-based education, it is also necessary to have good coordination and supervision or supervision from the leadership. Keywords:
The rapidly growing applications of software in critical systems such as railways, aviation, automobiles, and medicine, demand a much higher level of reliability and error- free operation. The use of formal methods in such applications not only helps avoid specification errors, ambiguities, and inconsistencies in early phases of software life cycle, but also provides a sound basis for generation of an effective set of test cases. However, the existing research on formal specification based testing has focused on unit level testing only. This research is aimed at automating the generation of class level as well as integration level test cases for an object-oriented system using formal specifications. We use VDM++ formal specification language for this purpose. As a result of our research, we present a framework, called SpecTGS, that automatically generates specification based test cases for object-oriented systems using VDM++ as the specification language. For class testing, the SpecTGS uses the trace structure definition of a VDM++ class specification to derive allowable method call sequences, and partition analysis to generate test data. For integration testing, we have proposed a novel idea that extracts testing information from the VDM++ specification and UML communication diagrams. The SpecTGS derives message sequences from a UML communication diagram, and uses the VDM++ specification to construct state invariants for the states in which a class can receive a message. A new strategy for constructing sub-states from a state invariant called partitioned boundary state coverage that combines two existing strategies, i.e. partition ivanalysis strategy and the boundary state coverage strategy. Each message sequence generated from the UML communication diagrams is combined with the sub-states to construct a test model. The test model is then used to derive the test paths under various coverage criteria. A proof-of-concept tool has been developed to implement and evaluate the SpecTGS framework. The results for the integration testing approach have been shown for a real-life case study selected from the literature.