Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Ib_Holm_Sørensen> ?p ?o. }
Showing items 1 to 44 of
44
with 100 items 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.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 he returned to the University of Oxford. From 1999, he worked on the B-based Booster models of requirements. He died before he was able to retire.".
- Ib_Holm_Sørensen birthPlace Denmark.
- Ib_Holm_Sørensen deathDate "2012".
- Ib_Holm_Sørensen deathPlace Martinique.
- Ib_Holm_Sørensen wikiPageID "34846125".
- Ib_Holm_Sørensen wikiPageRevisionID "604442829".
- 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 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:Deaths_from_stroke.
- 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_Oxford_University_Department_of_Computer_Science.
- 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 type Agent.
- Ib_Holm_Sørensen type Person.
- Ib_Holm_Sørensen type Person.
- Ib_Holm_Sørensen type Q215627.
- Ib_Holm_Sørensen type Q5.
- Ib_Holm_Sørensen type Agent.
- Ib_Holm_Sørensen type NaturalPerson.
- Ib_Holm_Sørensen type Thing.
- 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 Ib_Holm_S%C3%B8rensen.
- Ib_Holm_Sørensen sameAs Q5983537.
- Ib_Holm_Sørensen sameAs Q5983537.
- Ib_Holm_Sørensen wasDerivedFrom Ib_Holm_Sørensen?oldid=604442829.
- Ib_Holm_Sørensen givenName "Ib Holm".
- Ib_Holm_Sørensen name "Ib Holm Sørensen".
- Ib_Holm_Sørensen surname "Sørensen".