Husajn Zedan - Hussein Zedan

Husajn Zedan
Hussein Zedan.jpg
narozený(1953-07-01)1. července 1953
Zemřel23. února 2019(2019-02-23) (ve věku 65)
Anglie
Alma materUniversity of Bristol (SPOJENÉ KRÁLOVSTVÍ)
Známý jakoSoftwarové inženýrství, formální metody, systémy v reálném čase
Vědecká kariéra
PolePočítačová věda
InstituceUniversity of York (SPOJENÉ KRÁLOVSTVÍ), De Montfort University (SPOJENÉ KRÁLOVSTVÍ), Univerzita aplikovaných věd (Bahrajn)
TezeUpravené Rosenbrock-Wannerovy metody pro řešení systémů tuhých obyčejných diferenciálních rovnic (1981)
Doktorský poradceJohn Derwent Pryce[1]
VlivyJifeng He
OvlivněnoJonathan Bowen

Hussein S. M. Zedan (1. července 1953 - 23. února 2019) byl a počítačový vědec z Egyptský sestup, založený hlavně na Spojené království.[2]

Husajn Zedan se narodil v roce 1953. Titul PhD získal v roce 1981 na univerzitě University of Bristol, studoval u Johna Derwenta Pryceho a Huberta Schwetlicka za práci s názvem Upravené Rosenbrock-Wannerovy metody pro řešení systémů tuhých obyčejných diferenciálních rovnic.[1]

Zedan byl akademikem na katedře výpočetní techniky na VŠE University of York. Prof. Zedan poté vedl Laboratoř pro výzkum softwarových technologií (STRL) jako technický ředitel[3] na De Montfort University.[4][5] Byl také vedoucím výpočetního výzkumu.[3] Později vedl STRL Zedanův doktorand a následně kolega François Siewe.[6] Zedan byl následně jmenován pomocným viceprezidentem pro akademické záležitosti a rozvoj na Univerzita aplikovaných věd[7] v Manama, Bahrajn, do roku 2017.[8]

Husajn Zedan zemřel 23. února 2019.[2][9] Byl ženatý a měl dvě dcery.

Vybrané publikace

  • Zedan, H.S.M., ed. (1990). Distribuované počítačové systémy. Butterworths. ISBN  0-408-02938-2.
  • Scholefield, D .; Zedan, H .; On, Jifeng (1994). "Sémantika zaměřená na specifikaci pro zdokonalení systémů v reálném čase". Teoretická informatika. 131 (1): 219–241. doi:10.1016/0304-3975(94)90096-5.
  • Cau, A .; Zedan, H. (1997). Msgstr "Specifikace časové logiky intervalu upřesnění". Vývoj reaktivních systémů na základě transformace (ARTS 1997). Přednášky z informatiky. Springer-Verlag. 1231: 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. (říjen 2003). "Kompoziční rámec pro prosazování zásad kontroly přístupu". FMSE '03: Proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering. ACM: 32–42. doi:10.1145/1035429.1035433. ISBN  1581137818. S2CID  6519229.
  • Solanki, M .; Cau, A .; Zedan, H. (2004). Msgstr "Rozšířit popisy sémantické webové služby s kompoziční specifikací". WWW '04: Proceedings of the 13th International Conference On World Wide Web. ACM: 544–552. doi:10.1145/988672.988746. ISBN  158113844X. S2CID  16034615.
  • Al-Ajlan, A .; Zedan, H. (říjen 2008). „Proč Moodle“. 12. mezinárodní seminář IEEE o budoucích trendech distribuovaných výpočetních systémů. IEEE: 58–64. doi:10.1109 / FTDCS.2008.22. ISBN  978-0-7695-3377-3. S2CID  16570077.
  • Hierons, R.M .; Bogdanov, K .; Bowen, J.P.; Cleaveland, R .; Derrick, J .; Dick, J .; Gheorghe, M .; Harman, M.; Kapoor, K .; Krause, P .; Lüttgen, G .; Simons, A.J.H .; Vilkomir, S.A.; Woodward, M.R .; Zedan, H. (2009). „Použití formálních specifikací na podporu testování“. ACM Computing Surveys. ACM. 41 (2): 1–76. doi:10.1145/1459352.1459354. S2CID  10686134.
  • Alalwan, N .; Zedan, H .; Siewe, F. (2009). „Generování ontologie OWL pro integraci databáze“. SEMAPRO '09: Sborník ze třetí mezinárodní konference o pokroku v sémantickém zpracování. ACM: 22–31. doi:10.1109 / SEMAPRO.2009.21. ISBN  978-1-4244-5044-2. S2CID  10213520.
  • Siewe, F .; Cau, A .; Zedan, H. (červenec 2011). „Počet kontextově závislých prostředí“. Journal of Computer and System Sciences. Elsevier. 77 (4): 597–620. doi:10.1016 / j.jcss.2010.02.003.
  • Al-Sultan, S .; Al-Bayatti, A.H .; Zedan, H. (květen 2013). „Systém detekce chování řidiče v kontextu inteligentních dopravních systémů“. Transakce IEEE na automobilové technologii. IEEE. 62 (9): 4264–4275. doi:10.1109 / TVT.2013.2263400. S2CID  10826583.
  • Al-Sultan, S .; Al-Doori, M.M .; Al-Bayatti, A.H .; Zedan, H. (leden 2014). "Komplexní průzkum o automobilových sítích ad hoc". Journal of Network and Computer Applications. Elsevier. 37: 380–392. doi:10.1016 / j.jnca.2013.02.036.
  • Bowen, J.P.; Hinchey, M.; Janicke, H .; Ward, M .; Zedan, H. (říjen 2014). „Formálnost, agilita, bezpečnost a vývoj v softwarovém inženýrství“. Počítač. IEEE. 47 (10): 86–89. doi:10.1109 / MC.2014.284. S2CID  16101256. - publikováno jako:

Reference

  1. ^ A b „Husajn Zedan“. Matematický genealogický projekt. Státní univerzita v Severní Dakotě. Citováno 17. února 2020.
  2. ^ A b „Husajn Zedan“. Pohřební průvodce. Citováno 17. února 2020.
  3. ^ A b „STRL - Prof. Hussein Zedan“. Archive.org. De Montfort University. 6. dubna 2009. Archivovány od originál dne 2009-05-31.
  4. ^ „Laboratoř pro výzkum softwarových technologií - vývoj softwarových systémů pro IT podniky po celém světě“ (PDF). De Montfort University. Citováno 17. února 2020.
  5. ^ „Software Technology Research Laboratory (STRL), De Montfort University“. Citováno 17. února 2020.
  6. ^ „Dr. François Siewe“. De Montfort University. Citováno 17. února 2020.
  7. ^ „Profesionální pedagogická praxe uznávaná na Applied Science University, Bahrain“. SPOJENÉ KRÁLOVSTVÍ: Akademie vysokoškolského vzdělávání. 26. ledna 2017. Citováno 17. února 2020.
  8. ^ „Rozloučení prof. Husajna Zedana“. Bahrajn: Univerzita aplikovaných věd. 26. ledna 2017. Citováno 17. února 2020.
  9. ^ Bowen, Jonathan P. (Červen 2020). „In Memoriam: Pocta pěti kolegům z formálních metod“ (PDF). FAKTA FAKTA. BCS-FACS. 2020 (1): 13–29. doi:10,13140 / RG.2.2.13481.62560.

externí odkazy