Heilige graal voor software

Softwarefouten kunnen voor honderden miljoenen euro’s schade veroorzaken en zelfs mensenlevens kosten. De wiskunde helpt om te bewijzen dat een stuk software
absoluut foutloos is.
Bron: Succesformules door Bennie Mols en Ionica Smeets (uitgave van Platform Wiskunde Nederland)

Bekijk PDF
Toevoegen aan favorieten (inloggen) Toepassingen wiskunde Op prikbord plaatsen (inloggen) PDF
Aantal keer bekeken: 6509
Favoriet: 0
Toegevoegd: 21 oktober 2014 - 21:16
Bijgewerkt: 07 november 2014 - 13:57

Tags: Succesformules

Suggesties

Toepassingen wiskunde
Digitale beveilingen kraken...
Tegenwoordig draait cryptografie niet meer om geheimschriften, zoals een eeuw geleden, maar grotendeels om wiskunde. En...
Lees meer »
Toepassingen wiskunde
Aanvaardbare risico's in de...
Wie een kopje koffie drinkt, staat niet stil bij de flinke hoeveelheid financiële wiskunde die schuilt achter de prijs ...
Lees meer »
Toepassingen wiskunde
Als je nooit slipt, rijd je...
Topmensen uit de publieke sector over toegepaste wiskunde: Jos Benschop Bron: Succesformules door Bennie Mols en Ionica S...
Lees meer »
Toepassingen wiskunde
Betere beelden
Nieuwe rekenmethoden maken medische scans sneller en nauwkeuriger. Ze hebben minder foto’s nodig om een goed plaatje ...
Lees meer »
Toepassingen wiskunde
De ambulance komt binnen 15...
Hoeveel ambulances zijn er nodig om te zorgen dat niemand langer dan een kwartier op spoedeisende hulp hoeft te wacht...
Lees meer »
Toepassingen wiskunde
De gulden matrix
Op de Olympische Spelen van 2014 wonnen de Nederlandse schaatsers een recordaantal medailles. Wiskunde hielp bij het mak...
Lees meer »
Toepassingen wiskunde
De tand des tijds
De schilderijen van Vincent van Gogh zijn in de loop der jaren langzaam verkleurd. Digitale reconstructies laten zien h...
Lees meer »
Toepassingen wiskunde
De verrassende vertraging
Een extra weg kan leiden tot een langere reistijd. Dit tegenintuïtieve resultaat heet de Braess-paradox en duikt op in all...
Lees meer »
Toepassingen wiskunde
Doorvoerhaven van digitale ...
Nederland heeft niet alleen een van de grootste zeehavens ter wereld, maar ook een van de grootste internethavens: AMS-IX,...
Lees meer »
Toepassingen wiskunde
Rekenen aan camerabeelden
Onbemande vliegtuigjes gebruiken camerabeelden om te navigeren. Maar in die beelden zitten allerlei vertekeningen: hoeken ...
Lees meer »
Toepassingen wiskunde
Schepen moeten tegen een st...
Stabiel in een rechte lijn kunnen varen is wel het minste wat een schip moet doen. Het maritiem onderzoeksinstituut MARIN ...
Lees meer »
Toepassingen wiskunde
Een andere kijk op dijken
Hoe hoog moeten onze dijken zijn? Een prijswinnende berekening zorgt voor meer veiligheid én een kostenbesparing van milja...
Lees meer »

Kaart delen

Directe link
U kunt onderstaande link gebruiken om deze kaart te delen.
http://www.math4all.nl/kaart/bekijk/heilige-graal-voor-software/136

Aanmelden

Ik wil mij aanmelden voor: