37. Al-Saffat/The Rows
I/We begin by the Blessed Name of Allah
The Immensely Merciful to all, The Infinitely Compassionate to everyone.
37:01
a. By those lining up in rows,
37:02
a. and those drivers, driving away,
37:03
a. and those reciting the Reminder – The Divine Qur’an.
37:04
a. Indeed, your Allah is the One and Only Allah of everyone.
b. HE has no parents, no partners, no siblings, no sons, and no daughters.
37:05
a. Allah is Rabb - The Lord of the celestial realm and the terrestrial world and whatever is
within and between them, and,
b. Allah is also Rabb - The Lord of the vast expanse of the East and the West.
37:06
a. Indeed, WE adorned the sky of the terrestrial world with splendor of the glittering stars.
37:07
a. And secured them with meteors against every defiant Satan.
37:08
a. So that they, who seek to know the unknowable, may not be able to eavesdrop on the Exalted Assembly of angels,
b. for they will be pelted with meteors from every side -
37:09
a. – and driven off,
b. for them will be a constant and perpetual punishment.
37:10
a. Except for the one, who is able to eavesdrop and snatch a word of such knowledge,
b. he is instantaneously pursued by flaming fireballs.
37:11
a. So ask them:
b. ‘Are they more difficult to be created, or those WE created others than them?
c. In fact, WE created them – the human species - out of mere sticky clay!
This is a subjective study explains the role of Quranic speech in the Islamic nation, wassatia the study explains the meaning of wassatia in language and legitimate. The wassatia standing out in religion in all fields for Islamic nation, like in dogmatic, in worshiping, in relationship, in dealings and in spending. The wassatia Appears through balance in all fields without exaggeration this appears through examples and samples with evidence from Quran and Sunnah.
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.