Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Dines_Bjørner> ?p ?o }
- 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 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. 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.Bjørner is married to Kari Bjørner, with two children and five grandchildren.".
- Dines_Bjørner award Order_of_the_Dannebrog.
- Dines_Bjørner birthDate "1937-10-04".
- Dines_Bjørner birthPlace Denmark.
- Dines_Bjørner birthPlace Odense.
- Dines_Bjørner field Computer_science.
- Dines_Bjørner knownFor RAISE.
- Dines_Bjørner knownFor Vienna_Development_Method.
- Dines_Bjørner nationality Denmark.
- Dines_Bjørner residence Denmark.
- Dines_Bjørner thumbnail Dines_Bjørner_at_DTU_Compute,_June_2012.jpg?width=300.
- Dines_Bjørner wikiPageExternalLink ~db.
- Dines_Bjørner wikiPageExternalLink biodata.
- Dines_Bjørner wikiPageExternalLink raise.
- Dines_Bjørner wikiPageID "2570332".
- Dines_Bjørner wikiPageLength "5383".
- Dines_Bjørner wikiPageOutDegree "56".
- Dines_Bjørner wikiPageRevisionID "705717435".
- Dines_Bjørner wikiPageWikiLink Academia_Europaea.
- Dines_Bjørner wikiPageWikiLink Association_for_Computing_Machinery.
- Dines_Bjørner wikiPageWikiLink Brno.
- Dines_Bjørner wikiPageWikiLink Category:1937_births.
- Dines_Bjørner wikiPageWikiLink Category:Academics_of_the_United_Nations_University.
- Dines_Bjørner wikiPageWikiLink Category:Computer_science_writers.
- Dines_Bjørner wikiPageWikiLink Category:Danish_computer_scientists.
- Dines_Bjørner wikiPageWikiLink Category:Danish_knights.
- Dines_Bjørner wikiPageWikiLink Category:Fellow_Members_of_the_IEEE.
- Dines_Bjørner wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
- Dines_Bjørner wikiPageWikiLink Category:Formal_methods_people.
- Dines_Bjørner wikiPageWikiLink Category:IBM_employees.
- Dines_Bjørner wikiPageWikiLink Category:Living_people.
- Dines_Bjørner wikiPageWikiLink Category:Members_of_Academia_Europaea.
- Dines_Bjørner wikiPageWikiLink Category:People_from_Odense.
- Dines_Bjørner wikiPageWikiLink Category:Technical_University_of_Denmark_faculty.
- Dines_Bjørner wikiPageWikiLink Cliff_Jones_(computer_scientist).
- Dines_Bjørner wikiPageWikiLink Computer_science.
- Dines_Bjørner wikiPageWikiLink Computer_scientist.
- Dines_Bjørner wikiPageWikiLink Czech_Republic.
- Dines_Bjørner wikiPageWikiLink Denmark.
- Dines_Bjørner wikiPageWikiLink Domain_engineering.
- Dines_Bjørner wikiPageWikiLink ForTIA.
- Dines_Bjørner wikiPageWikiLink Formal_Methods_Europe.
- Dines_Bjørner wikiPageWikiLink Formal_methods.
- Dines_Bjørner wikiPageWikiLink IBM.
- Dines_Bjørner wikiPageWikiLink Institute_of_Electrical_and_Electronics_Engineers.
- Dines_Bjørner wikiPageWikiLink International_Journal_of_Software_and_Informatics.
- Dines_Bjørner wikiPageWikiLink Macau.
- Dines_Bjørner wikiPageWikiLink Masaryk_University.
- Dines_Bjørner wikiPageWikiLink Masterpiece.
- Dines_Bjørner wikiPageWikiLink Odense.
- Dines_Bjørner wikiPageWikiLink Order_of_the_Dannebrog.
- Dines_Bjørner wikiPageWikiLink Prentice_Hall.
- Dines_Bjørner wikiPageWikiLink Professor.
- Dines_Bjørner wikiPageWikiLink RAISE.
- Dines_Bjørner wikiPageWikiLink Requirements_engineering.
- Dines_Bjørner wikiPageWikiLink Software_engineering.
- Dines_Bjørner wikiPageWikiLink Springer_Science+Business_Media.
- Dines_Bjørner wikiPageWikiLink Technical_University_of_Denmark.
- Dines_Bjørner wikiPageWikiLink United_Nations_University.
- Dines_Bjørner wikiPageWikiLink United_Nations_University_International_Institute_for_Software_Technology.
- Dines_Bjørner wikiPageWikiLink Vienna.
- Dines_Bjørner wikiPageWikiLink Vienna_Development_Method.
- Dines_Bjørner wikiPageWikiLink Zhou_Chaochen.
- Dines_Bjørner wikiPageWikiLinkText "Bjørner".
- Dines_Bjørner wikiPageWikiLinkText "Bjørner, D.".
- Dines_Bjørner wikiPageWikiLinkText "Dines Bjørner".
- Dines_Bjørner wikiPageWikiLinkText "Professor Dines Bjørner".
- Dines_Bjørner almaMater "Chinese Academy of Sciences".
- Dines_Bjørner almaMater "Peking University".
- 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 fields Computer_science.
- Dines_Bjørner imageSize "150".
- Dines_Bjørner knownFor RAISE.
- Dines_Bjørner knownFor Vienna_Development_Method.
- Dines_Bjørner name "Dines Bjørner".
- Dines_Bjørner nationality "Danish".
- Dines_Bjørner residence "Denmark".
- Dines_Bjørner wikiPageUsesTemplate Template:AcademicSearch.
- Dines_Bjørner wikiPageUsesTemplate Template:Authority_control.
- Dines_Bjørner wikiPageUsesTemplate Template:Birth-date.
- Dines_Bjørner wikiPageUsesTemplate Template:DBLP.
- Dines_Bjørner wikiPageUsesTemplate Template:Infobox_scientist.
- Dines_Bjørner wikiPageUsesTemplate Template:Reflist.
- Dines_Bjørner workplaces Technical_University_of_Denmark.
- Dines_Bjørner workplaces United_Nations_University.
- 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.