Динес Бьёрнер: Даниялық компьютер ғалымының өмірбаяны мен еңбектері
Dines Bjørner
Динес Бьёрнер – даниялық ғалым, формальды әдістер, қажеттіліктерді жобалау және салалық инженерия саласындағы сарапшы. VDM және RAISE әдістемелерін жасауда қатысқан.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Кіріспе
Даниялық компьютер ғалымы
NOTOC
Danish computer scientist
NOTOC
Профессор Динес Бьёрнер (4 қазан 1937 жылы Оденседе туған) – даниялық компьютер ғалымы. Ол домендік инженерия, талаптарды инженериялау және формальды әдістерді зерттеуде маманданған. Ол Клифф Джонс және басқалармен бірге IBM Вена зертханасында (және басқа жерлерде) Вена даму әдісі (VDM) бойынша жұмыс істеді. Кейін ол құралдық қолдаумен RAISE (Индустриялық бағдарламалық жасақтаманы жасауға қатаң тәсіл) формальды әдісін жасауға қатысты. Бьёрнер 1965–1969 және 1976–2007 жылдары Дания Техникалық университетінде (DTU) профессор болды, содан кейін 2007 жылдың наурызында зейнетке шықты. Ол 1992 жылы Макаодағы Біріккен Ұлттар Университетінің Бағдарламалық Технологиялар Халықаралық институтын (UNU IIST) құруға жауапты болды және оның алғашқы директоры болды. Оның бағдарламалық жасақтаманы жасау туралы еңбегі (үш томдық) 2005/06 жылдары жарық көрді. VDM-ді қолдау мақсатында Бьёрнер VDM Europe-ті бірлесіп құрды, ол кейіннен конференциялар мен осыған байланысты шараларды қолдайтын Formal Methods Europe ұйымына айналды. 2003 жылы ол ForTIA формальды техникалар индустриясы қауымдастығын құрды. Бьёрнер 1985 жылы Даннеброг орденінің рыцары атанды. 2004 жылы Брно қаласындағы Масарик университетінен докторлық диссертациясын қорғады. 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). Формалды сипаттама және бағдарламалық жасақтаманы әзірлеу, Бьёрнер, Д. және Джонс, К. Б. Компьютерлік ғылымдардағы Прентис Холл халықаралық сериясы, Прентис Холл. (1982). Вена даму әдісі: Мета-тіл, Бьёрнер, Д. және Джонс, К. Б. (редакторлар). Компьютерлік ғылымдағы лекциялық жазбалар, 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).