Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Dines_Bjørner> ?p ?o. }
Showing items 1 to 62 of
62
with 100 items per page.
- Dines_Bjørner 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 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.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.Bjørner is married to Kari Bjørner, with two children and five grandchildren.".
- Dines_Bjørner birthDate "1937-10-04".
- Dines_Bjørner birthPlace Denmark.
- Dines_Bjørner birthPlace Odense.
- Dines_Bjørner thumbnail Dines_Bjørner_at_DTU_Compute,_June_2012.jpg?width=300.
- Dines_Bjørner wikiPageID "2570332".
- Dines_Bjørner wikiPageRevisionID "569717011".
- Dines_Bjørner almaMater "Chinese Academy of Sciences".
- Dines_Bjørner almaMater "Peking University".
- Dines_Bjørner alternativeNames "Bjorner, Dines".
- Dines_Bjørner awards Order_of_the_Dannebrog.
- Dines_Bjørner birthDate "1937-10-04".
- Dines_Bjørner birthPlace Denmark.
- Dines_Bjørner birthPlace Odense.
- Dines_Bjørner dateOfBirth "1937-10-04".
- Dines_Bjørner fields Computer_science.
- Dines_Bjørner imageSize "150".
- Dines_Bjørner knownFor RAISE.
- Dines_Bjørner knownFor Vienna_Development_Method.
- Dines_Bjørner name "Bjørner, Dines".
- Dines_Bjørner name "Dines Bjørner".
- Dines_Bjørner nationality "Danish".
- Dines_Bjørner placeOfBirth Denmark.
- Dines_Bjørner placeOfBirth Odense.
- Dines_Bjørner residence "Denmark".
- Dines_Bjørner shortDescription "Computer scientist".
- Dines_Bjørner workplaces Technical_University_of_Denmark.
- Dines_Bjørner workplaces United_Nations_University.
- Dines_Bjørner description "Computer scientist".
- Dines_Bjørner subject Category:1937_births.
- Dines_Bjørner subject Category:Academics_of_the_United_Nations_University.
- Dines_Bjørner subject Category:Computer_science_writers.
- Dines_Bjørner subject Category:Danish_computer_scientists.
- Dines_Bjørner subject Category:Danish_knights.
- Dines_Bjørner subject Category:Fellow_Members_of_the_IEEE.
- Dines_Bjørner subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Dines_Bjørner subject Category:Formal_methods_people.
- Dines_Bjørner subject Category:IBM_employees.
- Dines_Bjørner subject Category:Living_people.
- Dines_Bjørner subject Category:Members_of_Academia_Europaea.
- Dines_Bjørner subject Category:People_from_Odense.
- Dines_Bjørner subject Category:Technical_University_of_Denmark_faculty.
- Dines_Bjørner type Agent.
- Dines_Bjørner type Person.
- Dines_Bjørner type Scientist.
- Dines_Bjørner type Person.
- Dines_Bjørner type Q215627.
- Dines_Bjørner type Q5.
- Dines_Bjørner type Agent.
- Dines_Bjørner type NaturalPerson.
- Dines_Bjørner type Thing.
- Dines_Bjørner type Person.
- Dines_Bjørner 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 in Vienna (and elsewhere).".
- Dines_Bjørner label "Dines Bjørner".
- Dines_Bjørner sameAs Dines_Bj%C3%B8rner.
- Dines_Bjørner sameAs Q5278058.
- Dines_Bjørner sameAs Q5278058.
- Dines_Bjørner wasDerivedFrom Dines_Bjørner?oldid=569717011.
- Dines_Bjørner depiction Dines_Bjørner_at_DTU_Compute,_June_2012.jpg.
- Dines_Bjørner givenName "Dines".
- Dines_Bjørner name "Dines Bjørner".
- Dines_Bjørner surname "Bjørner".