12 about the model extracted from the requirements. From this inspection of the model, the user would be able to detect diierences between his/hers and the system's interpretations and proceed to make the necessary modiications to clarify his intentions. The ability of the analysis system to process directly the requirements can be of great beneet to both the software engineer and the end user....

archaeological investigations on the soil of archaeological sites indicates that human settlement and residence in a particular area, may lead to enrichment of certain elements such as phosphorus, magnesium, calcium and potassium, due to the production of rubbish, waste, domestic and industrial waste and many other cases. investigation the range of elements in the soils, make it possible to ide...

the main purpose of this paper is to establish a relation between universality of certain p-compactifications of a semitopological semigroup and their corresponding enveloping semigroups. in particular, we show that if we take p to be the property that the enveloping semigroup of a compactification of a semitopological semigroup s is left simple, a group, or the trivial singleton semigroup, the...

considering the emphasis of islam on the importance of fasting, muslims attempt to fast from dawn until sunset during the holy month of ramadan. fasting is associated with several benefits for normal and healthy individuals. however, it could pose high risks to the health of diabetic patients due to certain physiological changes. this study aimed to compare the physiological changes associated ...

Gravitational lithosphere removal in continental interior has been inferred from various observations, including anomalous surface deflections and magmatism. We use numerical models and a simplified theoretical analysis to investigate how lithosphere removal can be recognized in the magmatic record. One style of removal is a Rayleigh-Taylor-type instability, where removal occurs through drippin...