Джон Фицджералд (информатик) - John Fitzgerald (computer scientist)

Джон С. Фицджералд FBCS (1965 жылы туған) - британдық информатик. Ол есептеу мектебінің жетекшісі және профессор Ньюкасл университеті ішінде Ұлыбритания.[1] Оның ғылыми қызығушылықтары: сенімді компьютерлік жүйелер және формальды әдістер, фонында VDM.[2] Ол бұрынғы кафедра төрағасы Еуропадағы формальды әдістер және комитет мүшесі BCS-FACS.

Білім

Фицджеральд дүниеге келді Белфаст, Солтүстік Ирландия,[дәйексөз қажет ] және білім алған Бангор грамматикалық мектебі және Манчестердегі Виктория университеті. Ол ұстайды Бакалавр Есептеу және ақпараттық жүйелер және PhD докторы Манчестердегі компьютерлік ғылымдар бөлімінің дәрежелері.

Таңдалған кітаптар

  • Бикаррегуи, Дж., Фицджеральд, Дж. және Линдсей, П.А. т.б., VDM-дегі дәлел: тәжірибешілерге арналған нұсқаулық. Шпрингер-Верлаг Есептеу және ақпараттық технологияларға формалды тәсілдер (FACIT), 1994 ж. ISBN  3-540-19813-X.
  • Фицджеральд, Дж.С. және Ларсен, П.Г., Модельдеу жүйелері: бағдарламалық қамтамасыз етудегі практикалық құралдар мен әдістер. Кембридж университетінің баспасы, 1998. ISBN  0-521-62348-0. (Japanese Edition паб. Иванами Шотен, 2003. ISBN  4-00-005609-3.)
  • Фицджеральд, Дж.С., Ларсен, П.Г., Мукерджи, П. және басқалар, Нысанға бағытталған жүйелер үшін расталған дизайн. Шпрингер-Верлаг, 2005. ISBN  1-85233-881-4.

Сондай-ақ қараңыз

Әріптестер Ньюкасл университеті:

Әдебиеттер тізімі

Сыртқы сілтемелер