BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ

Topics

Choose your language

InfoQ Homepage Presentations The Science of Computing and the Engineering of Software

The Science of Computing and the Engineering of Software

Bookmarks
53:24

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.

Recorded at:

Jun 11, 2009

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Community comments

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

BT