مولانا حبیب الرحمن لدھیانوی
یہ سطریں زیر تحریر تھیں کہ مولانا حبیب الرحمن صاحب لدھیانوی کی وفات کی خبر ملی، مرحوم ملک و ملت کے پرانے خدمت گزار، مجلس احرار کے مشہور لیڈر اور جنگ آزادی کے ممتاز مجاہدین میں تھے اور اس راہ میں قید و بند کی مصیبتیں جھیلیں، کانگریس سے ان کا تعلق بہت قدیم تھا، جو ہر زمانہ میں برابر قائم رہا، ہندوستان کی تقسیم اور اپنے وطن لدھیانہ کی تباہی کے بعد دلی میں متوطن ہوگئے تھے، ان کی عمر کا بڑا حصہ قوم و ملک کی خدمت میں گزرا طبعاً بڑے خاکسار متواضع، فیاض اور مہمان نواز تھے، دارالمصنفین کے لوگوں سے بڑا اخلاص رکھتے تھے، جب مشرقی اضلاع کی جانب آنا ہوتا تھا تو دارالمصنفین ضرور آتے تھے، ان کی صحت عرصہ سے خراب تھی، ابھی تھوڑے ہی دن ہوئے آنتوں کا آپریشن ہوا تھا، اس سے تو صحت یاب ہوگئے تھے، مگر ۲؍ ستمبر کو قلب کا دورہ پڑا اور دفعتہ انتقال کرگئے، اﷲ تعالیٰ اس پرانے خادم قوم کو اپنی رحمت و مغفرت سے سرفراز فرمائے۔ (شاہ معین الدین ندوی، ستمبر ۱۹۵۶ء)
اسلامی تہذیب میں تازہ کاری کی روایت: قرون اولی کا اختصاصی مطالعہ Islamic civilization was founded by the Holy Prophet (May blessings of Allah and peace be upon him) right from the beginning of Islam. Each civilization and every culture are deeply affected by the concurrent cultures and civilizations and it used to adopt and borrow many things from other civilizations. Similarly, Islamic civilization and culture borrowed many aspects from other prevailing civilizations. With the passing day, these intercultural relations and exchanges became the part and parcel of the Islamic civilization. Such communications, and they have marked all epochs in Islamic history, occur in greatly diverse ways. The Holy Prophet also approved some traditions in this regard and the four Caliphs adopted many customs too. This reflects the adoption and concluding from other civilizations is not prohibited in every case, but this adoption must not be against Islamic teachings. Now a days, the entire world has become a worldwide town because of internet and technological developments. It is relatively obvious that Muslims are adopting many things from western civilization and culture without knowing its legitimacy or illegitimacy. Resultantly, these activities apparently become the chunk of Islamic civilization. This investigation seeks guidance from golden period of Islam i.e. Early centuries of Islam and describes its validity or voidness. In this article, these experiences of Islamic civilization and culture in adopting and concluding from other civilizations and cultures have been conferred and their principles and opinion of the prominent scholars, in this context, been talked about in the light of Islamic teachings. This study will promulgate awareness about the tradition of innovation in Islamic civilization and will provide guidance to the new researchers about this topic.
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.