Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q5983537> ?p ?o }
Showing triples 1 to 73 of
73
with 100 triples per page.
- Q5983537 description "Computer scientist".
- Q5983537 description "Computer scientist".
- Q5983537 subject Q15274001.
- Q5983537 subject Q1706791.
- Q5983537 subject Q6847952.
- Q5983537 subject Q7030985.
- Q5983537 subject Q7469307.
- Q5983537 subject Q7802847.
- Q5983537 subject Q8077342.
- Q5983537 subject Q8237235.
- Q5983537 subject Q8315321.
- Q5983537 subject Q8362228.
- Q5983537 subject Q8445840.
- Q5983537 subject Q8466127.
- Q5983537 subject Q8974115.
- Q5983537 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.".
- Q5983537 birthPlace Q35.
- Q5983537 country Q145.
- Q5983537 deathDate "2012".
- Q5983537 deathPlace Q17054.
- Q5983537 deathYear "2012".
- Q5983537 wikiPageExternalLink ib.sorensen.
- Q5983537 wikiPageWikiLink Q1049183.
- Q5983537 wikiPageWikiLink Q1430781.
- Q5983537 wikiPageWikiLink Q1437424.
- Q5983537 wikiPageWikiLink Q152057.
- Q5983537 wikiPageWikiLink Q15274001.
- Q5983537 wikiPageWikiLink Q1568240.
- Q5983537 wikiPageWikiLink Q1590911.
- Q5983537 wikiPageWikiLink Q17054.
- Q5983537 wikiPageWikiLink Q1706791.
- Q5983537 wikiPageWikiLink Q21.
- Q5983537 wikiPageWikiLink Q3085774.
- Q5983537 wikiPageWikiLink Q3169881.
- Q5983537 wikiPageWikiLink Q34433.
- Q5983537 wikiPageWikiLink Q35.
- Q5983537 wikiPageWikiLink Q5260200.
- Q5983537 wikiPageWikiLink Q6847952.
- Q5983537 wikiPageWikiLink Q7030985.
- Q5983537 wikiPageWikiLink Q7248493.
- Q5983537 wikiPageWikiLink Q7469307.
- Q5983537 wikiPageWikiLink Q752297.
- Q5983537 wikiPageWikiLink Q7802847.
- Q5983537 wikiPageWikiLink Q8077342.
- Q5983537 wikiPageWikiLink Q8237235.
- Q5983537 wikiPageWikiLink Q82594.
- Q5983537 wikiPageWikiLink Q8315321.
- Q5983537 wikiPageWikiLink Q8362228.
- Q5983537 wikiPageWikiLink Q8445840.
- Q5983537 wikiPageWikiLink Q8466127.
- Q5983537 wikiPageWikiLink Q8974115.
- Q5983537 wikiPageWikiLink Q924265.
- Q5983537 wikiPageWikiLink Q925667.
- Q5983537 dateOfDeath "January 2012".
- Q5983537 name "Sørensen, Ib Holm".
- Q5983537 placeOfBirth Q35.
- Q5983537 placeOfDeath Q17054.
- Q5983537 shortDescription "Computer scientist".
- Q5983537 type Person.
- Q5983537 type Agent.
- Q5983537 type Person.
- Q5983537 type Agent.
- Q5983537 type NaturalPerson.
- Q5983537 type Thing.
- Q5983537 type Q215627.
- Q5983537 type Q5.
- Q5983537 type Person.
- Q5983537 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. ".
- Q5983537 label "Ib Holm Sørensen".
- Q5983537 givenName "Ib Holm".
- Q5983537 name "Ib Holm Sørensen".
- Q5983537 name "Sørensen, Ib Holm".
- Q5983537 surname "Sørensen".