Dines Bjørner - Dines Bjørner

Dines Bjørner
Dines Bjørner bei DTU Compute, Juni 2012.jpg
Geboren ( 1937-10-04 )4. Oktober 1937 (83 Jahre)
Odense , Dänemark
Staatsangehörigkeit dänisch
Alma Mater Technische Universität Dänemark
Bekannt für Wiener Entwicklungsmethode , RAISE-Spezifikationssprache
Auszeichnungen Orden des Dannebrogs (1985)
Wissenschaftlicher Werdegang
Felder Informatik
Institutionen Technische Universität Dänemark Universität der
Vereinten Nationen Nations
Einflüsse AUTO Hoare
Michael A. Jackson
Beeinflusst Jonathan Bowen
He Jifeng
Cliff Jones
Zhou Chaochen

Professor Dines Bjørner (* 4. Oktober 1937 in Odense ) ist ein dänischer Informatiker .

Er ist spezialisiert auf die Erforschung von Domain Engineering , Requirements Engineering und formalen Methoden . Er arbeitete mit Cliff Jones und anderen an der Wiener Entwicklungsmethode (VDM) am IBM Laboratory Vienna (und anderswo). Später war er an der werkzeuggestützten Erstellung der formalen Methode RAISE (Rigorous Approach to Industrial Software Engineering) beteiligt.

Bjørner war von 1965–1969 und 1976–2007 Professor an der Technischen Universität Dänemark (DTU), bevor er im März 2007 in den Ruhestand ging. Er war verantwortlich für den Aufbau des Internationalen Instituts für Softwaretechnologie der Universität der Vereinten Nationen ( UNU-IIST ), Macau , im Jahr 1992 und war ihr erster Direktor. Sein Magnum Opus über Software Engineering (drei Bände) erschien 2005/6.

Um VDM zu unterstützen, hat Bjørner VDM-Europe mitbegründet, das später zu Formal Methods Europe wurde , einer Organisation, die Konferenzen und damit verbundene Aktivitäten unterstützt. 2003 gründete er die zugehörige ForTIA Formal Techniques Industry Association .

Bjorner wurde ein Ritter des Dannebrogorden 1985. Er hat eine Dr.hc aus dem empfangenen Masaryk Universität , Brno , Tschechische Republik im Jahr 2004. Im Jahr 2021 erhielt er einen Dr. techn. von der Technischen Universität Dänemark , Kongens Lyngby , Dänemark . Er ist Fellow des IEEE (2004) und ACM (2005). Seit 1989 ist er zudem Mitglied der Academia Europaea .

2007 fand in Macau ein Symposium zu Ehren von Dines Bjørner und Zhou Chaochen statt .

Bjørner ist mit Kari Bjørner verheiratet und hat zwei Kinder und fünf Enkelkinder.

Ausgewählte Bücher

  • Software Engineering 1: Abstraktion und Modellierung , Bjørner, D. Texte der Theoretischen Informatik, An EATCS Series, Springer-Verlag . ISBN  3-540-21149-7 (2005).
  • Software Engineering 2: Spezifikation von Systemen und Sprachen , Bjørner, D. Texte der Theoretischen Informatik, An EATCS Series, Springer-Verlag . ISBN  3-540-21150-0 (2006).
  • Software Engineering 3: Domains, Requirements und Software Design , Bjørner, D. Texte der Theoretischen Informatik, An EATCS Series, Springer-Verlag . ISBN  3-540-21151-9 (2006).
  • Formale Spezifikation und Softwareentwicklung , Bjørner, D. und Jones, CB 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. und Jones, CB (Herausgeber). Skript zur Vorlesung Informatik, Band 61, Springer-Verlag . ISBN  3-540-08766-4 (1978).

Siehe auch

Verweise

Externe Links