DASM E CoreASM per l’analisi di sistemi complessi
10,00 €
zip
     
SINTESI
Questo libro nasce dall’esigenza di presentare e studiare nuovi e performanti metodi formali per l’analisi e la descrizione delle specifiche operazionali, la modellazione, il controllo e la verifica, la specifica e la progettazione dei moderni sistemi informativi, altamente dinamici e complessi, che contengono attività parallele e concorrenti, affinché possano affiancarsi, quale valido strumento di supporto, ai progettisti e, quale alternativa standard, valida, innovativa e vincente, alle attuali metodologie usate nel campo dell’ingegneria del software. Il testo prende spunto dalla tesi di dottorato dell’autore e affronta lo sviluppo delle Distributed Abstract State Machine con l’ausilio di CoreASM per lo studio e la verifica di sistemi complessi. Abbinamento necessario in un momento in cui la teoria necessita di applicazione pratica, affinché possa essere valorizzata in ambito lavorativo-professionale e di ricerca scientifica.
pagine: 192
formato: 17 x 24
ISBN: 978-88-548-9238-5
data pubblicazione: Maggio 2016
editore: Aracne
SINTESI
Informativa      Aracneeditrice.it si avvale di cookie, anche di terze parti, per offrirti il migliore servizio possibile. Cliccando 'Accetto' o continuando la navigazione ne acconsenti l'utilizzo. Per saperne di più
Accetto