Title :
Language, truth and software [software development]
Abstract :
Tony Hoare helped lay the engineering foundations of computer science. He has been studying the role of formal methods within Microsoft´s software development process. This paper discusses Hoare´s early programming experiences and his work on concurrency and specification.
Keywords :
formal specification; Microsoft; computer science; concurrency; formal methods; programming; software development; software development process; specification;
Journal_Title :
IEE Review
DOI :
10.1049/ir:20040106
