Search or add a thesis

Advanced Search (Beta)
Home > A Conceptual Framework for Software Reliability Testing

A Conceptual Framework for Software Reliability Testing

Thesis Info

Author

Abdul Rauf

Supervisor

Rizwan Bin Faiz

Program

MS

Institute

Riphah International University

Institute Type

Private

City

Islamabad

Country

Pakistan

Thesis Completing Year

2017

Thesis Completion Status

Completed

Page

vi, 150 . : ill. ; 30 cm. +CD

Language

English

Other

Submitted in fulfillment of the requirements for the degree of Master of Sciences in Software Engineering to the Faculty of Computing; Includes bibliographical references; Thesis (MS)--Riphah International University, 2017; English; Call No: 005.14 ABD

Added

2021-02-17 19:49:13

Modified

2023-01-06 19:20:37

ARI ID

1676711384348

Similar


Loading...
Loading...

Similar Books

Loading...

Similar Chapters

Loading...

Similar News

Loading...

Similar Articles

Loading...

Similar Article Headings

Loading...

۱۔ہمزہ استفہامیہ

۔ہمزہ استفہامیہ

حضرت ِ یوسف ﷤ کے بھائی جب یوسف ﷤ کے پاس گئے اوربھائیوں نے جب عزیز مصر کی زبان سے اس یوسف علیہ السلام کا تذکرہ سنا، جسے انہوں نے بچپن میں کنعان کے ایک تاریک کنویں میں پھینک دیا تھا، تو وہ حیران بھی ہوئے اور غور سے دیکھنے پر مجبور بھی کہ کہیں ہم سے ہم کلام بادشاہ، یوسف علیہ السلام ہی تو نہیں؟ ورنہ یوسف علیہ السلام کے قصے کا اسے کس طرح علم ہو سکتا ہے؟ چنانچہ انہوں نے سوال کیا کہ کیا تو یوسف علیہ السلام ہی تو نہیں؟ارشادِ ربانی ہے:

۱-"ءَاِنَّكَ لَاَنْتَ يُوْسُفُ قَالَ اَنَا يُوْسُفُ وَهٰذَآ اَخِيْ ، قَدْ مَنَّ اللّٰهُ عَلَيْنَا اِنَّه مَنْ يَّتَّقِ وَيَصْبِرْ فَاِنَّ اللّٰهَ لَا يُضِيْعُ اَجْرَ الْمُحْسِنِيْنَ"۔ [[1]]

"کیا تو ہی یوسف ہے کہا میں ہی یوسف ہوں اور یہ میرا بھائی ہے اللہ نے ہم پر احسان کیا بے شک جو ڈرتا ہے اور صبر کرتا ہے تو اللہ بھی نیکوں کا اجر ضائع نہیں کرتا۔"

دوسرے مقام پر اللہ نے ارشاد فرمایا:

۲-"ءَاَنْتُمْ اَنْشَاْتُمْ شَجَرَتَهَآ اَمْ نَحْنُ الْمُنْشِٔوْنَ "۔ [[2]]

"کیا تم نے اس کا درخت پیدا کیا ہے یا ہم پیدا کرنے والے ہیں"۔

 کہا جاتا ہے کہ عرب میں دو درخت مرخ اور عفار ہیں اگران دونوں سے ٹہنیاں لے کر ان کو آپس میں رگڑا جائے تو اس سے آگ کے شرارے نکلتے ہیں ۔انہی سے متعلق اللہ نے استفہامیہ انداز میں فرمایا: کیا تم نے اس کا درخت پیدا کیا ہے یا ہم پیدا کرنے والے ہیں۔



[

ام المؤمنین حضرت ام حبیبہ رضی اللہ تعالی عنہا: احوال و خدمات کا تحقیقی مطالعہ

Man is noblest creation in the universe. Prophets are the most honorable men among of all the human being. Hazrat Muhammad (S.A.W) is most exalted in all prophets. Those who saw the countenance in belief get the blessing from the highest status. There are eleven virtuous wives of the Prophet (S.A.W) to be the mother of whole Umma e Muslim. One of them is Hazrat Ramla (R.A), daughter of Hazrat Abu Sufyan (R.A). She is known as Umme Habiba. As a Makah’s Chief daughter she enjoys every facility. After embracing Islam she showed stead fastness and consistency in Islam. Because her first husband was Christian but she protects her faith, notions and honor. The Holy Prophet (S.A.W) give her honor for sending marriage proposal. The Negus recited the word of nikah of all the virtuous and chaste wives of the Holy Prophet (S.A.W). Hazrat Umm e Habeeba (R.A) was the greatest preacher and supporter of Islam. She was always ready and assiduous to follow the teachings of Islam; and she understand it her obligation to follow the tradition of Hadith. There are sixty five traditions attributed to her in the primary sources of Hadith, which have fundamental status on different topics. In the mentioned article, the investigatory and factual study of her conditions and services has been offered and displayed

Spline Solutions for Some Fractional Order Boundary Value Problems

In this thesis, the spline solutions to some fractional order boundary value problems have been proposed using different spline collocation techniques. The Caputo’s definition for fractional order derivatives is used, as it allows imposing the boundary constraint(s) in terms of integer order derivative(s). An efficient technique based on non-polynomial quintic spline functions, comprised of a trigonometric part and polynomial part, has been developed for solving fourth order fractional boundary value problems involving product terms. The C¥ differentiability of the trigonometric part of non-polynomial spline compensates for the loss of smoothness inherent in polynomial spline. The second and fourth order convergence of the presented algorithm has been discussed in detail. Moreover, the approximate solutions of three very important time fractional models, advection-diffusion equation, Allen-Cahn equation and diffusion-wave equation, have been studied by means of redefined and modified forms of cubic B-spline functions. The Caputo time-fractional derivatives have been discretized by finite difference formulations whereas B-spline functions are used for spatial discretization. The unconditional stability and theoretical convergence of proposed numerical algorithms have been proved rigorously. Some test examples have been considered for numerical experiments. The computational results are in line with theoretical expectations and exhibit a superior agreement with the analytical exact solutions as compared to the existing techniques.