Matches in DBpedia 2014 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.He 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, and is an IT Certified Professional (ITCP).".
- 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) viafId "45916853".
- Steve_Reeves_(computer_scientist) wikiPageExternalLink 978-3-642-21437-0_24.
- Steve_Reeves_(computer_scientist) wikiPageExternalLink 33.
- Steve_Reeves_(computer_scientist) wikiPageExternalLink 2010.
- Steve_Reeves_(computer_scientist) wikiPageExternalLink 01676423.
- Steve_Reeves_(computer_scientist) wikiPageID "25790512".
- Steve_Reeves_(computer_scientist) wikiPageRevisionID "530806989".
- 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) hasPhotoCollection Steve_Reeves_(computer_scientist).
- 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) 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) type Absentee109757653.
- Steve_Reeves_(computer_scientist) type Academician109759069.
- Steve_Reeves_(computer_scientist) type AcademicsOfQueenMary,UniversityOfLondon.
- Steve_Reeves_(computer_scientist) type AcademicsOfTheUniversityOfEssex.
- Steve_Reeves_(computer_scientist) type Adult109605289.
- Steve_Reeves_(computer_scientist) type AlumniOfTheUniversityOfBirmingham.
- Steve_Reeves_(computer_scientist) type Alumnus109786338.
- Steve_Reeves_(computer_scientist) type Associate109816771.
- Steve_Reeves_(computer_scientist) type BritishExpatriatesInNewZealand.
- Steve_Reeves_(computer_scientist) type CausalAgent100007347.
- Steve_Reeves_(computer_scientist) type Colleague109935990.
- Steve_Reeves_(computer_scientist) type ComputerScientist109951070.
- Steve_Reeves_(computer_scientist) type ComputerUser109951274.
- Steve_Reeves_(computer_scientist) type Educator110045713.
- Steve_Reeves_(computer_scientist) type EnglishComputerScientists.
- Steve_Reeves_(computer_scientist) type Exile110071332.
- Steve_Reeves_(computer_scientist) type FellowsOfTheBritishComputerSociety.
- Steve_Reeves_(computer_scientist) type FormalMethodsPeople.
- Steve_Reeves_(computer_scientist) type Intellectual109621545.
- Steve_Reeves_(computer_scientist) type LivingPeople.
- Steve_Reeves_(computer_scientist) type LivingThing100004258.
- Steve_Reeves_(computer_scientist) type Object100002684.
- Steve_Reeves_(computer_scientist) type Organism100004475.
- Steve_Reeves_(computer_scientist) type Peer109626238.
- Steve_Reeves_(computer_scientist) type PeopleFromBrighton.
- Steve_Reeves_(computer_scientist) type Person100007846.
- Steve_Reeves_(computer_scientist) type PhysicalEntity100001930.
- Steve_Reeves_(computer_scientist) type Professional110480253.
- Steve_Reeves_(computer_scientist) type Scholar110557854.
- Steve_Reeves_(computer_scientist) type Scientist110560637.
- Steve_Reeves_(computer_scientist) type Traveler109629752.
- Steve_Reeves_(computer_scientist) type Whole100003553.
- Steve_Reeves_(computer_scientist) type YagoLegalActor.
- Steve_Reeves_(computer_scientist) type YagoLegalActorGeo.
- Steve_Reeves_(computer_scientist) type Agent.
- Steve_Reeves_(computer_scientist) type Person.
- Steve_Reeves_(computer_scientist) type Scientist.
- Steve_Reeves_(computer_scientist) type Person.
- Steve_Reeves_(computer_scientist) type Scientist.
- Steve_Reeves_(computer_scientist) type Q215627.
- Steve_Reeves_(computer_scientist) type Q5.
- Steve_Reeves_(computer_scientist) type Agent.
- Steve_Reeves_(computer_scientist) type NaturalPerson.
- Steve_Reeves_(computer_scientist) type Thing.
- Steve_Reeves_(computer_scientist) type Person.
- Steve_Reeves_(computer_scientist) 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.".
- Steve_Reeves_(computer_scientist) label "Steve Reeves (computer scientist)".
- Steve_Reeves_(computer_scientist) sameAs m.09v37y_.
- Steve_Reeves_(computer_scientist) sameAs Q7613713.
- Steve_Reeves_(computer_scientist) sameAs Q7613713.