Хусейн С.М. Зедан (1 июля 1953 г. - 23 февраля 2019 г.) был ученым-компьютерщиком египетского происхождения , в основном проживавшим в Соединенном Королевстве . [2]
Хусейн Зедан родился в 1953 году. Степень доктора философии он получил в 1981 году в Бристольском университете , обучаясь у Джона Дервента Прайса и Хьюберта Шветлика над диссертацией на тему « Модифицированные методы Розенброка-Ваннера для решения систем жестких обыкновенных дифференциальных уравнений» . [1]
Зедан был научным сотрудником факультета компьютерных наук Йоркского университета . Затем профессор Зедан возглавлял Лабораторию исследований программных технологий (STRL) в качестве технического директора [3] в Университете Де Монфор . [4] [5] Он также был главой отдела компьютерных исследований. [3] Позже STRL возглавил аспирант Зедана, а затем его коллега Франсуа Сив. [6] Впоследствии Зедан был назначен помощником вице-президента по академическим вопросам и развитию Университета прикладных наук [7] в Манаме , Бахрейн , до 2017 года. [8]
Хусейн Зедан умер 23 февраля 2019 года. [2] [9] Он был женат, имел двух дочерей.
Избранные публикации
- Зедан, HSM, изд. (1990). Распределенные компьютерные системы . Баттервортс. ISBN 0-408-02938-2.
- Скоулфилд, Д.; Зедан, Х.; Он, Цзифэн (1994). «Семантика, ориентированная на спецификации, для совершенствования систем реального времени». Теоретическая информатика . 131 (1): 219–241. дои : 10.1016/0304-3975(94)90096-5 .
- Кау, А.; Зедан, Х. (1997). «Уточнение спецификаций интервальной темпоральной логики». Разработка реактивных систем на основе трансформации (ARTS 1997) . Международный семинар AMAST по аспектам систем реального времени и параллельного и распределенного программного обеспечения. Конспекты лекций по информатике . Том. 1231. Шпрингер-Верлаг . стр. 79–94. дои : 10.1007/3-540-63010-4_6. HDL : 2086/40 . ISBN 978-3-540-63010-4.
- Сивэ, Ф.; Кау, А.; Зедан, Х. (октябрь 2003 г.). «Композиционная основа для обеспечения соблюдения политик контроля доступа». Материалы семинара ACM 2003 г. по формальным методам в разработке безопасности . АКМ . стр. 32–42. дои : 10.1145/1035429.1035433. ISBN 1581137818. S2CID 6519229.
- Соланки, М.; Кау, А.; Зедан, Х. (2004). «Дополнение семантических описаний веб-сервисов композиционной спецификацией». Материалы 13-й международной конференции по Всемирной паутине . АКМ. стр. 544–552. дои : 10.1145/988672.988746. ISBN 158113844X. S2CID 16034615.
- Аль-Аджлан, А.; Зедан, Х. (октябрь 2008 г.). Почему Мудл . 12-й международный семинар IEEE по будущим тенденциям распределенных вычислительных систем. ИИЭЭ . стр. 58–64. дои : 10.1109/FTDCS.2008.22. ISBN 978-0-7695-3377-3. S2CID 16570077.
- Хиеронс, Р.М.; Богданов К.; Боуэн, Япония ; Кливленд, Р.; Деррик, Дж.; Дик, Дж.; Георге, М.; Харман, М .; Капур, К.; Краузе, П.; Люттген, Г.; Саймонс, AJH; Вилкомир, SA ; Вудворд, MR; Зедан, Х. (2009). «Использование формальных спецификаций для поддержки тестирования». Обзоры вычислительной техники ACM . АКМ. 41 (2): 1–76. дои : 10.1145/1459352.1459354. S2CID 10686134.
- Алалван, Н.; Зедан, Х.; Сью, Ф. (2009). «Создание онтологии OWL для интеграции баз данных». 2009 Третья международная конференция по достижениям в области семантической обработки . АКМ. стр. 22–31. дои : 10.1109/SEMAPRO.2009.21. ISBN 978-1-4244-5044-2. S2CID 10213520.
- Сивэ, Ф.; Кау, А.; Зедан, Х. (июль 2011 г.). «Расчет контекстно-зависимой среды». Журнал компьютерных и системных наук . Эльзевир . 77 (4): 597–620. дои : 10.1016/j.jcss.2010.02.003.
- Аль-Султан, С.; Аль-Баятти, Ах; Зедан, Х. (май 2013 г.). «Контекстно-зависимая система обнаружения поведения водителя в интеллектуальных транспортных системах». Транзакции IEEE по автомобильным технологиям . IEEE. 62 (9): 4264–4275. дои :10.1109/TVT.2013.2263400. S2CID 10826583.
- Аль-Султан, С.; Аль-Дури, ММ; Аль-Баятти, Ах; Зедан, Х. (январь 2014 г.). «Комплексное исследование автомобильных специальных сетей». Журнал сетевых и компьютерных приложений . Эльзевир. 37 : 380–392. дои : 10.1016/j.jnca.2013.02.036. S2CID 40636470.
- Боуэн, Япония ; Хинчи, М .; Янике, Х.; Уорд, М.; Зедан, Х. (октябрь 2014 г.). «Формальность, гибкость, безопасность и эволюция в разработке программного обеспечения». Компьютер . IEEE. 47 (10): 86–89. дои : 10.1109/MC.2014.284. S2CID 16101256.- переиздано как:
- Боуэн, JP; и другие. (2018). «Формальность, гибкость, безопасность и эволюция в разработке программного обеспечения». Программные технологии: 10 лет инноваций в компьютерах IEEE . Уайли — IEEE Press . стр. 282–292. дои : 10.1002/9781119174240.ch16. ISBN 9781119174240. S2CID 69781495.
Рекомендации
- ^ аб "Хусейн Зедан". Проект математической генеалогии . Государственный университет Северной Дакоты . Проверено 17 февраля 2020 г.
- ^ аб "Хусейн Зедан". Похоронный гид . Проверено 17 февраля 2020 г.
- ^ ab "STRL - профессор Хусейн Зедан" . Архив.орг . Университет Де Монфор . 6 апреля 2009 г. Архивировано из оригинала 31 мая 2009 г.
- ^ «Лаборатория исследований программных технологий - Разработка программных систем для ИТ-бизнеса по всему миру» (PDF) . Университет Де Монфор . Проверено 17 февраля 2020 г.
- ^ «Лаборатория исследований программных технологий (STRL), Университет Де Монфор» . Проверено 17 февраля 2020 г.
- ^ "Доктор Франсуа Сью". Университет Де Монфор . Проверено 17 февраля 2020 г.
- ^ «Профессиональная педагогическая практика признана в Университете прикладных наук, Бахрейн» . Великобритания: Академия высшего образования . 26 января 2017 года . Проверено 17 февраля 2020 г.
- ^ "Прощание профессора Хусейна Зедана" . Бахрейн: Университет прикладных наук . 26 января 2017 года . Проверено 17 февраля 2020 г.
- ↑ Боуэн, Джонатан П. (июнь 2020 г.). «В память: дань уважения пяти коллегам по формальным методам» (PDF) . ФАКТЫ ФАКС . БКС-ФАКС . 2020 (1): 13–29. дои : 10.13140/RG.2.2.13481.62560.
Внешние ссылки
