Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q7613713> ?p ?o }
Showing triples 1 to 91 of
91
with 100 triples per page.
- Q7613713 description "Computer scientist".
- Q7613713 description "Computer scientist".
- Q7613713 subject Q5312304.
- Q7613713 subject Q6488011.
- Q7613713 subject Q6647521.
- Q7613713 subject Q8218997.
- Q7613713 subject Q8219101.
- Q7613713 subject Q8237358.
- Q7613713 subject Q8314366.
- Q7613713 subject Q8416149.
- Q7613713 subject Q8445870.
- Q7613713 subject Q8466127.
- Q7613713 subject Q8884830.
- Q7613713 abstract "Prof. Steve Reeves is a computer scientist based at the University of Waikato in New Zealand. He is the Associate Dean and the Programme Co-ordinator of Software Engineering. He has undertaken research work on the Z notation, formal methods for GUI design and a general theory of refinement.Steve Reeves' academic work is in the area of formal methods to aid software engineering. In particular, he has undertaken research into the design and use of logics for specification. With Prof. Martin Henson, he has studied the formal semantics of the Z notation in detail, in relation to the international ISO standard for Z.Reeves has delivered talks internationally, including as the opening talk in the BCS-FACS seminar series at the British Computer Society in London in 2005.Steve Reeves is currently Chair of the Z User Group, and the New Zealand member of the Australasian Software Engineering Conference (ASWEC) Steering Committee.He is a Fellow of the British Computer Society, a Fellow of the New Zealand Computer Society (now renamed the Institute of IT Professionals), and is an IT Certified Professional (ITCP).Reeves has published a number of academic papers.".
- Q7613713 almaMater Q223429.
- Q7613713 birthDate "1957-10-31".
- Q7613713 birthPlace Q131491.
- Q7613713 birthPlace Q21.
- Q7613713 birthYear "1957".
- Q7613713 field Q1049183.
- Q7613713 field Q21198.
- Q7613713 field Q80993.
- Q7613713 nationality Q145.
- Q7613713 residence Q664.
- Q7613713 wikiPageExternalLink ~stever.
- Q7613713 wikiPageWikiLink Q1049183.
- Q7613713 wikiPageWikiLink Q1075104.
- Q7613713 wikiPageWikiLink Q131491.
- Q7613713 wikiPageWikiLink Q13515585.
- Q7613713 wikiPageWikiLink Q1430781.
- Q7613713 wikiPageWikiLink Q145.
- Q7613713 wikiPageWikiLink Q15028.
- Q7613713 wikiPageWikiLink Q195668.
- Q7613713 wikiPageWikiLink Q21.
- Q7613713 wikiPageWikiLink Q21198.
- Q7613713 wikiPageWikiLink Q223429.
- Q7613713 wikiPageWikiLink Q4824693.
- Q7613713 wikiPageWikiLink Q4835228.
- Q7613713 wikiPageWikiLink Q5312304.
- Q7613713 wikiPageWikiLink Q606140.
- Q7613713 wikiPageWikiLink Q6488011.
- Q7613713 wikiPageWikiLink Q664.
- Q7613713 wikiPageWikiLink Q6647521.
- Q7613713 wikiPageWikiLink Q6775661.
- Q7613713 wikiPageWikiLink Q7307203.
- Q7613713 wikiPageWikiLink Q782543.
- Q7613713 wikiPageWikiLink Q8063360.
- Q7613713 wikiPageWikiLink Q80993.
- Q7613713 wikiPageWikiLink Q8218997.
- Q7613713 wikiPageWikiLink Q8219101.
- Q7613713 wikiPageWikiLink Q8237358.
- Q7613713 wikiPageWikiLink Q82594.
- Q7613713 wikiPageWikiLink Q8314366.
- Q7613713 wikiPageWikiLink Q84.
- Q7613713 wikiPageWikiLink Q8416149.
- Q7613713 wikiPageWikiLink Q8445870.
- Q7613713 wikiPageWikiLink Q8466127.
- Q7613713 wikiPageWikiLink Q8884830.
- Q7613713 wikiPageWikiLink Q919096.
- Q7613713 almaMater Q223429.
- Q7613713 birthDate "1957-10-31".
- Q7613713 birthPlace Q131491.
- Q7613713 birthPlace Q21.
- Q7613713 dateOfBirth "1957-10-31".
- Q7613713 field Q1049183.
- Q7613713 field Q21198.
- Q7613713 field Q80993.
- Q7613713 name "Reeves, Steve".
- Q7613713 name "Steve Reeves".
- Q7613713 nationality Q145.
- Q7613713 placeOfBirth Q131491.
- Q7613713 placeOfBirth Q21.
- Q7613713 residence Q664.
- Q7613713 shortDescription "Computer scientist".
- Q7613713 type Person.
- Q7613713 type Agent.
- Q7613713 type Person.
- Q7613713 type Scientist.
- Q7613713 type Agent.
- Q7613713 type NaturalPerson.
- Q7613713 type Thing.
- Q7613713 type Q215627.
- Q7613713 type Q5.
- Q7613713 type Q901.
- Q7613713 type Person.
- Q7613713 comment "Prof. Steve Reeves is a computer scientist based at the University of Waikato in New Zealand. He is the Associate Dean and the Programme Co-ordinator of Software Engineering. He has undertaken research work on the Z notation, formal methods for GUI design and a general theory of refinement.Steve Reeves' academic work is in the area of formal methods to aid software engineering. In particular, he has undertaken research into the design and use of logics for specification. With Prof.".
- Q7613713 label "Steve Reeves (computer scientist)".
- Q7613713 givenName "Steve".
- Q7613713 name "Reeves, Steve".
- Q7613713 name "Steve Reeves".
- Q7613713 surname "Reeves".