Dines Bjørner: Difference between revisions

Dines Bjørner
Dines Bjørner
Born	4 October 1937 (age 86); Odense, Denmark
Nationality	Danish
Alma mater	Technical University of Denmark
Known for	Vienna Development Method, RAISE specification language
Awards	Order of the Dannebrog (1985);; FME Fellowship (2021);; IFIP Fellow (2023)
	Scientific career
Fields	Computer science
Institutions	Technical University of Denmark; United Nations University

Browse history interactively

← Previous edit

Content deleted Content added

VisualWikitext

Inline

Latest revision as of 23:13, 1 May 2024

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.^[2] 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.^[3]

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.^[4] 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.^[5] In 2021, Bjørner was elected to a Formal Methods Europe (FME) Fellowship.^[6]^[7]

Bjørner is married to Kari Bjørner, with two children and five grandchildren.^[8]

Selected books[edit]

Domain Science and Engineering: A Foundation for Software Development, Bjørner, D. Monographs in Theoretical Computer Science, An EATCS Series, Springer Nature. Hardcover ISBN 978-3-030-73483-1; softcover ISBN 978-3-030-73486-2; eBook ISBN 978-3-030-73484-8 (2021).
Software Engineering 1: Abstraction and Modelling, Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, Springer-Verlag. ISBN 3-540-21149-7 (2005).
Software Engineering 2: Specification of Systems and Languages, Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, Springer-Verlag. ISBN 3-540-21150-0 (2006).
Software Engineering 3: Domains, Requirements, and Software Design, Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, Springer-Verlag. ISBN 3-540-21151-9 (2006).
Formal Specification and Software Development, Bjørner, D. and Jones, C.B. 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. and Jones, C.B. (editors). Lecture Notes in Computer Science, Volume 61, Springer-Verlag. ISBN 3-540-08766-4 (1978).

References[edit]

^ "IFIP Announces 2023 Awards". IFIP. 26 October 2023. Archived from the original on 2023-11-03. Retrieved 2023-11-03.
^ Dines Bjørner at DBLP Bibliography Server
^ Bjørner, Dines, Software Engineering, 3 volumes. Texts in Theoretical Computer Science, An EATCS Series, Springer-Verlag (2005–6).
^ "Årsfest" (in Danish). Denmark: Technical University of Denmark. 26 April 2021. Retrieved 27 April 2021.
^ Jones, Cliff B.; Liu, Zhiming; Woodcock, Jim, eds. (2007). Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays. Papers presented at a Symposium held in Macao, China, September 24–25, 2007. LNCS. Vol. 4700. Springer. doi:10.1007/978-3-540-75221-9. ISBN 978-3-540-75220-2. Retrieved 2020-12-25.
^ "FME Fellowship Awarded to Prof. Dines Bjørner". Formal Methods Europe. 24 November 2021. Retrieved 11 December 2021.
^ Bjørner, Dines (20 September 2021). "The 2021 FME Fellowship Acceptance Speech". YouTube. Retrieved 11 December 2021.
^ Bjørner, Dines (16 April 2016). "Biography". Denmark: Technical University of Denmark. Retrieved 18 August 2019.

External links[edit]

Home page
Biographical information
RAISE information
Dines Bjørner at DBLP Bibliography Server
Dines Bjørner publications indexed by Microsoft Academic

[1] "IFIP Announces 2023 Awards". IFIP. 26 October 2023. Archived from the original on 2023-11-03. Retrieved 2023-11-03.

[2] Dines Bjørner at DBLP Bibliography Server

[3] Bjørner, Dines, Software Engineering, 3 volumes. Texts in Theoretical Computer Science, An EATCS Series, Springer-Verlag (2005–6).

[4] "Årsfest" (in Danish). Denmark: Technical University of Denmark. 26 April 2021. Retrieved 27 April 2021.

[5] Jones, Cliff B.; Liu, Zhiming; Woodcock, Jim, eds. (2007). Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays. Papers presented at a Symposium held in Macao, China, September 24–25, 2007. LNCS. Vol. 4700. Springer. doi:10.1007/978-3-540-75221-9. ISBN 978-3-540-75220-2. Retrieved 2020-12-25.

[6] "FME Fellowship Awarded to Prof. Dines Bjørner". Formal Methods Europe. 24 November 2021. Retrieved 11 December 2021.

