Jim Horning Quotes


To treat programming scientifically, it must be possible to specify the required properties of programs precisely. Formality is certainly not an end in itself. The importance of formal specifications must ultimately rest in their utility -in whether or not they are used to improve the quality of software or to reduce the cost of producing and maintaining software.


Citations

Guttag, John V., and James J. Horning. "Formal Specification as a Design Tool." Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Association for Computing Machinery, 1980, p. 251.

Related Quotes

No Photo Available
  • Born: August 24, 1942
  • Died: January 18, 2013
  • Nationality: American
  • Profession: Scientist

James Jay Horning was an American computer scientist and ACM Fellow.