Search or add a thesis

Advanced Search (Beta)
Home > Web Based Goggle Talk Client

Web Based Goggle Talk Client

Thesis Info

Author

Muhammad Usman, Fahad Ashraf

Supervisor

Gul Aftab Ahmed

Department

Department of Computer Science

Program

BS

Institute

COMSATS University Islamabad

Institute Type

Public

City

Islamabad

Province

Islamabad

Country

Pakistan

Thesis Completing Year

2007

Thesis Completion Status

Completed

Subject

Computer Science

Language

English

Added

2021-02-17 19:49:13

Modified

2023-01-06 19:20:37

ARI ID

1676720112474

Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Similar


Loading...
Loading...

Similar Books

Loading...

Similar Chapters

Loading...

Similar News

Loading...

Similar Articles

Loading...

Similar Article Headings

Loading...

مولانا عبداﷲ غازی پوری

مولانا حافظ عبداﷲ صاحب غازیپورؔی

            جناب مولانا عبداﷲ صاحب غازی پوری کا واقعہ وفات علماء کے طبقہ میں خاص حیثیت سے اثر انگیز ہے، مولانائے مرحوم نے گو طبعی عمر پائی لیکن اس خیال سے کہ وہ اس عہد میں اگلی صحبتوں کے تنہا یادگار تھے۔ ہم ان کے لئے اس سے دراز عمر کے متوقع تھے، مولانا اتباعِ سنت، طہارت تقویٰ، زہد و ورع، تبحرعلم، وسعتِ نظر اور کتاب و سنت کی تفسیر و تعبیر میں یگانۂ عہد تھے، اپنی عمر کا بڑا حصہ انہوں نے علم دینیہ خصوصاً کتاب مجید اور حدیث شریف کے درس و تدریس میں گزارا اور سینکڑوں طلبہ انکے فیض تربیت سے علماء بن کر نکلے، ابتداً چشمۂ رحمت غازیپور میں، پھر مدرسہ احدیہ آرہ میں اپنا مسندِ درس بچھایا، آخر عمر میں دلّی کے دارالحدیث میں قیام فرمایا، لیکن خانگی حوادث کے باعث پریشان حال رہے، اب افسوس کہ یہ شمع نورو ہدایت ۲۱؍ صفر ۱۳۳۷؁ھ مطابق ۲۶؍ نومبر، ۱۹۱۸؁ء کو ہمیشہ کے لئے بجھ گئی۔ رحمہ اﷲ تعالیٰ۔

            مجھے لکھنؤ میں مولانا عبدالحئی صاحب ناظم ندوہ کی قیام گاہ پر مولانا سے ملاقات کی سعادت ایک دو دفعہ حاصل ہوئی دُبلے، پتلے، نخیف، داڑھی کے بال خفیف، سادی وضع، صورت سے متواضع اور حلیم معلوم ہوتے تھے۔

            مرحوم کا اصلی وطن گومؤ ضلع اعظم گڑھ تھا، مگر قیام بیشتر غازی پور میں رہا، اس لئے غازیپوری کے نام سے شہرت پائی، ابتدائی تعلیم چشمۂ رحمت غازی پور میں ہوئی، یہاں مولوی رحمت اﷲ صاحب غازی پوری، اور مولوی فاروق صاحب چریا کوٹی سے پڑھا، پھر جونپور جاکر مدرسۂ امام بخش میں مفتی محمد یوسف صاحب فرنگی محلی سے درسیات پڑھیں اور آخر میں حدیث کی کتابیں مولانا سید نذیر حسین صاحب دہلوی سے پڑھیں اور...

اسلامی سلطہ کے قیام پر اقوام غیر مسلم سے معاشرت

Islam is such a unique religion that commoner’s social welfare with its subdomains and conquered subjugated principalities. History of Islam is teemed with its practical instances of social welfare with subjugated states. Conquered nations are dealt with and interacted with i n a way, that their right might not be violated, instead governing power took such steps that helped them to become acquaintances of the conqueror that is why every Islamic government forbade Muslims to usurp the social rights of any minority the subsequent passage historical and analytical study of sociological dealing of Muslim state with non muslim nations is discussed.

Mapping Formal Methods to Agile Methods ? a Futuristic Approach

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.