Islam A. M. El-Maddah
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2003–2007
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | AICCSA | Towards Maintainable Architecture for Process Control Applications. | Islam A. M. El-Maddah, Walid Abdelmoez, Hany H. Ammar |
| 2007 | FDL | Verification of the Properties of Asynchronous Real-Time Distributed Systems using the B-Formalism. | Ayman M. Wahba, Islam A. M. El-Maddah |
| 2005 | AICCSA | Component-based development of process control systems. | Islam A. M. El-Maddah |
| 2005 | AICCSA | Planning stable software applications using goal driving requirements analysis. | Islam A. M. El-Maddah |
| 2004 | FASE | The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design. | Islam A. M. El-Maddah, T. S. E. Maibaum |
| 2004 | ICSR | Requirements-Reuse Using GOPCSD: Component-Based Development of Process Control Systems. | Islam A. M. El-Maddah, T. S. E. Maibaum |
| 2003 | MEMOCODE | Goal-Oriented Requirements Analysis for Process Control Systems Design. | Islam A. M. El-Maddah, T. S. E. Maibaum |