- ABDELRASOUL YAHYA IBRAHIM MOSA - عبد الرسول يحى ابراهيم موسى
- published on 12/19/2017
- Ali, Nahid A., Amal A. Mirghani, and Abdelrasoul Y. Ibrahim. "Alneelain: A formal specification language." Communication, Control, Computing and Electronics Engineering (ICCCCEE), 2017 International Conference on. IEEE, 2017.
Abstract— In computer science, specification language is
defined as a formal language used during systems analysis,
requirements analysis and system design to describe a system.
This description will be at much higher level than programming,
which is used to produce the executable code for a system.
Formal specification language provides mathematical
representation of the system and expresses the specification in a
language whose vocabulary syntax and semantic are properly
defined. Today, a variety of formal specification languages are in
use some of them are either based on algebraic specification or on
model-based specification. In this paper a new specification
language called Alneelain specification language is presented. It is
based on axiomatic specification. The primary concern in
designing the compiler of Alneelain specification language, was
with syntax and semantics of the language. Compared to other
specification language, Alneelain Language is the easiest way to
write a formal specification without mush mathematical details.
In additions, the specification written in Alneelain syntax will be
precise, clear, and concise.
published in IEEE
- ABDELRASOUL YAHYA IBRAHIM MOSA - عبد الرسول يحى ابراهيم موسى
- published on 8/23/2013
- Ibrahim, Abdelrasoul Yahya. "Specifying abstract data types a behavioral model, an axiomatic representation." Computing, Electrical and Electronics Engineering (ICCEEE), 2013 International Conference on. IEEE, 2013.
Abstract— After the emergence of software engineering as an engineering discipline for several decade it had dogging of the enduring problem such as specifying requirements of a software product in a complete, consistent, and minimal manner. Not only is the problem technically challenging, in light of the size and complexity of today’s software products, but it also involves very high costs, due to the fact that an error in the requirements phase can have a negative impact on all subsequent phases. In this paper, we present a specification model for abstract data types, and discuss its properties as well as plans for its automation.
- - التجاني النور بشير عبد الجليل
- published on 3/9/2019
- Participation of Water Users Associations in Gash spate system management, Sudan
Water Users Associations (WUAs) have been introduced in Gash Delta Agricultural Scheme (GDAS) in 2004. The level of
participation and performance of these associations have been influenced by many factors. The purpose of this paper is to measure
the level of participation and to identify the factors influences the performance of WUAs in GDAS in eastern part of Sudan. Field
visits, questionnaires, and focus group discussions were conducted during 2013/2014 crop season. The participation of farmers
was classified to full, average, less and no participation. The results indicated that WUAs fully participate in water distribution and
clearance of agricultural land. It is found that WUAs partially participate in provision of finance, seeds, attend flooding time and
report water breakages. WUAs less participate in maintaining of bonds and not yet contribute in mapping of wetland. The results
also indicated that WUAs have influenced by the lack of cooperation with other related institutions working in GDAS. The obtained
results will contribute in improvement of participatory spate system management.
published in Water Science
- - احمد ميرغنى عبد الرحمن برير
- published on 7/31/2019
- Use of ICT in agricultural extension services, Gedarif State, Sudan
This study investigates the use of ICT in agricultural extension services in Gedarif State, Sudan. A field survey was used to collect data from 94 extension officers in the State in 2016/2017 growing season using the full count method. The collected data were statistically analyzed and interpreted using percentage, frequency distribution and chi-square test. The descriptive statistics showed that the majority of the respondents 72.3% used the ICT in their extension services given to farmers and the majority of them 93.6% reported that there are many constraints facing the use of ICT in agricultural extension services in the State. Chi-square test revealed a significant association between ICT and constraints facing the use of them in the delivery of agriculture extension services to the targeted audience in the State. Thus, the authors recommend that the extension officers and farmers should be trained in the use of ICT and the constraints facing the use of ICT in the agricultural extension services in the State should be solved in collaboration with all partner organizations.
published in Universitas Muhammadiyah Yogyakarta
- Ehab Elsir M.Alias - ايهاب السر محمد الياس
- published on 5/8/2019
- (Identification and Determination of concentrations of some alkaloids in jimsonweed (Datura stramonium L.)
Alkaloids are regarded as complex naturally occurring products of plants, and fungi. They possess nitrogen-containing heterocyclic rings, basic, and derived from amino acids. High physiological activity is also a characteristic of alkaloids. This study was aimed to determine the existence and concentrations of some toxic alkaloids in in different parts of jimsonweed (Datura stramonium L.) of the family Solanaceae. .Stems, leaves and fruits were dried, crushed and then underwent extraction. Solvents used in the extraction were chloroform and acetic acid . Thin layer chromatography (TLC) and GC-MS techniques were also adopted in analyzing the alkaloids. The results revealed the presence of atropine, in stems, leaves and fruits of D. stramonium with concentration of 0.03, 0.4 and 0.08 mg/g, respectively. Hyoscine was also found in stems, leaves and fruits with concentration of 0.01, 0.02 and 0.2 mg/g respectively. Nicotine was found in stems and fruits with concentrations of 0.001 and 0.02 mg/g, respectively. This study has opened new horizons to explore new natural poential pesticides from Sudanese indigenous plants and provide important information to avoid toxicity, harmful and adverse effects of these plants to both humans and animals.