Rete Bibliotecaria della Provincia di Como

Abstract: Si potrebbe dire che UML e ingegneria del software: dalla teoria alla pratica contenga in effetti tre libri racchiusi in un unico, corposo volume, che affronta tre tematiche diverse eppure profondamente interrelate, e tutte e tre importanti per chi si occupa professionalmente di sviluppo e progetto del software.Una parte del libro rivolge infatti notevole attenzione al processo formale di generazione dei sistemi; in un'altra sezione si descrivono compiutamente regole e notazione del linguaggio UML così come la sua applicazione ai processi di sviluppo. La terza ottica con cui si può guardare ai contenuti di questo libro è infine quella dell'attenzione, per così dire, grafica a come si padroneggia e si utilizza UML: vi sono interi paragrafi dedicati allo stile da utilizzare per disegnare diagrammi eleganti, armoniosi, semplici, in poche parole più accattivanti e più facilmente comprensibili e memorizzabili, che aiutano il lettore a tradurre presto e bene nella pratica quotidiana le indicazioni del libro in lavoro già fatto e pronto a essere utilizzato, senza barriere alla comprensione causata dalla distanza tra l'esposizione dei concetti e la loro applicazione concreta.UML e ingegneria del software: dalla teoria alla pratica illustra inoltre diffusamente le basi teoriche di UML e non perde di vista il dibattito sulla sua evoluzione, ma riporta comunque numerosi esempi pratici e rimane costantemente legato alla reale pratica professionale. Per quanto voluminoso, il libro è infine facilmente fruibile e consultabile, grazie alla chiarezza del linguaggio e alle oltre trecento immagini e diagrammi a corredo. Nel complesso, UML e ingegneria del software: dalla teoria alla pratica si propone come una base di riferimento perfettamente aggiornata a beneficio di tutti coloro che intendono approfondire le tematiche e le procedure di utilizzo di UML nell'attivitàdi programmazione e sviluppo software.

Abstract: Impiegata per secoli quasi esclusivamente in ambiente militare e diplomatico, la crittografia è, da pochi anni, liberamente utilizzabile da chiunque per proteggere la riservatezza delle proprie comunicazioni. La diffusione delle reti di comunicazione ha reso attuale il problema della sicurezza e della tutela dall'uso illecito dei nostri dati personali. Questo libro, avvalendosi anche di un CD contenente oltre cento megabyte di programmi e documentazione tecnica, consente di capire la crittografia, apprenderne le tecniche, imparare a proteggersi, riconoscere la vulnerabilità dei programmi, proteggere la propria privacy.

Abstract: Nel ricostruire la genesi dell'idea di calcolo o computazione l'autore, un pioniere della moderna informatica, prende le mosse da Leibniz e compone una galleria di personaggi chiave che comprende Boole, Frege, Cantor, Hilbert, Gödel e culmina in Turing. È interessante osservare, su un piano più tecnico, come Davis, pur pagando un doveroso tributo a Kurt Gödel, ponga, in maniera stimolante, la macchina universale di Turing alla base dei fenomeni di indecidibilità. Dopo la scoperta di Turing, il sogno di Leibniz, l'invenzione di un calcolo simbolico, una sorta di algebra del pensiero, si materializza non più in calcolatori in carne e ossa, ma in valvole e fili e poi in rame e silicio.