“Just as a program must be debugged, a specification must be validated.”

About James J. Horning

Computer Scientist • American

James J. Horning (1942-2013) was a distinguished American computer scientist renowned for his contributions to programming language design and software engineering. He was a key figure in the development of the Euclid...