بشیر احمد کٹھوری
صدحیف کہ پچھلے دنوں ہماری بزم انس ومحبت کاایک اوررکن ہم سے بچھڑ گیا۔ یعنی مولانا بشیر احمدصاحب کٹھوری المعروف بہ بھٹہ نے طویل علالت کے بعد وفات پائی۔ مولانا نے اگرچہ علوم عربیہ اوردرس نظامی کی سیوہارہ، امروہہ اور مرادآباد میں باقاعدہ تکمیل کی تھی۔لیکن ان کوکبھی ان علوم کے ساتھ اشتغال یاان کے درس کاموقع نہیں ملا۔اس لیے نتیجہ کے اعتبارسے ان کوباقاعدہ وباضابطہ عالم کہنا بھی مشکل ہے۔لیکن دماغ اورذہن بلا کا رساپایا تھا۔ذہانت اور جودتِ طبع کایہ عالم تھاکہ اگروہ علوم دینیہ واسلامیہ میں مشغول رہتے تومولانا عبیداﷲ سندھی بنتے۔ اور اگر انگریزی تعلیم حاصل کرلیتے تو سرعلی امام یاسر فضل حسین سے کم نہ رہتے۔ بڑے بڑے علما اور انگریزی تعلیم یافتہ حضرات کی مجلسوں میں جب کسی موضوع پرتقریر کرتے تھے تواپنے منطقی استدلال اور برہانی طرزِ بیان سے چھاجاتے تھے اور پھراُن کی تردید کرناآسان نہیں رہتاتھا۔معاش کے لیے انھوں نے کاروبار کاراستہ اختیار کیااور اس میں اپنی ذہانت اورمحنت سے اس درجہ ترقی کی کہ مٹی سے سونا پیدا کرنے لگے۔ اپنی اینٹوں سے سیکڑوں شاندار عمارتیں کارخانے اورفیکٹریاں بنا ڈالیں۔لیکن خودہمیشہ مزدوروں کی طرح کام کرتے رہے اور انھیں کی طرح رہتے رہے۔ خلقِ خداکی خدمت کاان میں بے پناہ جذبہ تھا۔جوشخص بھی ان کے پاس جس کام کے لیے پہنچ جاتاتھا ان کے درسے مایوس نہیں لوٹتا تھا۔ جمعیۃ علمائے ہندکے اعلیٰ طبقہ سے تعلق رکھتے تھے۔اوران کا اس جماعت میں بڑا وقار اور امتیاز تھا۔کانگریس کے بھی بڑے بااثر اورسر گرم کارکن تھے۔تحریک خلافت اورپھر تحریک آزادی کے زمانہ میں کئی بارجیل گئے جس سے ان کی صحت اورکاروبار کوبڑانقصان پہنچا۔لیکن ان کے جوش،سرگرمی اور ولولۂ کار میں کبھی فرق نہ آیا۔قلب ودماغ کی ان خوبیوں کے ساتھ ان میں اخلاقی جرأت بھی کچھ کم نہیں تھی۔ صوبہ اتر پردیش کی کونسل...
يهدف هذا البحث إلى التعريف بالإمام القرطبي وكتابه الجامع لأحكام القرآن الكريم، حيث يعتبر القرآن الكريم من أعظم المصادر في معرفة اللغة والوقوف على أسرارها، ومايتعلق به من علوم وخصوصا علم التفسير، وقد وضضع لنا الإمام القرطبي مصنفا ثريا على مستوى الكم والكيف، فهو موسوعة جامعة لكل ما يتعلق بالقرآن الكريم، وقد جمع بين دفتي هذا التفسير علوما شتى، وتتمثل مشكلة البحث في أن الإمام القرطبي متمكن نظرا وتطبيقا، كما ظهر في تفسيره، ولكنه مع ذلك لم يعرف نحويا كما عرف فقيها ومحدثا عالما مشاركا في علوم عدة، ويهدف هذا البحث إلى إبراز الإمام القرطبي من حيث اسمه ونسبه وولادته وحياته العلمية، وكتابه الجامع لأحكام القرآن الكريم.
The agile methodologies gain acceptance in last few years. There are two primary reasons, this method better satisfies the customer needs and do accept the changing requirements conveniently. The Formal Methods (FM) being considered tough and costly and are not widely used by the software engineers. In the past few years, there is lot of research work done in combining both the agile methods and Formal Methods. It is a promising contract to combine both of them. If agile and Formal techniques are combined in a fruitful way then they render closer to the prefect results. The Formal Methods are mostly applied to the safety critical software. A mixture of these two techniques comparatively delivers accurate and precise results for software development team, while ensuring the efficiency and appropriateness of software projects. The Formal Methods applied to the Scrum give wonderful results. There is a need to integrate the Formal Methods with agile process models to make them formal, versatile and improve results. Extreme Programming (XP) is mostly used for smaller projects deal with small team size and it is supposed that XP is not good choice for large project because it suffers from lack of documentation. There is a need to improve XP to use is for large projects, and for safety critical systems. For this purpose a futuristic approach for combining Formal Methods with agile methodologies, will be formulated in this research. A futuristic approach is formulated by mapping the Formal Methods to the XP. This approach will make it easier, less time-consuming and in some way less costly to apply combination of Formal Methods with XP to ensure correctness and appropriateness of the product. Let it be used for the development of safety critical systems. We map Software Cost Reduction to specify requirements formally; algebraic specification will be used before coding and Design by Contract (DbC) for safety critical system at testing on XP.