pdfreaders.org

Why is software always crashing?

by Achim D. Brucker

In our daily life, we are - sad but true - used to insecure, crashing, or otherwise non-working computer systems. Gerald Weinberg, a American computer scientist, once said: "If builders built buildings the way programmers wrote programs, then the first woodpecker that came along would destroy civilization." Is building correct and secure programs really so hard that humans cannot master this tasks or are we just careless when implementing programs? In this presentation, we will explore the difficulties of implementing correct computer programs and learn techniques for building secure and reliable programs - including ways for mathematically proving the absence of certain types of program faults.

Keywords:
Categories:
Documents:

QR Code for talk:brucker:pint-sw-assurance:2018.Please cite this article as follows:
Achim D. Brucker. Why is software always crashing?. Pint of Science, 16. may. 2018.
(slides) (handout) (BibTeX) (Share article on LinkedIn. Share article on CiteULike. )

BibTeX
@Talk{ talk:brucker:pint-sw-assurance:2018,
abstract = {In our daily life, we are - sad but true - used to insecure, crashing, or otherwise non-working computer systems. Gerald Weinberg, a American computer scientist, once said: "If builders built buildings the way programmers wrote programs, then the first woodpecker that came along would destroy civilization." Is building correct and secure programs really so hard that humans cannot master this tasks or are we just careless when implementing programs? In this presentation, we will explore the difficulties of implementing correct computer programs and learn techniques for building secure and reliable programs - including ways for mathematically proving the absence of certain types of program faults.},
author = {Achim D. Brucker},
day = {16},
event = {Pint of Science},
handout = {https://www.brucker.ch/bibliography/download/2018/talk-brucker-pint-sw-assurance-2018-2x2.pdf},
isodate = {2016-05-16},
lecturer = {Achim D. Brucker},
location = {Sheffield, UK},
month = {may},
slides = {https://www.brucker.ch/bibliography/download/2018/talk-brucker-pint-sw-assurance-2018.pdf},
title = {Why is software always crashing?},
url = {https://www.brucker.ch/bibliography/abstract/talk-brucker-pint-sw-assurance-2018},
year = {2018},
}