Бьёрнер, Динес
Ди́нес Бьёрнер (англ. Dines Bjørner; род. 4 октября 1937[1], Оденсе, Дания) — датский учёный в области информатики. Известен исследованиями в области предметно-ориентированного проектирования, инженерии требований и формальных методов.
Общие сведения
| Динес Бьёрнер | |
|---|---|
| Dines Bjørner | |
| Дата рождения | 4 октября 1937[1] (88 лет) |
| Место рождения | |
| Страна | |
| Образование | |
| Род деятельности | Информатика |
| Награды и премии |
Орден Данеброг (1985); |
Биография
Специализируется на исследованиях в области предметно-ориентированного проектирования, инженерии требований и формальных методов. Работал с Клиффом Джонсом и другими над 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 году в Макао состоялся симпозиум в честь Динеса Бьёрнера и Чжоу Чаочэня[3]. В 2021 году Бьёрнер был избран стипендиатом Formal Methods Europe (FME)[4].
Бьёрнер женат на Кари Бьёрнер, у них двое детей и пятеро внуков[5].
Публикации
- 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).