The Science of Computing and the Engineering of Software

Summary
Sir Tony Hoare discusses the relationship between the science of computing and the engineering of software. First, he looks at the general concerns of science (e.g. long term, ideal, formality) and engineering (e.g. short-term, adequacy, and dependability) before delving on the interdependencies of the two viewpoints. He concludes with a vision of what software will be like: "Someday ...".

Bio
Sir Charles Antony Richard Hoare is a British computer scientist, probably best known for the development of Quicksort, one of the world's most widely used sorting algorithms. He also developed Hoare logic for verifying program correctness, and the formal language, CSP, used to specify the interactions of concurrent processes (inspiration for the Occam programming language).

About the conference
QCon is a conference that is organized by the community, for the community.The result is a high quality conference experience where a tremendous amount of attention and investment has gone into having the best content on the most important topics presented by the leaders in our community. QCon is designed with the technical depth and enterprise focus of interest to technical team leads, architects, and project managers.