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

Динес Бьёрнер
Динес Бьёрнер
Рожденный	4 октября 1937 г. (86 лет) ; Оденсе , Дания
Национальность	датский
Альма-матер	Технический университет Дании
Известный	Венский метод разработки , язык спецификации RAISE
Награды	Орден Даннеброга (1985 г.); ; Стипендия FME (2021 г.); ; Сотрудник ИФИП (2023 г.)
	Научная карьера
Поля	Информатика
Учреждения	Технический университет Дании ; Университет ООН

Профессор Динес Бьёрнер (родился 4 октября 1937 года в Оденсе ) — датский учёный-компьютерщик .

Он специализируется на исследованиях в области проектирования предметной области , проектирования требований и формальных методов . ^{[ 2 ]} Он работал с Клиффом Джонсом и другими над Венским методом разработки (VDM) в лаборатории IBM в Вене (и других местах). Позже он участвовал в разработке формального метода RAISE (строгий подход к разработке промышленного программного обеспечения) с инструментальной поддержкой.

Бьёрнер был профессором Датского технического университета (DTU) с 1965–1969 и 1976–2007 годов, прежде чем выйти на пенсию в марте 2007 года. Он отвечал за создание Университета Организации Объединенных Наций Международного института программных технологий ( UNU-IIST ) в Макао. , в 1992 году и был его первым директором. Его выдающийся труд по разработке программного обеспечения (три тома) появился в 2005/6 году. ^{[ 3 ]}

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

Бьёрнер стал кавалером Ордена Даннеброга в 1985 году. В 2004 году он получил степень доктора медицинских наук в Университете имени Масарика в Брно , Чехия. В 2021 году он получил степень доктора технических наук. из Технического университета Дании , Конгенс Люнгбю , Дания . ^{[ 4 ]} Он является членом IEEE (2004 г.) и ACM (2005 г.). Он также является членом Европейской академии с 1989 года.

В 2007 году в Макао был проведен симпозиум в честь Динеса Бьёрнера и Чжоу Чаочена . ^{[ 5 ]} В 2021 году Бьёрнер был избран членом стипендии Formal Methods Europe (FME). ^{[ 6 ]}^{[ 7 ]}

Бьёрнер женат на Кари Бьёрнер, у него двое детей и пятеро внуков. ^{[ 8 ]}

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

Предметная наука и инженерия: Фонд разработки программного обеспечения , Бьёрнер, Д. Монографии по теоретической информатике, серия EATCS, Springer Nature . Твердый переплет ISBN 978-3-030-73483-1 ; мягкая обложка ISBN 978-3-030-73486-2 ; электронная книга ISBN 978-3-030-73484-8 (2021 г.).
Разработка программного обеспечения 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).
Формальная спецификация и разработка программного обеспечения , Бьорнер, Д. и Джонс, CB Prentice Hall, Международная серия по информатике, Prentice Hall . ISBN 0-13-329003-4 (1982).
Венский метод развития: метаязык , Бьорнер Д. и Джонс, CB (редакторы). Конспекты лекций по информатике, том 61, Springer-Verlag . ISBN 3-540-08766-4 (1978).

См. также

Международный журнал программного обеспечения и информатики

Ссылки

^ «ИФИП объявляет награды 2023 года» . ИФИП . 26 октября 2023 г. Архивировано из оригинала 03.11.2023 . Проверено 3 ноября 2023 г.
^ Динес Бьёрнер на DBLP библиографическом сервере
^ Бьорнер, Дайнс, Разработка программного обеспечения , 3 тома. Тексты по теоретической информатике, серия EATCS, Springer-Verlag (2005–6).
^ «Орсфест» (на датском языке). Дания: Технический университет Дании . 26 апреля 2021 г. Проверено 27 апреля 2021 г.
^ Джонс, Клифф Б .; Лю, Чжимин ; Вудкок, Джим , ред. (2007). Формальные методы и гибридные системы реального времени: очерки в честь Динеса Бьёрнера и Чаочэня Чжоу по случаю их 70-летия . Доклады, представленные на симпозиуме, состоявшемся в Макао, Китай, 24–25 сентября 2007 г. LNCS . Том. 4700. Спрингер . дои : 10.1007/978-3-540-75221-9 . ISBN 978-3-540-75220-2 . Проверено 25 декабря 2020 г.
^ «Стипендия FME присуждена профессору Динесу Бьёрнеру» . Формальные методы Европа . 24 ноября 2021 г. Проверено 11 декабря 2021 г.
^ Бьёрнер, Дайнс (20 сентября 2021 г.). «Речь о принятии стипендии FME 2021» . Ютуб . Проверено 11 декабря 2021 г.
^ Бьёрнер, Дайнс (16 апреля 2016 г.). «Биография» . Дания: Технический университет Дании . Проверено 18 августа 2019 г.

Внешние ссылки

Домашняя страница
Биографические сведения
ПОДНИМИТЕ информацию
Динес Бьёрнер на DBLP библиографическом сервере
Публикации Дайнеса Бьорнера , индексируемые Microsoft Academic

[1] «ИФИП объявляет награды 2023 года» . ИФИП . 26 октября 2023 г. Архивировано из оригинала 03.11.2023 . Проверено 3 ноября 2023 г.

[2] Динес Бьёрнер на DBLP библиографическом сервере

[3] Бьорнер, Дайнс, Разработка программного обеспечения , 3 тома. Тексты по теоретической информатике, серия EATCS, Springer-Verlag (2005–6).

[4] «Орсфест» (на датском языке). Дания: Технический университет Дании . 26 апреля 2021 г. Проверено 27 апреля 2021 г.

[5] Джонс, Клифф Б .; Лю, Чжимин ; Вудкок, Джим , ред. (2007). Формальные методы и гибридные системы реального времени: очерки в честь Динеса Бьёрнера и Чаочэня Чжоу по случаю их 70-летия . Доклады, представленные на симпозиуме, состоявшемся в Макао, Китай, 24–25 сентября 2007 г. LNCS . Том. 4700. Спрингер . дои : 10.1007/978-3-540-75221-9 . ISBN 978-3-540-75220-2 . Проверено 25 декабря 2020 г.

[6] «Стипендия FME присуждена профессору Динесу Бьёрнеру» . Формальные методы Европа . 24 ноября 2021 г. Проверено 11 декабря 2021 г.

[7] Бьёрнер, Дайнс (20 сентября 2021 г.). «Речь о принятии стипендии FME 2021» . Ютуб . Проверено 11 декабря 2021 г.

[8] Бьёрнер, Дайнс (16 апреля 2016 г.). «Биография» . Дания: Технический университет Дании . Проверено 18 августа 2019 г.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

Базы данных авторитетного контроля
Международный	БЫСТРЫЙ ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Германия Израиль Бельгия Соединенные Штаты Чешская Республика Нидерланды
академики	Ассоциация вычислительной техники ЦиНии ДБЛП
Другой	ИдРеф