Абриаль, Жан-Ремон
Жан-Ремон Абриаль
- Место рождения
- Версаль, Франция
- Место смерти
- Марсель, Франция
- Род деятельности
- Информатика, программная инженерия, формальные методы
Жан-Ремон Абриаль ([Нет даты!]) — французский учёный в области информатики. Создатель формальных методов Z и B.
Биография[править]
Абриаль учился в Политехнической школе (выпуск 1958 года)[1][2]. В 1963—1965 годах посещал магистерские курсы в Стэнфордском университете.
Статья Абриаля 1974 года «Семантика данных» (англ. Data Semantics)[3] заложила основу для формального подхода к моделям данных. Хотя этот подход не был напрямую принят практиками, он оказал влияние на все последующие модели, от модели «сущность — связь» до RDF.
Абриаль разработал Z-нотацию (используемую для формальной спецификации программного обеспечения) во время работы в Programming Research Group под руководством профессора Тони Хоара в Оксфордской университетской вычислительной лаборатории (ныне Oxford University Department of Computer Science). Он пришёл туда в 1979 году и сотрудничал с Клиффом Джонсом. Позже он инициировал создание B-метода, обеспечивающего лучшую инструментальную поддержку разработки программного обеспечения для уточнения от высокоуровневой спецификации до исполняемой программы, включая Rodin tool. Это два важных подхода формальных методов для программной инженерии. Он является автором книги «The B-Book: Assigning Programs to Meanings». Большую часть своей карьеры он работал независимым консультантом[4]. С 2004 по 2009 год был приглашённым профессором в Швейцарской высшей технической школе Цюриха. Он развил подход B в Event-B.
В 2006 году Абриаль был избран членом Европейской академии[4]. Помимо научной деятельности, он был исследователем в Северной Африке и других регионах. Умер 26 мая 2025 года в возрасте 86 лет[5].
Примечания[править]
- ↑ Jean-Raymond Abrial. IEEE. Проверено 18 июня 2026.
- ↑ ACONIT-PSTC: Jean-Raymond Abrial, une vie de recherche basée sur la notion informatique de donnéeфр.. France: EchoSciences Grenoble. Проверено 18 июня 2026.
- ↑ Jean-Raymond Abrial Data Semantics // IFIP Working Conference Data Base Management. — Cargèse, Corsica, France: IFIP, 1974. — С. 1–60.
- ↑ 4,0 4,1 Academy of Europe: Abrial Jean-Raymond. www.ae-info.org. Проверено 18 июня 2026.
- ↑ J.R. Abrial, A Pioneer in the Scientific Development of Computer Languagesфр.. lefenetrou.blogspot.com (26 May 2025). Проверено 18 июня 2026.
Ссылки[править]
- Блог Жана-Ремона Абриаля
- Архивировано из первоисточника December 2, 2007. Джонатана Боуэна
- Managing the Construction of Large Computerized Systems — статья
- Have we learned from the Wasa disaster (video) — выступление Жана-Ремона Абриаля
- Chronological bibliography of Jean-Raymond Abrial, FACS FACTS, BCS-FACS (2026 год), стр. 79–89.
 | Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Абриаль, Жан-Ремон», расположенная по адресу:
Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?». |
|---|