Islam A. M. El-Maddah

  • Citations Per Year
Learn More
During the last two decades, a lot of effort has been focused on automating the generation of software applications. The automation process can start early, after some manual stage(s) or following (a) previous automatic stage(s). Such automation tools should have the capability of generating executable programs, specifications, or formal requirements, as(More)
Meeting stakeholders requirements and expectations becomes one of the critical aspects on which any software organization in market-driven environment focus on, and pays a lot of efforts and expenses to maximize the satisfaction of their stakeholders. Therefore identifying the software product release contents becomes one of the critical decisions for(More)
Cloud computing had created a new era of network design, where end-users can get their required services without having to purchase expensive infrastructure or even to care about troubleshooting. Power consumption is a challenge facing the Cloud Providers to operate their Datacenters. One solution to overcome this is the Virtual Machine (VM) migration,(More)
The GOPCSD (Goal Oriented Process Control Systems Design) tool is an integrated environment, where the process control systems engineer can construct, import, check, reason about, modify, validate requirements specifications and generate in the B specification language a formal specification of such process control requirements. Borrowing from the KAOS(More)
Cloud computing creates new business opportunity for small, medium or even large size companies, as it eliminates the need of investing in a huge datacenter in order to operate the environment. The contract between the cloud service provider (CSP) and the lessee is called service level agreement (SLA), which guarantee the quality of service (QoS) that(More)
Development of software systems utilizes only 20%-40% of the overall project cost; the rest is consumed by maintenance. Systems with poor maintainability are difficult to modify and to extend. Maintainability based risk is defined as a product of two factors: the probability of carrying out maintenance tasks and the impact of these tasks. The decision of(More)
Software maintenance becomes an integral part of software life cycle and constitutes the most important fraction of the total cost of the software lifecycle. Around 50-80 percent of the total lifecycle cost is consumed by maintenance for evolving system. Thus systems with poor maintainability are difficult to modify and require more cost to maintain. This(More)