Хусейн Зедан

Хусейн Зедан
Рожденный( 1953-07-01 )1 июля 1953 г.
Умер23 февраля 2019 г. (2019-02-23)(65 лет)
Англия
Альма-матерУниверситет Бристоля (Великобритания)
ИзвестныйПрограммная инженерия , формальные методы , системы реального времени
Научная карьера
ПоляИнформатика
УчрежденияУниверситет Йорка (Великобритания), Университет Де Монтфорта (Великобритания), Университет прикладных наук (Бахрейн)
ТезисМодифицированные методы Розенброка-Ваннера для решения систем жестких обыкновенных дифференциальных уравнений  (1981)
научный руководительДжон Дервент Прайс [1]

Хусейн С. М. Зедан (1 июля 1953 г. – 23 февраля 2019 г.) был учёным-компьютерщиком египетского происхождения, проживавшим в основном в Соединённом Королевстве . [2]

Хусейн Зедан родился в 1953 году. Он получил степень доктора философии в 1981 году в Университете Бристоля , обучаясь у Джона Дервента Прайса и Хьюберта Шветлика над диссертацией под названием « Модифицированные методы Розенброка-Ваннера для решения систем жестких обыкновенных дифференциальных уравнений» . [1]

Зедан был академиком на кафедре компьютерных наук в Университете Йорка . Затем профессор Зедан возглавил Лабораторию исследований программных технологий (STRL) в качестве технического директора [3] в Университете Де Монтфорта . [4] [5] Он также был руководителем компьютерных исследований. [3] Позже STRL возглавил аспирант Зедана, а впоследствии и его коллега Франсуа Сив. [6] Впоследствии Зедан был назначен помощником вице-президента по академическим вопросам и развитию в Университете прикладных наук [7] в Манаме , Бахрейн , до 2017 года . [8]

Хусейн Зедан умер 23 февраля 2019 года. [2] [9] Он был женат и имел двух дочерей.

Избранные публикации

  • Zedan, HSM, ред. (1990). Распределенные компьютерные системы . Butterworths. ISBN 0-408-02938-2.
  • Scholefield, D.; Zedan, H.; He, Jifeng (1994). "Семантика, ориентированная на спецификации, для усовершенствования систем реального времени". Теоретическая информатика . 131 (1): 219– 241. doi : 10.1016/0304-3975(94)90096-5 .
  • Cau, A.; Zedan, H. (1997). "Уточнение спецификаций временной логики интервала". Разработка реактивных систем на основе преобразований (ARTS 1997) . Международный семинар AMAST по аспектам систем реального времени и параллельного и распределенного программного обеспечения. Конспект лекций по информатике . Том 1231. Springer-Verlag . С.  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. (октябрь 2003 г.). "Композиционная структура для обеспечения соблюдения политик контроля доступа". Труды семинара ACM 2003 г. по формальным методам в проектировании безопасности . ACM . стр.  32–42 . doi :10.1145/1035429.1035433. ISBN 1581137818. S2CID  6519229.
  • Solanki, M.; Cau, A.; Zedan, H. (2004). «Расширение описаний семантических веб-сервисов с помощью композиционной спецификации». Труды 13-й международной конференции по Всемирной паутине . ACM. С.  544– 552. doi :10.1145/988672.988746. ISBN 158113844X. S2CID  16034615.
  • Аль-Аджлан, А.; Зедан, Х. (октябрь 2008 г.). Почему Moodle . 12-й международный семинар IEEE по будущим тенденциям распределенных вычислительных систем. IEEE . стр.  58–64 . doi :10.1109/FTDCS.2008.22. ISBN 978-0-7695-3377-3. S2CID  16570077.
  • 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). «Использование формальных спецификаций для поддержки тестирования». ACM Computing Surveys . 41 (2). ACM: 1– 76. doi :10.1145/1459352.1459354. S2CID  10686134.
  • Alalwan, N.; Zedan, H.; Siewe, F. (2009). «Создание онтологии OWL для интеграции баз данных». Третья международная конференция по достижениям в области семантической обработки 2009 г. ACM. стр.  22–31 . doi :10.1109/SEMAPRO.2009.21. ISBN 978-1-4244-5044-2. S2CID  10213520.
  • Siewe, F.; Cau, A.; Zedan, H. (июль 2011 г.). «Исчисление контекстно-зависимых окружений». Журнал компьютерных и системных наук . 77 (4). Elsevier : 597– 620. doi : 10.1016/j.jcss.2010.02.003.
  • Аль-Султан, С.; Аль-Баятти, А.Х.; Зедан, Х. (май 2013 г.). «Система определения поведения водителя с учетом контекста в интеллектуальных транспортных системах». Труды IEEE по транспортным технологиям . 62 (9). IEEE: 4264– 4275. doi : 10.1109/TVT.2013.2263400. S2CID  10826583.
  • Аль-Султан, С.; Аль-Дури, ММ; Аль-Баятти, А.Х.; Зедан, Х. (январь 2014 г.). «Комплексный обзор транспортных сетей ad hoc». Журнал сетевых и компьютерных приложений . 37. Elsevier: 380– 392. doi :10.1016/j.jnca.2013.02.036. S2CID  40636470.
  • Боуэн, Дж. П .; Хинчи, М .; Янике, Х.; Уорд, М.; Зедан, Х. (октябрь 2014 г.). «Формальность, гибкость, безопасность и эволюция в программной инженерии». Компьютер . 47 (10). IEEE: 86– 89. doi :10.1109/MC.2014.284. S2CID  16101256.– переиздано как:
    • Боуэн, Дж. П.; и др. (2018). «Формальность, гибкость, безопасность и эволюция в программной инженерии». Программные технологии: 10 лет инноваций в IEEE Computer . Wiley - IEEE Press . стр.  282– 292. doi :10.1002/9781119174240.ch16. ISBN 9781119174240. S2CID  69781495.

Ссылки

  1. ^ ab "Hussein Zedan". Проект генеалогии математики . Университет штата Северная Дакота . Получено 17 февраля 2020 г.
  2. ^ ab "Hussein Zedan". Funeral Guide . Получено 17 февраля 2020 г. .
  3. ^ ab "STRL − Prof. Hussein Zedan". Archive.org . De Montfort University . 6 апреля 2009 г. Архивировано из оригинала 31 мая 2009 г.
  4. ^ "Исследовательская лаборатория программных технологий – Разработка программных систем для ИТ-бизнеса по всему миру" (PDF) . Университет Де Монтфорт . Получено 17 февраля 2020 г. .
  5. ^ "Исследовательская лаборатория программных технологий (STRL), Университет Де Монфор" . Получено 17 февраля 2020 г. .
  6. ^ "Доктор Франсуа Сью". Университет Де Монфор . Проверено 17 февраля 2020 г. .
  7. ^ "Профессиональная преподавательская практика признана в Университете прикладных наук Бахрейна". Великобритания: Академия высшего образования . 26 января 2017 г. Получено 17 февраля 2020 г.
  8. ^ "Прощание профессора Хусейна Зедана". Бахрейн: Университет прикладных наук . 26 января 2017 г. Получено 17 февраля 2020 г.
  9. ^ Боуэн, Джонатан П. (июнь 2020 г.). «Памяти: дань уважения пяти коллегам по формальным методам» (PDF) . ФАКТЫ FACS . 2020 (1). BCS-FACS : 13– 29. doi :10.13140/RG.2.2.13481.62560.
Взято с "https://en.wikipedia.org/w/index.php?title=Хусейн_Зедан&oldid=1210166038"