ISBN: 9780321635365
Autori: Andrei Alexandrescu
Editore: Addison Wesley
Lingua: Inglese
Anno: 2010
Pagine: 460
Allegati: Nessuno

Stabilire fin dalle prime fasi di progettazione del nostro software l'utilizzo della metodologia design by contract, attraverso diagrammi UML arricchiti con la descrizione di regole Object Constraint Language (OCL) non può che contribuire a ottenere un software con una elevata qualità e sicurezza. Ancora meglio sarebbe poter disporre di una sintassi simile a OCL, che facilita la composizione delle precondizioni, invarianti e post condizioni (i contract) individuate nelle fasi di progettazione,... (continua)

Come iniziare un lavoro di programmazione è un problema che mi si è presentato più volte durante la mia carriera, divisa per molti anni fra la pratica del programmatore e la teoria dell'insegnante. Volendo imboccare la strada dello sviluppatore software, ci si chiede sempre quale sia il punto di partenza migliore: ha senso cominciare da vetusti linguaggi, non più utilizzati in produzione, o vale la pena dare subito importanza alle reali necessità di apprendimento? E' proprio necessario imparare... (continua)

Questo 5 aprile Eiffel Software, azienda fondata da Bertrand Meyer, che di sicuro non abbisogna di presentazione alcuna, annuncia che la sua ultima versione del (non più troppo) popolare IDE è ora disponibile anche sotto licenza GPL, in base ad un principio di equo scambio (fair exchange): chi vuole sviluppare software commerciale può come sempre acquistare EiffelStudio, mentre chi decide di scaricare la versione libera, deve distribuire le sue applicazioni solo in base al modello Open Source.... (continua)

Questo articolo si propone di illustare le caratteristiche principali di Eiffel anche attraverso una comparazione con i più conosciuti linguaggi di programmazione ad oggetti. (continua)

Una tecnica abbastanza diffusa per ottenere codice più robusto è il Design by Contract. Può essere usata con qualsiasi linguaggio OO, anche se in questo articolo vedremo come applicarla al C++. Con questa tecnica l’integrità degli oggetti viene regolarmente esercitata tramite la verifica di precondizioni, postcondizioni ed invarianti. (continua)

SmartEiffel è un compilatore per il linguaggio Eiffel disponibile su un'ampia gamma di sistemi operativi e che in generale dovrebbe girare su qualsiasi piattaforma a 32 bit laddove è presente un compilatore ANSI C o una macchina virtuale Java. Questo compilatore (precedentemente chiamato SmallEiffel)  è stato scritto interamente in Eiffel ed è libero per qualsiasi uso, anche commerciale: per la precisione solo i file all'interno di... (continua)

Charlie Mills ha rilasciato un'implementazione via Ruby del Design by Contract da usare con il linguaggio C. L'autore ne parla in questo articolo su ONLamp.com. Poiché stiamo parlando di un contratto, bisogna considerare le relazioni tra una classe ed i suoi clienti, come un accordo... (continua)