Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Ib_Holm_Sørensen> ?p ?o }
Showing triples 1 to 98 of
98
with 100 triples per page.
- Ib_Holm_Sørensen abstract "Dr Ib Holm Sørensen (died January 2012) was a computer scientist who made contributions to the Z notation and B-Method.Originally from Denmark, Ib Sørensen started his academic career in the 1970s at Aarhus University, where he worked on the Rikke-Mathilda microassemblers and simulators running on the DECSystem-10 computer.In 1979, Sørensen joined the Programming Research Group, part of the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) in England. There he worked with Jean-Raymond Abrial and others, making contributions to the early development of the formal specification language Z. He gained a DPhil degree from the University of Oxford and was a co-author of the seminal Specification Case Studies book on Z, first published in 1987 (second edition in 1993).From the late 1980s, Sørensen was central in the development of the B-Method, a leading formal method. He left Oxford University to lead a team at BP developing the B-Tool to provide tool support for the B approach. He then founded the company B-Core (UK) Limited to support the B-Toolkit, a set of programming tools designed to support the use of the B-Tool, and undertake B-related projects.Latterly Sørensen returned to the University of Oxford. From 1999, he worked on the B-based Booster models of requirements. He died in 2012, before he was able to retire.".
- Ib_Holm_Sørensen birthPlace Denmark.
- Ib_Holm_Sørensen country United_Kingdom.
- Ib_Holm_Sørensen deathDate "2012".
- Ib_Holm_Sørensen deathPlace Martinique.
- Ib_Holm_Sørensen deathYear "2012".
- Ib_Holm_Sørensen wikiPageExternalLink ib.sorensen.
- Ib_Holm_Sørensen wikiPageID "34846125".
- Ib_Holm_Sørensen wikiPageLength "4327".
- Ib_Holm_Sørensen wikiPageOutDegree "35".
- Ib_Holm_Sørensen wikiPageRevisionID "693194502".
- Ib_Holm_Sørensen wikiPageWikiLink Aarhus_University.
- Ib_Holm_Sørensen wikiPageWikiLink B-Method.
- Ib_Holm_Sørensen wikiPageWikiLink BP.
- Ib_Holm_Sørensen wikiPageWikiLink Category:2012_deaths.
- Ib_Holm_Sørensen wikiPageWikiLink Category:Aarhus_University_faculty.
- Ib_Holm_Sørensen wikiPageWikiLink Category:Alumni_of_Wolfson_College,_Oxford.
- Ib_Holm_Sørensen wikiPageWikiLink Category:British_computer_scientists.
- Ib_Holm_Sørensen wikiPageWikiLink Category:British_people_of_Danish_descent.
- Ib_Holm_Sørensen wikiPageWikiLink Category:Danish_computer_scientists.
- Ib_Holm_Sørensen wikiPageWikiLink Category:Danish_expatriates_in_the_United_Kingdom.
- Ib_Holm_Sørensen wikiPageWikiLink Category:Fellows_of_Wolfson_College,_Oxford.
- Ib_Holm_Sørensen wikiPageWikiLink Category:Formal_methods_people.
- Ib_Holm_Sørensen wikiPageWikiLink Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Ib_Holm_Sørensen wikiPageWikiLink Category:Software_engineers.
- Ib_Holm_Sørensen wikiPageWikiLink Category:Year_of_birth_missing.
- Ib_Holm_Sørensen wikiPageWikiLink Category:Z_notation.
- Ib_Holm_Sørensen wikiPageWikiLink Computer_scientist.
- Ib_Holm_Sørensen wikiPageWikiLink Computer_simulation.
- Ib_Holm_Sørensen wikiPageWikiLink Denmark.
- Ib_Holm_Sørensen wikiPageWikiLink Department_of_Computer_Science,_University_of_Oxford.
- Ib_Holm_Sørensen wikiPageWikiLink Doctor_of_Philosophy.
- Ib_Holm_Sørensen wikiPageWikiLink England.
- Ib_Holm_Sørensen wikiPageWikiLink Formal_methods.
- Ib_Holm_Sørensen wikiPageWikiLink Formal_specification.
- Ib_Holm_Sørensen wikiPageWikiLink Jean-Raymond_Abrial.
- Ib_Holm_Sørensen wikiPageWikiLink Martinique.
- Ib_Holm_Sørensen wikiPageWikiLink Microassembler.
- Ib_Holm_Sørensen wikiPageWikiLink PDP-10.
- Ib_Holm_Sørensen wikiPageWikiLink Programming_Research_Group.
- Ib_Holm_Sørensen wikiPageWikiLink University_of_Oxford.
- Ib_Holm_Sørensen wikiPageWikiLink Z_notation.
- Ib_Holm_Sørensen wikiPageWikiLinkText "Ib Holm Sørensen".
- Ib_Holm_Sørensen dateOfDeath "January 2012".
- Ib_Holm_Sørensen name "Sørensen, Ib Holm".
- Ib_Holm_Sørensen placeOfBirth Denmark.
- Ib_Holm_Sørensen placeOfDeath Martinique.
- Ib_Holm_Sørensen shortDescription "Computer scientist".
- Ib_Holm_Sørensen wikiPageUsesTemplate Template:AcademicSearch.
- Ib_Holm_Sørensen wikiPageUsesTemplate Template:DBLP.
- Ib_Holm_Sørensen wikiPageUsesTemplate Template:Persondata.
- Ib_Holm_Sørensen wikiPageUsesTemplate Template:Reflist.
- Ib_Holm_Sørensen wikiPageUsesTemplate Template:UK-academic-bio-stub.
- Ib_Holm_Sørensen wikiPageUsesTemplate Template:UK-compu-bio-stub.
- Ib_Holm_Sørensen description "Computer scientist".
- Ib_Holm_Sørensen description "Computer scientist".
- Ib_Holm_Sørensen subject Category:2012_deaths.
- Ib_Holm_Sørensen subject Category:Aarhus_University_faculty.
- Ib_Holm_Sørensen subject Category:Alumni_of_Wolfson_College,_Oxford.
- Ib_Holm_Sørensen subject Category:British_computer_scientists.
- Ib_Holm_Sørensen subject Category:British_people_of_Danish_descent.
- Ib_Holm_Sørensen subject Category:Danish_computer_scientists.
- Ib_Holm_Sørensen subject Category:Danish_expatriates_in_the_United_Kingdom.
- Ib_Holm_Sørensen subject Category:Fellows_of_Wolfson_College,_Oxford.
- Ib_Holm_Sørensen subject Category:Formal_methods_people.
- Ib_Holm_Sørensen subject Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford.
- Ib_Holm_Sørensen subject Category:Software_engineers.
- Ib_Holm_Sørensen subject Category:Year_of_birth_missing.
- Ib_Holm_Sørensen subject Category:Z_notation.
- Ib_Holm_Sørensen hypernym Scientist.
- Ib_Holm_Sørensen type Agent.
- Ib_Holm_Sørensen type Language.
- Ib_Holm_Sørensen type Person.
- Ib_Holm_Sørensen type Scientist.
- Ib_Holm_Sørensen type Person.
- Ib_Holm_Sørensen type Diacritic.
- Ib_Holm_Sørensen type Language.
- Ib_Holm_Sørensen type Member.
- Ib_Holm_Sørensen type Method.
- Ib_Holm_Sørensen type Redirect.
- Ib_Holm_Sørensen type Scientist.
- Ib_Holm_Sørensen type Agent.
- Ib_Holm_Sørensen type NaturalPerson.
- Ib_Holm_Sørensen type Thing.
- Ib_Holm_Sørensen type Q215627.
- Ib_Holm_Sørensen type Q5.
- Ib_Holm_Sørensen type Person.
- Ib_Holm_Sørensen comment "Dr Ib Holm Sørensen (died January 2012) was a computer scientist who made contributions to the Z notation and B-Method.Originally from Denmark, Ib Sørensen started his academic career in the 1970s at Aarhus University, where he worked on the Rikke-Mathilda microassemblers and simulators running on the DECSystem-10 computer.In 1979, Sørensen joined the Programming Research Group, part of the Oxford University Computing Laboratory (now the Oxford University Department of Computer Science) in England. ".
- Ib_Holm_Sørensen label "Ib Holm Sørensen".
- Ib_Holm_Sørensen sameAs Q5983537.
- Ib_Holm_Sørensen sameAs m.0j42b40.
- Ib_Holm_Sørensen sameAs Q5983537.
- Ib_Holm_Sørensen wasDerivedFrom Ib_Holm_Sørensen?oldid=693194502.
- Ib_Holm_Sørensen givenName "Ib Holm".
- Ib_Holm_Sørensen isPrimaryTopicOf Ib_Holm_Sørensen.
- Ib_Holm_Sørensen name "Ib Holm Sørensen".
- Ib_Holm_Sørensen name "Sørensen, Ib Holm".
- Ib_Holm_Sørensen surname "Sørensen".