eindvoorwaarde
Eigenschappen
Voorkeurslabel | eindvoorwaarde |
---|---|
Definitie | Toestand waarin (een deel van) de omgeving bij de beeindiging van een transformatie moet verkeren voor een succesvolle transformatie (in een functie). |
Synoniem | eindvoorwaarden, postconditie |
Toelichting op definitie | (bron: Sjabloon Systeemspecificatie) |
Exacte overeenkomst | http://www.rws.nl/abdl#DEF-1129 |
Status | Concept |
Relaties
Vertrekpunt | Relatie | Eindpunten |
---|---|---|
eindvoorwaarde | Breder |
|
eindvoorwaarde | Bron van |
|
Afgeleide relaties
Vertrekpunt | Relatie | Eindpunt |
---|