Learning on ScreenMaking Software Correct by Construction
- Synopsis
- Public lecture by Professor Martyn Thomas, expert in software engineering and cybersecurity and IT Livery Company Professor of Information Technology at Gresham College. Thomas discusses whether it is possible to build software so you know that it is correct, considering the problems, costs and previous attempts. This lecture discusses the Tokeneer experiment conducted by the US National Security Agency, and casts some light on these questions. [51 minutes]
- Series
- Living in a Cyber Enabled World
- Language
- English
- Country
- Great Britain
- Year of release
- 2017
- Subjects
- Information technology
- Keywords
- computer programming; computer software; computer software engineering
Online availability
- URI
- https://www.gresham.ac.uk/lectures-and-events/making-software-correct-by-construction
- Price
- free
- Delivery
- Streamed/Download
Credits
- Contributor
- Martyn Thomas
Distributor
- Name
Gresham College
- enquiries@gresham.ac.uk
- Web
- http://www.gresham.ac.uk/ External site opens in new window
- Phone
- 020 7831 0575
- Fax
- 020 7831 5208
- Address
- Barnard’s Inn Hall
Holborn
London EC1N 2HH
Record Stats
This record has been viewed 485 times.
