Development

Software-ontwikkeling
Podcast: Waarom is softwareverificatie nog geen standaard in de praktijk?

Podcast: Waarom is softwareverificatie nog geen standaard in de praktijk?

Luister naar podcast Toekomstmuziek over verificatie van software.

Podcast Toekomstmuziek © AG Connect
27 mei 2021

Luister naar podcast Toekomstmuziek over verificatie van software.

Via softwareverificatie kom je erachter of je programma écht werkt zoals het moet werken en kun je vele scenario’s geautomatiseerd doorlopen. Toch gebruiken we de techniek nog nauwelijks in de praktijk. Waarom is dat? En welke voordelen biedt het hen die softwareverificatie al wél gebruiken?

Sprekers: Redacteur Eveline Meijer van AG Connect gaat in gesprek met professor Marieke Huisman van de Universiteit Twente en System Designer Ronald Bos van Technolution

Luister alle afleveringen bij Spotify
Luister alle afleveringen bij Apple
Ga naar de RSS-feed van Toekomstmuziek

Wil je meer podcasts van AG Connect beluisteren? Ga dan naar de overzichtspagina met alle podcasts van AG Connect.

Lees meer over
Lees meer over Development OP AG Intelligence
Reactie toevoegen
De inhoud van dit veld is privé en zal niet openbaar worden gemaakt.