フセイン・ゼダン

フセイン・ゼダン
生まれる	( 1953-07-01 )1953年7月1日
死亡	2019年2月23日(2019-02-23)（65歳） イングランド
母校	ブリストル大学（英国）
知られている	ソフトウェア工学、形式手法、リアルタイムシステム
科学者としてのキャリア
フィールド	コンピュータサイエンス
機関	ヨーク大学（英国）、デ・モンフォート大学（英国）、応用科学大学（バーレーン）
論文	スティフ常微分方程式系を解くための修正ローゼンブロック・ワナー法 (1981)
博士課程の指導教員	ジョン・ダーウェント・プライス[1]

フセイン・SM・ゼダン（1953年7月1日 - 2019年2月23日）は、主にイギリスを拠点に活動したエジプト系のコンピュータ科学者であった。^[2]

フセイン・ゼダンは1953年生まれ。1981年にブリストル大学でジョン・ダーウェント・プライスとヒューバート・シュヴェトリックの指導の下、「硬い常微分方程式系を解くための修正ローゼンブロック・ワナー法」と題する論文で博士号を取得した。^[1]

ゼダンはヨーク大学のコンピュータサイエンス学部の学者でした。その後、ゼダン教授はデモンフォート大学のソフトウェア技術研究所（STRL）のテクニカルディレクター^[3]として所長を務めました。^{[4] [5]}彼はコンピューティング研究の責任者でもありました。^[3]その後、STRLはゼダンの博士課程の学生で後に同僚となったフランソワ・シエウェによって所長になりました。^{[6]ゼダンはその後、2017年まで}バーレーンのマナマにある応用科学大学^[7]の学術担当および開発担当副学長に任命されました。^[8]

フセイン・ゼダンは2019年2月23日に亡くなった。^{[2] [9]}彼は結婚しており、2人の娘がいる。

• 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 . pp. 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 年 10 月)。「アクセス制御ポリシーの実施のための構成フレームワーク」。セキュリティエンジニアリングにおける形式手法に関する 2003 ACM ワークショップの議事録。ACM。pp . 32–42。doi :10.1145/ 1035429.1035433。ISBN 1581137818. S2CID  6519229。
• Solanki, M.; Cau, A.; Zedan, H. ( 2004)。「構成仕様によるセマンティック Web サービス記述の拡張」。第 13 回 World Wide Web 国際会議の議事録。ACM。pp. 544–552。doi :10.1145/ 988672.988746。ISBN 158113844X. S2CID  16034615。
• Al-Ajlan, A.; Zedan, H. (2008 年 10 月)。なぜ Moodle なのか。分散コンピューティング システムの将来動向に関する第 12 回 IEEE 国際ワークショップ。IEEE。pp . 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年第 3 回セマンティック処理の進歩に関する国際会議。ACM。pp. 22–31。doi : 10.1109 / SEMAPRO.2009.21。ISBN 978-1-4244-5044-2. S2CID  10213520。
• Siewe, F.; Cau, A.; Zedan, H. (2011 年 7 月)。「コンテキスト認識アンビエントの計算」。Journal of Computer and System Sciences。77 ( 4) 。Elsevier : 597–620。doi : 10.1016/ j.jcss.2010.02.003。
• Al-Sultan, S.; Al-Bayatti, AH; Zedan, H. (2013 年 5 月)。「インテリジェント交通システムにおけるコンテキスト認識型ドライバー行動検出システム」。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. (2014 年 1 月)。「車両アドホック ネットワークに関する包括的な調査」。Journal of Network and Computer Applications。37。Elsevier : 380–392。doi : 10.1016/ j.jnca.2013.02.036。S2CID 40636470  。
• Bowen, JP ; Hinchey, M. ; Janicke, H.; Ward, M.; Zedan, H. (2014 年 10 月)。 「ソフトウェア エンジニアリングにおける形式性、敏捷性、セキュリティ、進化」。Computer . 47 (10) 。IEEE : 86–89。doi :10.1109/MC.2014.284。S2CID 16101256  。– 再公開:
  • Bowen, JP; et al. (2018). 「ソフトウェア エンジニアリングにおける形式性、敏捷性、セキュリティ、進化」。ソフトウェア テクノロジー: IEEE コンピュータにおける 10 年間のイノベーション。Wiley - IEEEプレス。pp. 282–292。doi :10.1002/ 9781119174240.ch16。ISBN 9781119174240. S2CID  69781495。

• ResearchGateのフセイン・ゼダン
• Academia.eduの Hussein Zedan
• LinkedInのフセイン・ゼダン
• DBLPのフセイン・ゼダン
• IEEE Xploreの Hussein Zedan
• Google Scholarに索引付けされたフセイン・ゼダンの出版物
• 数学系譜プロジェクトのフセイン・ゼダン