Бьёрнер, Динес

Динес Бьёрнер

Dines Bjørner

Файл:Dines Bjørner at DTU Compute, June 2012.jpg

Род деятельности

Информатика

Награды и премии

Орден Данеброг (1985);
FME Fellowship (2021);
IFIP Fellow (2023)

Ди́нес Бьёрнер (англ. Dines Bjørner; ^{[Нет даты!]}) — датский учёный в области информатики. Известен исследованиями в области предметно-ориентированного проектирования, инженерии требований и формальных методов.

Биография

Специализируется на исследованиях в области предметно-ориентированного проектирования, инженерии требований и формальных методов. Работал с Клиффом Джонсом и другими над Vienna Development Method (VDM) в IBM Laboratory Vienna (и других местах). Играл ведущую роль в проекте ESPRIT ProCoS project по созданию доказуемо корректных систем (Provably Correct Systems) в 1989—1995 годах. Позднее участвовал в создании формального метода RAISE (Rigorous Approach to Industrial Software Engineering) с инструментальной поддержкой.

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

Для поддержки VDM Бьёрнер стал соучредителем VDM-Europe, которая впоследствии стала организацией Formal Methods Europe, поддерживающей конференции и связанные с ними мероприятия. В 2003 году он инициировал создание ассоциированной организации ForTIA (Formal Techniques Industry Association).

Бьёрнер стал рыцарем ордена Данеброг в 1985 году. Получил степень почётного доктора Университета Масарика в Брно (Чехия) в 2004 году. В 2021 году получил степень доктора технических наук в Датском техническом университете в Конгенс-Люнгбю (Дания). Является членом IEEE (2004) и ACM (2005). Также является членом Европейской академии с 1989 года.

В 2007 году в Макао состоялся симпозиум в честь Динеса Бьёрнера и Чжоу Чаочэня. В 2021 году Бьёрнер был избран стипендиатом Formal Methods Europe (FME).

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

Публикации

• Domain Science and Engineering: A Foundation for Software Development, Bjørner, D. Monographs in Theoretical Computer Science, An EATCS Series, Springer Nature. Hardcover ISBN 978-3-030-73483-1; softcover ISBN 978-3-030-73486-2; eBook ISBN 978-3-030-73484-8 (2021).
• Software Engineering 1: Abstraction and Modelling, Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, Springer-Verlag. ISBN 3-540-21149-7 (2005).
• Software Engineering 2: Specification of Systems and Languages, Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, Springer-Verlag. ISBN 3-540-21150-0 (2006).
• Software Engineering 3: Domains, Requirements, and Software Design, Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, Springer-Verlag. ISBN 3-540-21151-9 (2006).
• Formal Specification and Software Development, Bjørner, D. and Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-329003-4 (1982).
• The Vienna Development Method: The Meta-Language, Bjørner, D. and Jones, C.B. (editors). Lecture Notes in Computer Science, Volume 61, Springer-Verlag. ISBN 3-540-08766-4 (1978).

Ссылки

• Биографическая информация
• Информация о RAISE

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Бьёрнер, Динес», расположенная по адресу: — https://ru.ruwiki.ru/wiki/Бьёрнер,_Динес Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий. Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».