Hussein SM Zedan (1 de julio de 1953 - 23 de febrero de 2019) fue un científico informático de ascendencia egipcia , radicado principalmente en el Reino Unido . [2]
Hussein Zedan nació en 1953. Recibió su doctorado en 1981 en la Universidad de Bristol , estudiando con John Derwent Pryce y Hubert Schwetlick para una tesis titulada Métodos Rosenbrock-Wanner modificados para resolver sistemas de ecuaciones diferenciales ordinarias rígidas . [1]
Zedan fue académico en el Departamento de Ciencias de la Computación de la Universidad de York . Luego, el profesor Zedan dirigió el Laboratorio de Investigación de Tecnología de Software (STRL) como Director Técnico [3] en la Universidad De Montfort . [4] [5] También fue Jefe de Investigación Informática. [3] Más tarde, STRL fue dirigido por el estudiante de doctorado de Zedan y posteriormente colega François Siewe. [6] Posteriormente, Zedan fue nombrado Vicepresidente Adjunto de Asuntos Académicos y Desarrollo en la Universidad de Ciencias Aplicadas [7] en Manama , Bahréin , hasta 2017. [8]
Hussein Zedan murió el 23 de febrero de 2019. [2] [9] Estaba casado y tenía dos hijas.
Publicaciones seleccionadas
- Zedan, HSM, ed. (1990). Sistemas informáticos distribuidos . Butterworths. ISBN 0-408-02938-2.
- Scholefield, D.; Zedan, H.; He, Jifeng (1994). "Una semántica orientada a especificaciones para el refinamiento de sistemas en tiempo real". Ciencias de la Computación Teórica . 131 (1): 219–241. doi : 10.1016/0304-3975(94)90096-5 .
- Cau, A.; Zedan, H. (1997). "Refinamiento de las especificaciones de lógica temporal de intervalos". Desarrollo de sistemas reactivos basados en transformaciones (ARTS 1997) . Taller internacional AMAST sobre aspectos de sistemas en tiempo real y software concurrente y distribuido. Notas de clase en informática . Vol. 1231. Springer-Verlag . págs. 79–94. doi :10.1007/3-540-63010-4_6. hdl : 2086/40 . ISBN. 978-3-540-63010-4.
- Siewe, F.; Cau, A.; Zedan, H. (octubre de 2003). "Un marco compositivo para la aplicación de políticas de control de acceso". Actas del taller de la ACM de 2003 sobre métodos formales en ingeniería de seguridad . ACM . págs. 32–42. doi :10.1145/1035429.1035433. ISBN . 1581137818.S2CID6519229 .
- Solanki, M.; Cau, A.; Zedan, H. (2004). "Aumento de las descripciones de servicios web semánticos con especificaciones compositivas". Actas de la 13.ª conferencia internacional sobre la World Wide Web . ACM. págs. 544–552. doi :10.1145/988672.988746. ISBN. 158113844X.S2CID16034615 .
- Al-Ajlan, A.; Zedan, H. (octubre de 2008). ¿Por qué Moodle? . 12.º taller internacional IEEE sobre tendencias futuras de sistemas informáticos distribuidos. IEEE . págs. 58–64. doi :10.1109/FTDCS.2008.22. ISBN 978-0-7695-3377-3.S2CID16570077 .
- Hierons, RM; Bogdanov, K.; Bowen, JP ; Cleaveland, R.; Derrick, J.; Dick, J.; Gheorghe, M.; Harman, M .; Kapoor, K.; Krause, P.; Lüttgen, G.; Simons, AJH; Vilkomir, SA ; Woodward, MR; Zedan, H. (2009). "Uso de especificaciones formales para respaldar las pruebas". Encuestas de computación de ACM . 41 (2). ACM: 1–76. doi :10.1145/1459352.1459354. S2CID 10686134.
- Alalwan, N.; Zedan, H.; Siewe, F. (2009). "Generación de ontología OWL para la integración de bases de datos". Tercera Conferencia Internacional sobre Avances en Procesamiento Semántico de 2009. ACM. págs. 22–31. doi :10.1109/SEMAPRO.2009.21. ISBN 978-1-4244-5044-2.S2CID10213520 .
- Siewe, F.; Cau, A.; Zedan, H. (julio de 2011). "El cálculo de entornos sensibles al contexto". Revista de Ciencias de la Computación y de Sistemas . 77 (4). Elsevier : 597–620. doi :10.1016/j.jcss.2010.02.003.
- Al-Sultan, S.; Al-Bayatti, AH; Zedan, H. (mayo de 2013). "Sistema de detección del comportamiento del conductor en sistemas de transporte inteligentes que tiene en cuenta el contexto". IEEE Transactions on Vehicular Technology . 62 (9). IEEE: 4264–4275. doi :10.1109/TVT.2013.2263400. S2CID 10826583.
- Al-Sultan, S.; Al-Doori, MM; Al-Bayatti, AH; Zedan, H. (enero de 2014). "Un estudio exhaustivo sobre redes ad hoc vehiculares". Revista de aplicaciones informáticas y de redes . 37 . Elsevier: 380–392. doi :10.1016/j.jnca.2013.02.036. S2CID 40636470.
- Bowen, JP ; Hinchey, M. ; Janicke, H.; Ward, M.; Zedan, H. (octubre de 2014). "Formalidad, agilidad, seguridad y evolución en la ingeniería de software". Informática . 47 (10). IEEE: 86–89. doi :10.1109/MC.2014.284. S2CID 16101256.– republicado como:
- Bowen, JP; et al. (2018). "Formalidad, agilidad, seguridad y evolución en la ingeniería de software". Tecnología de software: 10 años de innovación en informática IEEE . Wiley - IEEE Press . págs. 282–292. doi :10.1002/9781119174240.ch16. ISBN . 9781119174240.S2CID69781495 .
Referencias
- ^ ab "Hussein Zedan". Proyecto de genealogía matemática . Universidad Estatal de Dakota del Norte . Consultado el 17 de febrero de 2020 .
- ^ ab "Hussein Zedan". Guía de funerales . Consultado el 17 de febrero de 2020 .
- ^ ab "STRL − Prof. Hussein Zedan". Archive.org . Universidad De Montfort . 6 de abril de 2009. Archivado desde el original el 31 de mayo de 2009.
- ^ "Laboratorio de investigación de tecnología de software: desarrollo de sistemas de software para empresas de TI en todo el mundo" (PDF) . Universidad De Montfort . Consultado el 17 de febrero de 2020 .
- ^ "Laboratorio de investigación de tecnología de software (STRL), Universidad De Montfort" . Consultado el 17 de febrero de 2020 .
- ^ "Dr. François Siewe". Universidad De Montfort . Consultado el 17 de febrero de 2020 .
- ^ "Práctica docente profesional reconocida en la Universidad de Ciencias Aplicadas de Bahréin". Reino Unido: Higher Education Academy . 26 de enero de 2017. Consultado el 17 de febrero de 2020 .
- ^ "Despedida del profesor Hussein Zedan". Bahréin: Applied Science University . 26 de enero de 2017. Consultado el 17 de febrero de 2020 .
- ^ Bowen, Jonathan P. (junio de 2020). "In Memoriam: Un homenaje a cinco colegas de métodos formales" (PDF) . FACS FACTS . 2020 (1). BCS-FACS : 13–29. doi :10.13140/RG.2.2.13481.62560.
Enlaces externos
