Wat betekent Formele methoden? Definities en afkortingen geleverd door Computerwoorden.nl.
computerwoorden.nl
Nederlands Computerwoordenboek - Een begrip in de ICT
Printlijst:
Home | Sitemap | Zoektips |

Resultaten woordenlijst:

Er zijn 1 zoekresultaten gevonden.

Woordenlijst:

Formele methoden

Soort wiskundige beschrijvingen om software te testen en te valideren om te bereiken dat er zo min mogelijk fouten in zit. Dit is bijvoorbeeld gebruikt voor het schrijven van de software voor de stormvloedkering bij Hoek van Holland. De programmatuur moet besluiten wanneer de stormvloedkering moet worden gesloten. Zowel te vroeg (problemen haven van Rotterdam), als te laat sluiten (overstroming in het Westland) zorgen voor problemen.