[7] Bjørner, Dines (20 September 2021). "The 2021 FME Fellowship Acceptance Speech". YouTube. Retrieved 11 December 2021.

[8] Bjørner, Dines (16 April 2016). "Biography". Denmark: Technical University of Denmark. Retrieved 18 August 2019.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

@@ Line 1: / Line 1: @@
+{{Short description|Danish computer scientist}}
 __NOTOC__
 {{Infobox scientist
-|name              = Dines Bjørner
+| name              = Dines Bjørner
-|image             =
+| image             = Dines Bjørner at DTU Compute, June 2012.jpg
-|image_size        =
+| image_size        = 180px
-|caption           =
+| caption           =
-|birth_date        = {{birth-date|4 October 1937}}
+| birth_date        = {{birth date and age|1937|10|04||df=yes}}
-|birth_place       = [[Odense]], [[Denmark]]
+| birth_place       = [[Odense]], [[Denmark]]
-|residence         = Denmark
+| citizenship       =
-|citizenship       =
+| nationality       = Danish
-|nationality       = Danish
+| fields            = [[Computer science]]
+| workplaces        = [[Technical University of Denmark]]<br />[[United Nations University]]
-|fields            = [[Computer science]]
-|workplaces        = [[Technical University of Denmark]]<br />[[United Nations University]]
+| alma_mater        = [[Technical University of Denmark]]
+| doctoral_advisor  =
-|alma_mater        = Peking University<br />Chinese Academy of Sciences
+| academic_advisors =
-|doctoral_advisor  =
+| doctoral_students =
-|academic_advisors =
+| notable_students  =
-|doctoral_students =
+| known_for         = [[Vienna Development Method]], [[RAISE specification language]]
-|notable_students  =
+| author_abbrev_bot =
-|known_for         = [[Vienna Development Method]], [[RAISE specification language]]
+| author_abbrev_zoo =
-|author_abbrev_bot =
+| awards            = [[Order of the Dannebrog]] (1985);<br>[[Formal Methods Europe|FME]] Fellowship (2021);<br>[[IFIP]] Fellow (2023)<ref>{{cite web
-|author_abbrev_zoo =
+|url=https://www.ifipnews.org/ifip-announces-2023-awards/
-|influences        =
+|title=IFIP Announces 2023 Awards
-|influenced        =
+|date=26 October 2023
-|awards            = [[Order of the Dannebrog]] (1985)
+|publisher=[[IFIP]]
-|signature         = <!--(filename only)-->
+|access-date= 2023-11-03
-|footnotes         =
+|archive-url  = https://web.archive.org/web/20231103090624/https://www.ifipnews.org/ifip-announces-2023-awards/
+|archive-date = 2023-11-03}}</ref>
+| signature         = <!--(filename only)-->
+| footnotes         =
 }}
-Professor '''Dines Bjørner''' (born 4 October 1937 in [[Odense]]) is a [[Denmark|Danish]] [[computer scientist]].
+Professor '''Dines Bjørner''' (born 4 October 1937, in [[Odense]]) is a [[Denmark|Danish]] [[computer scientist]].
-He specializes in research into [[domain engineering]], [[requirements engineering]] and [[formal methods]].<ref>{{DBLP|id=Bj=oslash=rner:Dines}}</ref> He worked with [[Cliff Jones (computer scientist)|Cliff Jones]] and others on the [[Vienna Development Method]] (VDM) at [[IBM]] in [[Vienna]] (and elsewhere). Later he was involved with producing the [[RAISE specification language|RAISE]] (Rigorous Approach to Industrial Software Engineering) formal method with tool support.
+He specializes in research into [[domain engineering]], [[requirements engineering]] and [[formal methods]].<ref>{{DBLP|name=Dines Bjørner}}</ref> He worked with [[Cliff Jones (computer scientist)|Cliff Jones]] and others on the [[Vienna Development Method]] (VDM) at [[IBM Laboratory Vienna]] (and elsewhere). Later he was involved with producing the [[RAISE specification language|RAISE]] (Rigorous Approach to Industrial Software Engineering) formal method with tool support.
-Bjørner has been a [[professor]] at the [[Technical University of Denmark]] (DTU) in [[Lyngby]], close to [[Copenhagen]], [[Denmark]] from 1965–1969 and 1976–2007, before he retired in March 2007. ''Inter alia'', 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 ''[[masterpiece|magnum opus]]'' on [[software engineering]] (three volumes) appeared in 2005/6.<ref>Bjørner, Dines, ''Software Engineering'', 3 volumes. Texts in Theoretical Computer Science, An EATCS Series, [[Springer Science+Business Media|Springer-Verlag]] (2005–6).</ref>
+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 ''[[masterpiece|magnum opus]]'' on [[software engineering]] (three volumes) appeared in 2005/6.<ref>Bjørner, Dines, ''Software Engineering'', 3 volumes. Texts in Theoretical Computer Science, An EATCS Series, [[Springer Science+Business Media|Springer-Verlag]] (2005–6).</ref>
 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''.
