Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Введение
Датский учёный в области компьютерных наук
Danish computer scientist
NOTOC
Профессор Динес Бьёрнер (родился 4 октября 1937 года в Оденсе) — датский учёный в области компьютерных наук. Он специализируется на исследованиях в области разработки предметных областей, инженерии требований и формальных методов. Он работал с Клиффом Джонсом и другими над Венским методом разработки (VDM) в лаборатории IBM в Вене (и в других местах). Позже он участвовал в разработке формального метода 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, Ассоциации промышленности формальных методов. В 1985 году Бьёрнер был удостоен рыцарского звания ордена Даннеброга. В 2004 году он получил степень доктора honoris causa в Масариковском университете в Брно, Чехия. В 2021 году он получил степень доктора технических наук в Техническом университете Дании, Конгенс Лингбю, Дания. Он является членом IEEE (2004) и ACM (2005). С 1989 года он также является членом Academia Europaea. В 2007 году в Макао был проведён симпозиум в честь Динеса Бьёрнера и Чжоу Чаочена. В 2021 году Бьёрнер был избран членом Formal Methods Europe (FME). Бьёрнер женат на Кари Бьёрнер, у них двое детей и пятеро внуков.
Professor Dines Bjørner (born 4 October 1937, in Odense) is a Danish computer scientist. He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on the Vienna Development Method (VDM) at IBM Laboratory Vienna (and elsewhere). Later he was involved with producing the RAISE (Rigorous Approach to Industrial Software Engineering) formal method with tool support. Bjørner was a professor at the Technical University of Denmark (DTU) from 1965–1969 and 1976–2007, before he retired in March 2007. He was responsible for establishing the United Nations University International Institute for Software Technology (UNU IIST), Macau, in 1992 and was its first director. His magnum opus on software engineering (three volumes) appeared in 2005/6. To support VDM, Bjørner co founded VDM Europe, which subsequently became Formal Methods Europe, an organization that supports conferences and related activities. In 2003, he instigated the associated ForTIA Formal Techniques Industry Association. Bjørner became a knight of the Order of the Dannebrog in 1985. He received a Dr. h. c. from the Masaryk University, Brno, Czech Republic in 2004. In 2021, he obtained a Dr. techn. from the Technical University of Denmark, Kongens Lyngby, Denmark. He is a Fellow of the IEEE (2004) and ACM (2005). He has also been a member of the Academia Europaea since 1989. In 2007, a Symposium was held in Macau in honour of Dines Bjørner and Zhou Chaochen. In 2021, Bjørner was elected to a Formal Methods Europe (FME) Fellowship. Bjørner is married to Kari Bjørner, with two children and five grandchildren.
Избранные книги
Наука и инженерия предметной области: Основы разработки программного обеспечения, Бьёрнер, Д. Монографии по теоретической информатике, Серия EATCS, Springer Nature. Твердый переплет; мягкий переплет; электронная книга (2021). Инженерия программного обеспечения 1: Абстракция и моделирование, Бьёрнер, Д. Тексты по теоретической информатике, Серия EATCS, Springer Verlag. (2005). Инженерия программного обеспечения 2: Спецификация систем и языков, Бьёрнер, Д. Тексты по теоретической информатике, Серия EATCS, Springer Verlag. (2006). Инженерия программного обеспечения 3: Предметные области, требования и проектирование программного обеспечения, Бьёрнер, Д. Тексты по теоретической информатике, Серия EATCS, Springer Verlag. (2006). Формальная спецификация и разработка программного обеспечения, Бьёрнер, Д. и Джонс, C. B. Prentice Hall International Series in Computer Science, Prentice Hall. (1982). Венский метод разработки: Метаязык, Бьёрнер, Д. и Джонс, C. B. (редакторы). Лекционные заметки по информатике, том 61, Springer Verlag. (1978).
Domain Science and Engineering: A Foundation for Software Development, Bjørner, D. Monographs in Theoretical Computer Science, An EATCS Series, Springer Nature. Hardcover ; softcover ; eBook (2021). Software Engineering 1: Abstraction and Modelling, Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, Springer Verlag. (2005). Software Engineering 2: Specification of Systems and Languages, Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, Springer Verlag. (2006). Software Engineering 3: Domains, Requirements, and Software Design, Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, Springer Verlag. (2006). Formal Specification and Software Development, Bjørner, D. and Jones, C. B. Prentice Hall International Series in Computer Science, Prentice Hall. (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. (1978).