Association for Computing Machinery

Correctness-by-Construction - How Can We Build Better Software?

ACM-Learning June 8, 2023, 4:33pm 8

Here is the link to the recording:

Topic		Replies	Views	Activity
The History of Software Engineering ACM TechTalks	13	6231	July 23, 2018
Lessons From the Fifty-Year Quest to Turn Programmers into Software Engineers ACM TechTalks	2	2901	May 18, 2022
The Essence of Software ACM TechTalks	4	2866	December 1, 2021
Effective Developer Testing ACM TechTalks	0	1597	January 24, 2023
An Industry Perspective on What We Should Be Teaching Our Next Generation of Software Practitioners in the Universities ACM TechTalks	7	2251	April 7, 2021