Хусейн Зедан

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

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

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

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

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

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

• Зедан, 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 по автомобильным технологиям . 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 г.). «Формальность, гибкость, безопасность и эволюция в разработке программного обеспечения». Компьютер . 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 .

Внешние ссылки

• Хусейн Зедан на ResearchGate
• Хусейн Зедан на Academia.edu
• Хусейн Зедан зарегистрирован в LinkedIn
• Хусейн Зедан о DBLP
• Хусейн Зедан на IEEE Xplore
• Публикации Хусейна Зедана , проиндексированные Google Scholar
• Хусейн Зедан в проекте «Математическая генеалогия»