Metadata
Author: WikiMatrix
Data
English[en]
In some software design approaches, postconditions, along with preconditions and class invariants, are components of the software construction method design by contract.
Italian[it]
Nella programmazione ad oggetti, le postcondizioni, unitamente alle precondizioni ed alle invarianti, sono componenti del modello di progettazione del software a contratto.