Иб Хольм Соренсен - Ib Holm Sørensen

Доктор Иб Хольм Соренсен (1949–2012) был специалист в области информатики кто внес вклад в Обозначение Z и B-метод.[1]

Первоначально из Дания Иб Соренсен начал свою академическую карьеру в 1970-х годах в Орхусский университет, где он работал над Рикке-Матильдой микросборщики и тренажеры работает на DECSystem-10 компьютер.[2]

В 1979 году Соренсен присоединился к Группа исследования программирования, часть вычислительной лаборатории Оксфордского университета (ныне Оксфордский университет, факультет компьютерных наук ) в Англия. Там он работал с Жан-Раймон Абриаль и другие, внося вклад в раннее развитие формальная спецификация язык Z. Он получил DPhil степень от Оксфордский университет[3] и был соавтором основополагающей Спецификации Примеры использования книга по Z, впервые опубликованная в 1987 г. (второе издание в 1993 г.).[4]

С конца 1980-х годов Соренсен занимал центральное место в развитии метода Б. формальный метод. Он ушел Оксфордский университет возглавить команду в BP развитие B-инструмент для обеспечения инструментальной поддержки подхода B. Затем он основал компанию B-Core (UK) Limited.[5] для поддержки B-Toolkit,[6] набор инструментов программирования, предназначенных для поддержки использования B-Tool и выполнения проектов, связанных с B.

Недавно Соренсен вернулся в Оксфордский университет. С 1999 года работал над кинокомпанией Б. Бустер модели требований. Он умер в 2012 году, не успев выйти на пенсию.[1]

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

  1. ^ а б Роско, Билл (8 февраля 2012 г.). "Иб Соренсен - Памяти". Департамент компьютерных наук Оксфордского университета, ВЕЛИКОБРИТАНИЯ. Получено 22 февраля, 2012.
  2. ^ Соренсен, Иб Холм; Кресс, Эрик (декабрь 1977). Микроассемблеры и тренажеры RIKKE-MATHILDA на DECSystem-10 (PDF). DAIMI MD-28. Орхусский университет, Дания.
  3. ^ Соренсен, Иб Холм (1981). Темы в спецификации и проектировании программ: спецификация и проектирование распределенных систем. Вольфсон Колледж, Оксфордский университет, ВЕЛИКОБРИТАНИЯ.
  4. ^ Хейс, Ян, изд. (1993). Спецификации Примеры использования (PDF) (2-е изд.). Международная серия Prentice Hall по компьютерным наукам. ISBN  978-0-13-832544-2.
  5. ^ "Би-Core (UK) Limited". www.cdrex.com. Данные компании Rex. Получено 22 февраля, 2012.
  6. ^ "B-Toolkit". B-Core (UK) Limited. 2004. Архивировано с оригинал 12 октября 2004 г.. Получено 22 февраля, 2012.

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