eindvoorwaarde

DEF-1129
Rdf.jpg

Eigenschappen


DefinitieToestand waarin (een deel van) de omgeving bij de beeindiging van een transformatie moet verkeren voor een succesvolle transformatie (in een functie). (bron: Sjabloon Systeemspecificatie)
Definitie ABDLprefDef: Toestand waarin (een deel van) de omgeving bij de beeindiging van een transformatie moet verkeren voor een succesvolle transformatie (in een functie). (bron: Sjabloon Systeemspecificatie)
Voorkeursdefinitie Toestand waarin (een deel van) de omgeving bij de beeindiging van een transformatie moet verkeren voor een succesvolle transformatie (in een functie). (bron: Sjabloon Systeemspecificatie)
Alternatieve definitie(s)
Thesaurus
Term (en)postcondition
Is een instantie van Geen waarde
Begindatum25 januari 2008
Einddatum1 januari 2100
Collectie

Relaties

Gebruikt
Zie ook
Synoniem
Breder


Deze pagina is voor het laatst bewerkt op 15 dec 2022 om 22:23.