Van bedrijfsregels naar logica KU Leuven
In sommige industrieën, zoals de medische wereld of luchtvaart, kunnen storingen
tot onaanvaardbaar verlies leiden. Om veiligheid te garanderen, zijn er controles
ingebouwd voor iedere stap in het proces zoals standaarden, certifiëring, testen,
onderhoud. . . Voor software omvat dit een waaier aan benaderingen, onder
meer geautomatiseerd testen, veiligere programmeertalen, declaratieve talen die
kennis van uitvoering ...