| dbo:abstract
|
- 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. 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. 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. 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. In 2021, Bjørner was elected to a Formal Methods Europe (FME) Fellowship. Bjørner is married to Kari Bjørner, with two children and five grandchildren. (en)
- Dines Bjørner (Odense, 4 de outubro de 1937) é um cientista da computação dinamarquês. É especialista em pesquisas sobre , engenharia de requisitos e métodos formais. Trabalhou com e outros sobre o (VDM) no . Mais tarde esteve envolvido com a produção do (RAISE). Bjørner foi professor da Universidade Técnica da Dinamarca (DTU) em 1965–1969 e 1976–2007, aposentando-se em março de 2007. Foi responsável por estabelecer o Instituto Internacional para Tecnologia de Programação da Universidade das Nações Unidas, Macau, em 1992, e foi seu primeiro diretor. Sua magnum opus sobre engenharia de software (em três volumes) foi publicada em 2005/2006. Bjørner é fellow do Instituto de Engenheiros Eletricistas e Eletrônicos (IEEE) (2004) e da Association for Computing Machinery (ACM) (2005). É também membro da Academia Europaea desde 1989. Em 2007 foi organizado um simpósio em Macau em honra de Dines Bjørner e . (pt)
|
| dbo:academicDiscipline
| |
| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthDate
| |
| dbo:birthPlace
| |
| dbo:influenced
| |
| dbo:influencedBy
| |
| dbo:institution
| |
| dbo:knownFor
| |
| dbo:nationality
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 7470 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
| |
| dbp:awards
|
- Order of the Dannebrog ; FME Fellowship (en)
|
| dbp:birthDate
| |
| dbp:birthPlace
| |
| dbp:fields
| |
| dbp:imageSize
| |
| dbp:influenced
| |
| dbp:influences
| |
| dbp:knownFor
| |
| dbp:name
| |
| dbp:nationality
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:workplaces
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- 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. 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. In 2007, a Symposium was held in Macau in honour of Dines Bjørner and Zhou Chaochen. In 2021, Bjørner was elected to a Formal Methods Europe (FME) Fellowship. (en)
- Dines Bjørner (Odense, 4 de outubro de 1937) é um cientista da computação dinamarquês. É especialista em pesquisas sobre , engenharia de requisitos e métodos formais. Trabalhou com e outros sobre o (VDM) no . Mais tarde esteve envolvido com a produção do (RAISE). Bjørner é fellow do Instituto de Engenheiros Eletricistas e Eletrônicos (IEEE) (2004) e da Association for Computing Machinery (ACM) (2005). É também membro da Academia Europaea desde 1989. Em 2007 foi organizado um simpósio em Macau em honra de Dines Bjørner e . (pt)
|
| rdfs:label
|
- Dines Bjørner (en)
- Dines Bjørner (pt)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:influencedBy
of | |
| is dbo:person
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:influences
of | |
| is dbp:leaderName
of | |
| is foaf:primaryTopic
of | |
