Domande con tag 'design-by-contract'

Ho usato la libreria Annotazione JDT nel mio progetto Java perché mi piace molto ciò che offre. Per essere più precisi, ho utilizzato le annotazioni @Nullable e @NonNullByDefault perché posso utilizzare la sinergia con Eclipse per anal...

Sono nelle prime fasi dell'apprendimento della progettazione per contratto (DbC). E penso che se seguito correttamente, può produrre software di altissima qualità. Questo mi chiede se ... perché non è usato molto? Ci sono alcuni problemi nell'us...

Design by Contract dice, in termini di funzione, parlando: "mi dai tutti i parametri corretti e ti darò esattamente questo tipo di dati" ... in sostanza. Quindi, dato che, dovrei usare le risorse per controllare l'output? Dovrei controllare l...

Voglio scrivere una libreria con la funzione "nessuna garanzia di perdita di risorse". Quindi saprò se ogni metodo assegna o meno una risorsa. Potrebbe cambiare il codice. Ad esempio: void foo() { methodDontAllocateAnyResources(); methodCa...

PRIMA E FORMENTE: Perdonami se la seguente domanda rientra nella categoria "off topic" di questo StackExchange, a causa della sua natura di sondaggio leggermente d'opinione. Questa non è la mia intenzione, sto semplicemente cercando consigli sul...