Dines Bjørner - Dines Bjørner

Dines Bjørner
Динес Бьёрнер, DTU Compute, июнь 2012.jpg
Родившийся (1937-10-04) 4 октября 1937 г. (возраст 83 года)
Оденсе, Дания
НациональностьДатский
Альма-матерТехнический университет Дании
ИзвестенВенский метод развития, Язык спецификации RAISE
НаградыОрден Даннеброга (1985)
Научная карьера
ПоляИнформатика
УчрежденияТехнический университет Дании
Университет ООН
ВлиянияМАШИНА. Hoare
Майкл А. Джексон
Под влияниемДжонатан Боуэн
Он Цзифэн
Клифф Джонс
Чжоу Чаочен

Профессор Dines Bjørner (родился 4 октября 1937 г., в г. Оденсе ) это Датский специалист в области информатики.

Он специализируется на исследованиях доменная инженерия, разработка требований и формальные методы.[1] Он работал с Клифф Джонс и другие на Венский метод развития (VDM) в Лаборатория IBM в Вене (и в других местах). Позже он участвовал в создании ПОДНИМАТЬ (Строгий подход к промышленной разработке программного обеспечения) формальный метод с инструментальной поддержкой.

Бьёрнер был профессор на Технический университет Дании (DTU) с 1965 по 1969 и с 1976 по 2007, до выхода на пенсию в марте 2007 года. Он отвечал за создание Университет ООН Международный институт программных технологий (УООН-МИПО ), Макао, в 1992 году и был его первым директором. Его magnum opus на программная инженерия (три тома) вышли в 2005-2006 гг.[2]

Для поддержки VDM Бьёрнер стал соучредителем VDM-Europe, который впоследствии стал Формальные методы Европа, организация, которая поддерживает конференции и связанные с ними мероприятия. В 2003 году он спровоцировал ассоциацию ForTIA Ассоциация индустрии формальных технологий.

Бьёрнер стал рыцарем Орден Даннеброга в 1985 году. Он получил докторскую степень. от Масариковский университет, Брно, Чехия в 2004 году. Он является членом IEEE (2004) и ACM (2005). Он также был членом Academia Europaea с 1989 года.

В 2007 году в Макао был проведен Симпозиум в честь Динеса Бьёрнера и Чжоу Чаочен.[3]

Бьёрнер женат на Кари Бьёрнер, имеет двоих детей и пятерых внуков.[4]

Избранные книги

  • Программная инженерия 1: абстракция и моделирование, Бьёрнер, Д. Тексты по теоретической информатике, серия EATCS, Springer-Verlag. ISBN  3-540-21149-7 (2005).
  • Программная инженерия 2: Спецификация систем и языков, Бьёрнер, Д. Тексты по теоретической информатике, серия EATCS, Springer-Verlag. ISBN  3-540-21150-0 (2006).
  • Программная инженерия 3: области, требования и дизайн программного обеспечения, Бьёрнер, Д. Тексты по теоретической информатике, серия EATCS, Springer-Verlag. ISBN  3-540-21151-9 (2006).
  • Формальная спецификация и разработка программного обеспечения, Бьёрнер, Д. и Джонс, C.B. Prentice Hall International Series по компьютерным наукам, Prentice Hall. ISBN  0-13-329003-4 (1982).
  • Венский метод разработки: метаязык, Бьёрнер Д. и Джонс, К. Б. (редакторы). Конспект лекций по информатике, том 61, Springer-Verlag. ISBN  3-540-08766-4 (1978).

Смотрите также

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

  1. ^ Dines Bjørner в DBLP Сервер библиографии Отредактируйте это в Викиданных
  2. ^ Бьёрнер, Dines, Программная инженерия, 3 т. Тексты по теоретической информатике, серия EATCS, Springer-Verlag (2005–6).
  3. ^ Клифф Б. Джонс, Чжимин Лю, Джим Вудкок (Ред.): Формальные методы и гибридные системы реального времени, очерки в честь Динеса Бьёрнера и Чаочена Чжоу по случаю их 70-летия, Доклады, представленные на симпозиуме, состоявшемся в Макао, Китай, 24–25 сентября 2007 г. Конспект лекций по информатике, Том 4700, Springer, 2007. ISBN  978-3-540-75220-2.
  4. ^ Bjørner, Dines (16 апреля 2016 г.). "Биография". Дания: Технический университет Дании. Получено 18 августа 2019.

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