Dines Bjørner: Difference between revisions
m Additional biographical information and links added |
little here and there |
||
| Line 1: | Line 1: | ||
'''Dines Bjørner''' |
'''Dines Bjørner''' (b. [[October 4]], [[1937]] in [[Odense]]), is a [[Denmark|Danish]] [[computer scientist]]. |
||
He specializes in research into [[formal methods]]. 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_specification_language|RAISE]] (Rigorous Approach to Industrial Software Engineering) formal method with tool support. |
|||
Bjørner is a [[professor]] at the [[Technical University of Denmark]] (DTU) in [[Lyngby]], close to [[Copenhagen]], [[Denmark]]. ''Inter alia'', he was responsible for establishing the [[United Nations University]] [[International Institute for Software Technology]] (UNU-IIST) in [[Macau]] during the [[1990s]]. His ''[[magnum opus]]'' on [[software engineering]] (three volumes) appears in [[2005]] (see details below). |
Bjørner is a [[professor]] at the [[Technical University of Denmark]] (DTU) in [[Lyngby]], close to [[Copenhagen]], [[Denmark]]. ''Inter alia'', he was responsible for establishing the [[United Nations University]] [[International Institute for Software Technology]] (UNU-IIST) in [[Macau]] during the [[1990s]]. His ''[[magnum opus]]'' on [[software engineering]] (three volumes) appears in [[2005]] (see details below). |
||
| Line 7: | Line 7: | ||
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''. |
||
Bjørner is a [[ |
Bjørner is a knight of the [[Order of the Dannebrog]] and won the [[John von Neumann]] Medal in [[Budapest]], [[Hungary]] in [[1994]]. He is married to Kari Bjørner with two children and five grandchildren. |
||
==Selected books== |
==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 1: Abstraction and Modelling'', Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, [[Springer-Verlag]]. ISBN 3540211497 ([[2005]]). |
||
| Line 22: | Line 21: | ||
==External links== |
==External links== |
||
* [http://www2.imm.dtu.dk/~db/ Home page] |
* [http://www2.imm.dtu.dk/~db/ Home page] |
||
* [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] |
||
| ⚫ | |||
[[Category:1937 births|Bjørner, Dines]] |
[[Category:1937 births|Bjørner, Dines]] |
||
| Line 31: | Line 34: | ||
[[Category:Danish computer scientists|Bjørner, Dines]] |
[[Category:Danish computer scientists|Bjørner, Dines]] |
||
[[Category:IBM employees|Bjørner, Dines]] |
[[Category:IBM employees|Bjørner, Dines]] |
||
| ⚫ | |||
Revision as of 16:56, 5 September 2005
Dines Bjørner (b. October 4, 1937 in Odense), is a Danish computer scientist.
He specializes in research into formal methods. 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 is a professor at the Technical University of Denmark (DTU) in Lyngby, close to Copenhagen, Denmark. Inter alia, he was responsible for establishing the United Nations University International Institute for Software Technology (UNU-IIST) in Macau during the 1990s. His magnum opus on software engineering (three volumes) appears in 2005 (see details below).
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 is a knight of the Order of the Dannebrog and won the John von Neumann Medal in Budapest, Hungary in 1994. He 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 (2005).
Software Engineering 3: Domains, Requirements, and Software Design, Bjørner, D. Texts in Theoretical Computer Science, An EATCS Series, Springer-Verlag. ISBN 3540211519 (2005).
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).
External links
  | This Danish biographical article is a stub. You can help Wikipedia by expanding it. |