Dines Bjørner: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
m I removed the mention of John von Neumann Medal because D.Bjørner did not receive this honor. Check the Wikipedia site of the prize winners list and the web page of D.Bjørner for confirmation.
DBLP, tidying
Line 4: Line 4:
He specializes in research into [[domain engineering]], [[requirements engineering]] and [[formal methods]].<ref>{{dblp name|id=b/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|id=b/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.


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]]) in [[Macau]] during the 1990s. His ''[[masterpiece|magnum opus]]'' on [[software engineering]] (three volumes) appears 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 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>


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''.
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''.
Line 10: Line 10:
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.
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.


In 2007, a Symposium was held in [[Macau]] in honour of Dines Bjørner and [[Zhou Chaochen]].<ref>[[Cliff B. Jones]], [[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>[[Cliff B. Jones]], [[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>


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.
Line 31: Line 31:
* [http://www2.imm.dtu.dk/~db/biodata/ Biographical information]
* [http://www2.imm.dtu.dk/~db/biodata/ Biographical information]
* [http://www2.imm.dtu.dk/~db/raise/ RAISE information]
* [http://www2.imm.dtu.dk/~db/raise/ RAISE information]
* {{dblp|id=b/Bj=oslash=rner:Dines}}


{{Persondata <!-- Metadata: see [[Wikipedia:Persondata]]. -->
{{Persondata <!-- Metadata: see [[Wikipedia:Persondata]]. -->
| NAME = Bjorner, Dines
| NAME = Bjorner, Dines
| ALTERNATIVE NAMES =
| ALTERNATIVE NAMES =
| SHORT DESCRIPTION =
| SHORT DESCRIPTION = Computer scientist
| DATE OF BIRTH =
| DATE OF BIRTH = 4 October 1937
| PLACE OF BIRTH =
| PLACE OF BIRTH = Odense, Denmark
| DATE OF DEATH =
| DATE OF DEATH =
| PLACE OF DEATH =
| PLACE OF DEATH =

Revision as of 18:41, 16 December 2010

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.[1] He worked with Cliff Jones and others on the Vienna Development Method (VDM) at IBM in Vienna (and elsewhere). Later he was involved with producing the 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 magnum opus on software engineering (three volumes) appeared in 2005/6.[2]

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 ACM (2005). He is also member of the Academia Europaea since 1989.

In 2007, a Symposium was held in Macau in honour of Dines Bjørner and Zhou Chaochen.[3]

Bjørner is married to Kari Bjørner, with two children and five grandchildren.

Selected books

  • Software Engineering 1: Abstraction and Modelling, Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, Springer-Verlag. ISBN 3540211497 (2005).
  • Software Engineering 2: Specification of Systems and Languages, Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, Springer-Verlag. ISBN 3540211500 (2006).
  • Software Engineering 3: Domains, Requirements, and Software Design, Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, Springer-Verlag. ISBN 3540211519 (2006).
  • Formal Specification and Software Development, Bjørner, D. and Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0133290034 (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 3540087664 (1978).

See also

References

  1. ^ Template:Dblp name.
  2. ^ Bjørner, Dines, Software Engineering, 3 volumes. Texts in Theoretical Computer Science, An EATCS Series, Springer-Verlag (2005–6).
  3. ^ Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.): 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, 2007. ISBN 978-3-540-75220-2.

External links

Template:Persondata


Template:Euro-academic-bio-stub