
(Eng:
postcondition) Status van een programma of proces onmiddellijk na de uitvoering van een bepaalde opdracht of een bepaald deel van dat programma of proces. De postconditie beschrijft de eigenschappen van bepaalde variabelen van het programma of proces en hun onderlinge relaties.
Gevonden op
https://www.angelfire.com/ca/vlietstra/CADCAM.pdf

Omgevings- en toestandscondities waaraan voldaan moet zijn na uitvoering van een test of testprocedure.
Gevonden op
https://encyclo.nl/lokaal/11557
Geen exacte overeenkomst gevonden.