Жан-Раймон Абриаль - Jean-Raymond Abrial

Жан-Раймон Абриаль (родился в 1938 г.)[1] это Французский компьютерный ученый и изобретатель Z и B формальные методы.[2]

Ж.-Р. Абриаль - отец Обозначение Z (обычно используется для формальная спецификация программного обеспечения), во время его работы в Группа исследования программирования в вычислительной лаборатории Оксфордского университета (сейчас Оксфордский университет, факультет компьютерных наук ), а позже B-метод (обычно используется для разработки программного обеспечения), два ведущих формальные методы за программная инженерия. Он автор B-Book: соотнесение программ со смыслами.[3] На протяжении большей части своей карьеры он был независимым консультантом,[4] как дома, работая с промышленностью, так и с академическим сообществом. В последнее время он стал Профессор в ETH Цюрих в Швейцария.[5]

Рекомендации

  1. ^ Боуэн, Джонатан П .; Лю, Чжиминг; Чжан, Зили (17.04.2019). Разработка надежных программных систем: 4-я международная школа, SETSS 2018, Чунцин, Китай, 7–12 апреля 2018 г., учебные лекции. Springer. ISBN  978-3-030-17601-3.
  2. ^ "dblp: Жан-Раймон Абриаль". dblp.uni-trier.de. Получено 2020-05-17.
  3. ^ Жан-Раймон Абриаль (1996). B-Book: соотнесение программ со смыслами. Кембридж: Издательство Кембриджского университета. ISBN  0-521-49619-5.
  4. ^ "Академия Европы: Абриаль Жан-Раймон". www.ae-info.org. Получено 2020-05-17.
  5. ^ Абриаль, Жан-Раймонд (22 августа 2005 г.). «Управление строительством больших компьютеризированных систем». Департамент компьютерных наук, ETH Цюрих, Швейцария. Архивировано из оригинал 26 сентября 2011 г.. Получено 26 сентября, 2011.

внешняя ссылка