-Dines Bjørner is 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. He is a Fellow of the [[IEEE]] (2004) and [[Association for Computing Machinery|ACM]] (2005). He is also member of the [[Academia Europaea]] since 1989.
+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]].<ref>{{cite web |title=Årsfest |url=https://www.dtu.dk/nyheder/2021/04/aarsfest-live-transmitteret-fra-dtus-bibliotek??id=7129aa19-7a51-4709-8383-f2cc064e9e8b |publisher=[[Technical University of Denmark]] |access-date=27 April 2021 |location=Denmark |language=Danish |date=26 April 2021}}</ref> He is a Fellow of the [[IEEE]] (2004) and [[Association for Computing Machinery|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]].<ref>[[Cliff B. Jones]], [[Liu Zhiming (computer scientist)|Zhiming Liu]], [[Jim Woodcock]] (Eds.): ''[http://www.informatik.uni-trier.de/~ley/db/conf/birthday/BjornerZhou2007.html Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays], Papers presented at a Symposium held in Macao, China, September 24–25, 2007.  [[Lecture Notes in Computer Science]], Volume 4700, [[Springer-Verlag|Springer]], 2007. ISBN 978-3-540-75220-2.</ref>
+In 2007, a Symposium was held in Macau in honour of Dines Bjørner and [[Zhou Chaochen]].<ref>{{cite conference |editor1-last=Jones |editor1-first=Cliff B. |editor-link1=Cliff Jones (computer scientist) |editor2-last=Liu |editor2-first=Zhiming |editor-link2=Zhiming Liu (computer scientist) |editor3-last=Woodcock |editor3-first=Jim |editor-link3=Jim Woodcock |date=2007 |title=Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays |conference=Papers presented at a Symposium held in Macao, China, September 24–25, 2007 |series=[[Lecture Notes in Computer Science|LNCS]] |volume=4700 |publisher=[[Springer-Verlag|Springer]] |doi=10.1007/978-3-540-75221-9 |isbn=978-3-540-75220-2 |url=https://dblp.org/db/conf/birthday/BjornerZhou2007 |access-date=2020-12-25}}</ref> In 2021, Bjørner was elected to a [[Formal Methods Europe]] (FME) Fellowship.<ref>{{cite web| url=https://www.fmeurope.org/2021/11/24/fme-fellowship-awarded-to-prof.-dines-bj%C3%B8rner/ | title=FME Fellowship Awarded to Prof. Dines Bjørner | publisher=[[Formal Methods Europe]] | date=24 November 2021 | accessdate=11 December 2021 }}</ref><ref>{{cite web| url=https://www.youtube.com/watch?v=BioDo_rzWgA | title=The 2021 FME Fellowship Acceptance Speech | first=Dines |last=Bjørner | publisher=[[YouTube]] | date=20 September 2021 | accessdate=11 December 2021 }}</ref>
-Bjørner is married to Kari Bjørner, with two children and five grandchildren.
+Bjørner is married to Kari Bjørner, with two children and five grandchildren.<ref>{{cite web| url=http://www2.compute.dtu.dk/~dibj/node4.html | title=Biography | first=Dines | last=Bjørner | publisher=[[Technical University of Denmark]] | location=Denmark | date=16 April 2016 | access-date=18 August 2019 }}</ref>
-== Selected books ==
+==Selected books==
-* ''Software Engineering 1: Abstraction and Modelling'', Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, [[Springer Science+Business Media|Springer-Verlag]]. ISBN 3-540-21149-7 (2005).
+* ''Domain Science and Engineering: A Foundation for Software Development'', Bjørner, D. Monographs in Theoretical Computer Science, An EATCS Series, [[Springer Nature]]. Hardcover {{ISBN|978-3-030-73483-1}}; softcover {{ISBN|978-3-030-73486-2}}; eBook {{ISBN|978-3-030-73484-8}} (2021).
-* ''Software Engineering 2: Specification of Systems and Languages'', Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, [[Springer Science+Business Media|Springer-Verlag]]. ISBN 3-540-21150-0 (2006).
+* ''Software Engineering 1: Abstraction and Modelling'', Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, [[Springer Science+Business Media|Springer-Verlag]]. {{ISBN|3-540-21149-7}} (2005).
-* ''Software Engineering 3: Domains, Requirements, and Software Design'', Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, [[Springer Science+Business Media|Springer-Verlag]]. ISBN 3-540-21151-9 (2006).
+* ''Software Engineering 2: Specification of Systems and Languages'', Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, [[Springer Science+Business Media|Springer-Verlag]]. {{ISBN|3-540-21150-0}} (2006).
-* ''Formal Specification and Software Development'', Bjørner, D. and Jones, C.B. Prentice Hall International Series in Computer Science, [[Prentice Hall]]. ISBN 0-13-329003-4 (1982).
+* ''Software Engineering 3: Domains, Requirements, and Software Design'', Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, [[Springer Science+Business Media|Springer-Verlag]]. {{ISBN|3-540-21151-9}} (2006).
-* ''The Vienna Development Method: The Meta-Language'', Bjørner, D. and Jones, C.B. (editors). Lecture Notes in Computer Science, Volume 61, [[Springer Science+Business Media|Springer-Verlag]]. ISBN 3-540-08766-4 (1978).
+* ''Formal Specification and Software Development'', Bjørner, D. and Jones, C.B. 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. and Jones, C.B. (editors). Lecture Notes in Computer Science, Volume 61, [[Springer Science+Business Media|Springer-Verlag]]. {{ISBN|3-540-08766-4}} (1978).
-== See also ==
+==See also==
-* [[International Journal of Software and Informatics]]
+* ''[[International Journal of Software and Informatics]]''
-== References ==
+==References==
 {{Reflist}}
-== External links ==
+==External links==
 * [http://www2.imm.dtu.dk/~db/ Home page]
 * [http://www2.imm.dtu.dk/~db/biodata/ Biographical information]
 * [http://www2.imm.dtu.dk/~db/raise/ RAISE information]
-* {{DBLP|id=Bj=oslash=rner:Dines}}
+* {{DBLP|name=Dines Bjørner}}
 * {{AcademicSearch|655570}}
-{{Authority control|VIAF=85519978}}
+{{Authority control}}
-{{Persondata <!-- Metadata: see [[Wikipedia:Persondata]]. -->
-| NAME              = Bjørner, Dines
-| ALTERNATIVE NAMES = Bjorner, Dines
-| SHORT DESCRIPTION = Computer scientist
-| DATE OF BIRTH     = 4 October 1937
-| PLACE OF BIRTH    = [[Odense]], [[Denmark]]
-| DATE OF DEATH     =
-| PLACE OF DEATH    =
-}}
 {{DEFAULTSORT:Bjorner, Dines}}
 [[Category:1937 births]]
 [[Category:Living people]]
 [[Category:People from Odense]]
+[[Category:Technical University of Denmark alumni]]
 [[Category:Danish computer scientists]]
 [[Category:IBM employees]]
-[[Category:Technical University of Denmark faculty]]
+[[Category:Academic staff of the Technical University of Denmark]]
-[[Category:Academics of the United Nations University]]
+[[Category:Academic staff of United Nations University]]
 [[Category:Formal methods people]]
 [[Category:Computer science writers]]
-[[Category:Danish knights]]
+[[Category:Knights of the Order of the Dannebrog]]
-[[Category:Fellow Members of the IEEE]]
+[[Category:Fellows of the IEEE]]
-[[Category:Fellows of the Association for Computing Machinery]]
+[[Category:2005 Fellows of the Association for Computing Machinery]]
 [[Category:Members of Academia Europaea]]
-{{Denmark-scientist-stub}}
-{{Europe-academic-bio-stub}}
-{{Compu-scientist-stub}}

Authority control databases
International	FAST ISNI VIAF
National	Germany Israel Belgium United States Czech Republic Netherlands
Academics	Association for Computing Machinery CiNii DBLP
Other	IdRef

Latest revision as of 23:13, 1 May 2024

Selected books[edit]

See also[edit]

References[edit]

External links[edit]