Design pattern, principi di modellazione orientata agli oggetti. Design by contract.