InfoQ Homepage Presentations The Science of Computing and the Engineering of Software
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.
This content is in the Enterprise Architecture topic
Related Topics:
Sponsored Content
-
Related Editorial
-
Related Sponsors
-
Popular across InfoQ
-
TanStack Start: A New Meta Framework Powered by React or SolidJS
-
Microsoft Patches Critical ASP.NET Core Vulnerability with 9.9 Severity Score
-
GitHub Expands Copilot Ecosystem with AgentHQ
-
Redis Critical Remote Code Execution Vulnerability Discovered after 13 Years
-
AWS Launches Capabilities by Region Tool
-
Architecture Should Model the World as It Really Is: A Conversation with Randy Shoup
-