Questo rapporto sullo stato dell'arte dell'IFIP presenta una raccolta di contributi fondamentali di alta qualità sui fondamenti algebrici delle specifiche dei sistemi. I contributi coprono ed esaminano argomenti attuali e progressi recenti e affrontano argomenti quali: il ruolo della specifica formale, preliminari algebrici, parzialità, istituzioni, semantica delle specifiche, strutturazione, perfezionamento, linguaggi di specifica, riscrittura dei termini, sistemi di deduzione e dimostrazione, specificazione degli oggetti, concorrenza e processo di sviluppo. Gli autori sono noti esperti del settore. Il libro è il risultato di IFIP WG 1.3 (Fondamenti di specificazione dei sistemi) in collaborazione con Esprit Basic Research WG COMPASS e fornisce le basi del linguaggio di specifica algebrica CASL progettato nel progetto CoFI (Common Framework Initiative for Algebraic Specifica e Sviluppo). È rivolto a sviluppatori di sistemi, ricercatori e studenti.
caricamento...
