Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Steve_Reeves_(computer_scientist)> ?p ?o }
- Steve_Reeves_(computer_scientist) 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.".
- Steve_Reeves_(computer_scientist) almaMater University_of_Birmingham.
- Steve_Reeves_(computer_scientist) birthDate "1957-10-31".
- Steve_Reeves_(computer_scientist) birthPlace Brighton.
- Steve_Reeves_(computer_scientist) birthPlace England.
- Steve_Reeves_(computer_scientist) birthYear "1957".
- Steve_Reeves_(computer_scientist) field Computer_science.
- Steve_Reeves_(computer_scientist) field Formal_methods.
- Steve_Reeves_(computer_scientist) field Software_engineering.
- Steve_Reeves_(computer_scientist) nationality United_Kingdom.
- Steve_Reeves_(computer_scientist) residence New_Zealand.
- Steve_Reeves_(computer_scientist) wikiPageExternalLink ~stever.
- Steve_Reeves_(computer_scientist) wikiPageID "25790512".
- Steve_Reeves_(computer_scientist) wikiPageLength "3847".
- Steve_Reeves_(computer_scientist) wikiPageOutDegree "45".
- Steve_Reeves_(computer_scientist) wikiPageRevisionID "659496049".
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Australian_Software_Engineering_Conference.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink BCS-FACS.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Brighton.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink British_Computer_Society.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Category:1957_births.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Category:Academics_of_Queen_Mary_University_of_London.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Category:Academics_of_the_University_of_Essex.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Category:Alumni_of_the_University_of_Birmingham.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Category:British_expatriates_in_New_Zealand.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Category:English_computer_scientists.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Category:Fellows_of_the_British_Computer_Society.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Category:Formal_methods_people.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Category:Living_people.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Category:People_from_Brighton.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Category:University_of_Waikato_faculty.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Computer_science.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Computer_scientist.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink England.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Formal_methods.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Graphical_user_interface.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink ITCP.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Institute_of_IT_Professionals.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink International_Organization_for_Standardization.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink London.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Martin_Henson.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink New_Zealand.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Queen_Mary_University_of_London.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Refinement.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Software_engineering.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink United_Kingdom.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink University_of_Birmingham.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink University_of_Essex.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink University_of_Waikato.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Z_User_Group.
- Steve_Reeves_(computer_scientist) wikiPageWikiLink Z_notation.
- Steve_Reeves_(computer_scientist) wikiPageWikiLinkText "Steve Reeves (computer scientist)".
- Steve_Reeves_(computer_scientist) wikiPageWikiLinkText "Steve Reeves".
- Steve_Reeves_(computer_scientist) almaMater University_of_Birmingham.
- Steve_Reeves_(computer_scientist) birthDate "1957-10-31".
- Steve_Reeves_(computer_scientist) birthPlace Brighton.
- Steve_Reeves_(computer_scientist) birthPlace England.
- Steve_Reeves_(computer_scientist) dateOfBirth "1957-10-31".
- Steve_Reeves_(computer_scientist) field Computer_science.
- Steve_Reeves_(computer_scientist) field Formal_methods.
- Steve_Reeves_(computer_scientist) field Software_engineering.
- Steve_Reeves_(computer_scientist) name "Reeves, Steve".
- Steve_Reeves_(computer_scientist) name "Steve Reeves".
- Steve_Reeves_(computer_scientist) nationality United_Kingdom.
- Steve_Reeves_(computer_scientist) placeOfBirth Brighton.
- Steve_Reeves_(computer_scientist) placeOfBirth England.
- Steve_Reeves_(computer_scientist) residence New_Zealand.
- Steve_Reeves_(computer_scientist) shortDescription "Computer scientist".
- Steve_Reeves_(computer_scientist) wikiPageUsesTemplate Template:About.
- Steve_Reeves_(computer_scientist) wikiPageUsesTemplate Template:AcademicSearch.
- Steve_Reeves_(computer_scientist) wikiPageUsesTemplate Template:Authority_control.
- Steve_Reeves_(computer_scientist) wikiPageUsesTemplate Template:DBLP.
- Steve_Reeves_(computer_scientist) wikiPageUsesTemplate Template:GoogleScholar.
- Steve_Reeves_(computer_scientist) wikiPageUsesTemplate Template:Infobox_scientist.
- Steve_Reeves_(computer_scientist) wikiPageUsesTemplate Template:Persondata.
- Steve_Reeves_(computer_scientist) wikiPageUsesTemplate Template:Reflist.
- Steve_Reeves_(computer_scientist) wikiPageUsesTemplate Template:When.
- Steve_Reeves_(computer_scientist) workInstitution Queen_Mary_University_of_London.
- Steve_Reeves_(computer_scientist) workInstitution University_of_Essex.
- Steve_Reeves_(computer_scientist) workInstitution University_of_Waikato.
- Steve_Reeves_(computer_scientist) description "Computer scientist".
- Steve_Reeves_(computer_scientist) description "Computer scientist".
- Steve_Reeves_(computer_scientist) subject Category:1957_births.
- Steve_Reeves_(computer_scientist) subject Category:Academics_of_Queen_Mary_University_of_London.
- Steve_Reeves_(computer_scientist) subject Category:Academics_of_the_University_of_Essex.
- Steve_Reeves_(computer_scientist) subject Category:Alumni_of_the_University_of_Birmingham.
- Steve_Reeves_(computer_scientist) subject Category:British_expatriates_in_New_Zealand.
- Steve_Reeves_(computer_scientist) subject Category:English_computer_scientists.
- Steve_Reeves_(computer_scientist) subject Category:Fellows_of_the_British_Computer_Society.
- Steve_Reeves_(computer_scientist) subject Category:Formal_methods_people.
- Steve_Reeves_(computer_scientist) subject Category:Living_people.
- Steve_Reeves_(computer_scientist) subject Category:People_from_Brighton.
- Steve_Reeves_(computer_scientist) subject Category:University_of_Waikato_faculty.
- Steve_Reeves_(computer_scientist) hypernym Scientist.
- Steve_Reeves_(computer_scientist) type Agent.
- Steve_Reeves_(computer_scientist) type List.
- Steve_Reeves_(computer_scientist) type Person.
- Steve_Reeves_(computer_scientist) type Scientist.
- Steve_Reeves_(computer_scientist) type Person.
- Steve_Reeves_(computer_scientist) type List.