Жан-Раймон Абриаль
Жан-Раймон Абриаль | |
|---|---|
| Рожденный | 6 ноября 1938 г. |
| Национальность | Французский |
| Альма-матер | Политехническая школа |
| Известный | Обозначение Z , B-метод |
| Награды | Член Европейской академии (2006). |
| Научная карьера | |
| Поля | Информатика , программная инженерия , формальные методы. |
| Учреждения | Вычислительная лаборатория Оксфордского университета , ETH Zurich |
| Покровители | Тони Хоар |
Жан-Раймон Абриаль (родился 6 ноября 1938 г.) [1] французский учёный-компьютерщик и изобретатель Z и B. формальных методов — [2]
Абриал был студентом Политехнической школы (выпуск 1958 г.).
Статья Абриала 1974 года «Семантика данных» [3] заложил основу формального подхода к моделям данных ; хотя он и не был принят непосредственно практиками, он напрямую повлиял на все последующие модели, от модели «сущность-связь» до RDF .
Ж.-Р. Абриал является отцом нотации Z (обычно используемой для формальной спецификации программного обеспечения) во время его работы в исследовательской группе по программированию под руководством профессора Тони Хоара в вычислительной лаборатории Оксфордского университета (ныне факультет компьютерных наук Оксфордского университета ), прибывшей в 1979 году. и делим офис и сотрудничаем с Клиффом Джонсом . [4] Позже он инициировал B-метод на основе инструментов с улучшенной поддержкой разработки программного обеспечения для доработки высокого уровня от спецификации до исполняемой программы , включая инструмент Родена . Это два важных формальных метода разработки программного обеспечения . Он является автором книги «Б-книга: присвоение программ значениям» . [5] Большую часть своей карьеры он был независимым консультантом. [6] он был приглашенным профессором в ETH Zurich . С 2004 по 2009 год [7]
Абриал был избран членом Европейской академии в 2006 году. [6]
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Боуэн, Джонатан П.; Лю, Чжимин; Чжан, Зили (17 апреля 2019 г.). Engineering Trustworthy Software Systems: 4-я Международная школа, SETSS 2018, Чунцин, Китай, 7–12 апреля 2018 г., Учебные лекции . Спрингер. ISBN 978-3-030-17601-3 .
- ^ «Жан-Раймон Абриаль» . ДБЛП . Проверено 25 декабря 2020 г.
- ^ Жан-Раймон Абриаль (1974). «Семантика данных». Управление базой данных рабочих конференций ИФИП.
- ^ Джонс, Клифф ; Роско, Билл (2010). Понимание, вдохновение и сотрудничество (PDF) . Факультет компьютерных наук Оксфордского университета . Бибкод : 2010rwch.book....1J . Проверено 28 сентября 2023 г.
- ^ Жан-Раймон Абриаль (1996). Книга B: Присвоение программам значений . Кембридж: Издательство Кембриджского университета . ISBN 0-521-49619-5 .
- ^ Перейти обратно: а б «Европейская академия: Абриаль Жан-Раймон» . www.ae-info.org . Проверено 17 мая 2020 г.
- ^ Абриаль, Жан-Раймон (22 августа 2005 г.). «Управление построением больших компьютеризированных систем» . Кафедра компьютерных наук, ETH Zurich , Швейцария. Архивировано из оригинала 26 сентября 2011 года . Проверено 26 сентября 2011 г.
Внешние ссылки
[ редактировать ]- Жан-Раймон Абриаль на DBLP библиографическом сервере
- Рецензия на книгу B-Book at the Wayback Machine (архивировано 2 декабря 2007 г.). Джонатана Боуэна
- Управление созданием больших компьютеризированных систем — статья
- Извлекли ли мы уроки из катастрофы Васа (видео) — доклад Жана-Раймона Абриала
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
 | Эта статья о французском компьютерном специалисте незавершена . Вы можете помочь Википедии, расширив ее . |
- 1938 рождений
- Живые люди
- Выпускники Политехнической школы
- Французские ученые-компьютерщики
- Члены кафедры компьютерных наук Оксфордского университета
- Формальные методы люди
- Z-обозначение
- Писатели по информатике
- Инженеры-программисты
- Исследователи в области программной инженерии
- Академический состав ETH Zurich
- Члены Европейской академии
- Незавершенные статьи о европейских компьютерных специалистах