Steve Reeves (computer scientist)
id:
steve-reeves-computer-scientist-307-17388775
title:
Steve Reeves (computer scientist)
text:
Steve Reeves is a computer scientist based at the University of Waikato in New Zealand. He has been in the various roles of Associate Dean, Programme Co-ordinator and Head of Department of Software Engineering. He has undertaken research work on the Z notation, formal methods for GUI design, a general theory of refinement and logic for veracity. 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
brand slug:
wiki
category slug:
encyclopedia
description:
Computer scientist
original url:
https://en.wikipedia.org/wiki/Steve_Reeves_(computer_scientist)
date created:
date modified:
2023-08-28T23:36:23Z
main entity:
{"identifier":"Q7613713","url":"https://www.wikidata.org/entity/Q7613713"}
image:
fields total:
13
integrity:
14