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

Er ist spezialisiert auf Forschung in den Bereichen Domänenentwicklung , Anforderungsanalyse und formale Methoden . [ 2 ] Er arbeitete mit Cliff Jones und anderen an der Wiener Entwicklungsmethode (VDM) im IBM Laboratorium Wien (und anderswo). Von 1989 bis 1995 spielte er eine führende Rolle im EU -ESPRIT -Projekt ProCoS zu nachweislich korrekten Systemen . [ 3 ] [ 4 ] Später war er an der Entwicklung der formalen Methode RAISE (Rigorous Approach to Industrial Software Engineering) mit zugehöriger Werkzeugunterstützung beteiligt .

Bjørner war von 1965 bis 1969 und von 1976 bis 2007 Professor an der Technischen Universität Dänemark (DTU), bevor er im März 2007 in den Ruhestand trat. Er war 1992 maßgeblich an der Gründung des Internationalen Instituts für Softwaretechnologie der Universität der Vereinten Nationen ( UNU-IIST ) in Macau beteiligt und dessen erster Direktor. Sein Hauptwerk zur Softwareentwicklung (drei Bände) erschien 2005/06. [ 5 ]

Zur Unterstützung von VDM war Bjørner Mitbegründer von VDM-Europe, aus dem später Formal Methods Europe hervorging , einer Organisation, die Konferenzen und verwandte Aktivitäten fördert. Im Jahr 2003 initiierte er die dazugehörige ForTIA Formal Techniques Industry Association .

Bjørner wurde 1985 zum Ritter des Dannebrog-Ordens geschlagen. 2004 erhielt er die Ehrendoktorwürde (Dr. h.c.) der Masaryk-Universität in Brünn , Tschechische Republik. 2021 promovierte er zum Dr. techn. an der Technischen Universität Dänemark in Kongens Lyngby , Dänemark . [ 6 ] Er ist Fellow des IEEE (2004) und der ACM (2005). Seit 1989 ist er zudem Mitglied der Academia Europaea .

Im Jahr 2007 fand in Macau ein Symposium zu Ehren von Dines Bjørner und Zhou Chaochen statt . [ 7 ] Im Jahr 2021 wurde Bjørner zum Fellow von Formal Methods Europe (FME) gewählt. [ 8 ] [ 9 ]

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

Ausgewählte Bücher

  • Domänenwissenschaft und -technik: Eine Grundlage für die Softwareentwicklung , Bjørner, D. Monographien zur Theoretischen Informatik, eine EATCS-Reihe, Springer Nature . Gebundene Ausgabe ISBN 978-3-030-73483-1; Taschenbuch ISBN 978-3-030-73486-2; eBook ISBN 978-3-030-73484-8(2021).
  • Software Engineering 1: Abstraktion und Modellierung , Bjørner, D. Texte zur Theoretischen Informatik, eine EATCS-Reihe, Springer-Verlag . ISBN 3-540-21149-7(2005).
  • Software Engineering 2: Spezifikation von Systemen und Sprachen , Bjørner, D. Texte zur Theoretischen Informatik, eine EATCS-Reihe, Springer-Verlag . ISBN 3-540-21150-0(2006).
  • Software Engineering 3: Domänen, Anforderungen und Software-Design , Bjørner, D. Texte zur Theoretischen Informatik, eine EATCS-Reihe, 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).
  • Die Wiener Entwicklungsmethode: Die Metasprache , herausgegeben von D. Bjørner und C.B. Jones. Lecture Notes in Computer Science, Band 61, Springer-Verlag . ISBN 3-540-08766-4(1978).

Siehe auch

Referenzen

  1. ^ „IFIP gibt die Preisträger für 2023 bekannt“ . IFIP . 26. Oktober 2023. Archiviert vom Original am 3. November 2023. Abgerufen am 3. November 2023 .
  2. ^ Dines Bjørner beim DBLP Bibliography Server
  3. ^ Langmaack, H.; Ravn , A. P. (1994). „Das ProCoS-Projekt: Nachweislich korrekte Systeme“. In: Bowen, Jonathan (Hrsg.). Auf dem Weg zu verifizierten Systemen . Echtzeit-Sicherheitskritische Systeme. Band 2. Elsevier . S.  249–265 . ISBN 0-444-89901-4Die
  4. ^ Bowen, Jonathan P .; Fränzle, Martin; Olderog, Ernst-Rüdiger ; Bjørner, Dines ; Hansen, Michael R.; Langmaack, Hans ; Liu, Zhiming ; Martin, Ursula (17. März 2026). „Erfahrungen aus den europäischen ProCoS-Projekten: Beweisbar korrekte Systeme“ . Formal Aspects of Computing . ACM . doi : 10.1145/3803555 .
  5. ^ Bjørner, Dines, Software Engineering , 3 Bände. Texte zur Theoretischen Informatik, eine EATCS-Reihe, Springer-Verlag (2005–6).
  6. ^ „Årsfest“ (auf Dänisch). Dänemark: Technische Universität Dänemark . 26. April 2021. Abgerufen am 27. April 2021 .
  7. Jones , Cliff B .; Liu, Zhiming ; Woodcock, Jim (Hrsg.) (2007). Formale Methoden und hybride Echtzeitsysteme: Essays zu Ehren von Dines Bjørner und Chaochen Zhou anlässlich ihres 70. Geburtstags . Beiträge zu einem Symposium in Macau, China, 24.–25. September 2007. LNCS . Band 4700. Springer . doi : 10.1007/978-3-540-75221-9 . ISBN 978-3-540-75220-2Abgerufen am 25.12.2020 .
  8. ^ „FME-Stipendium für Prof. Dines Bjørner verliehen“ . Formal Methods Europe . 24. November 2021. Abgerufen am 11. Dezember 2021 .
  9. ^ Bjørner, Dines (20. September 2021). „Die Dankesrede für das FME-Stipendium 2021“ . YouTube . Abgerufen am 11. Dezember 2021 .
  10. ^ Bjørner, Dines (16. April 2016). „Biographie“ . Dänemark: Technische Universität Dänemark . Abgerufen am 18. August 2019 .