L'approccio algebrico alla specificazione e allo sviluppo dei sistemi, nato negli anni '70 come metodo formale per tipi di dati astratti, comprende oggi la progettazione formale di sistemi hardware e software integrati, nuove strutture di specificazione e paradigmi di programmazione (come la programmazione orientata agli oggetti, logica e funzionale di ordine elevato) e un'ampia gamma di aree applicative (compresi sistemi informativi, sistemi concorrenti e distribuiti). I workshop sulle tecniche di sviluppo alfabetico, avviati nel 1982 come workshop sui tipi di dati astratti, sono diventati un forum importante per presentare e discutere la ricerca su questa importante area. Il 14° Workshop Internazionale sulle Tecniche di Sviluppo Algebrico (WADT’99) ha avuto luogo presso lo Chatˆ eau de Bonas, vicino a Tolosa, dal 15 al 18 settembre 1999, ed è stato organizzato da Didier Bert e Christine Choppy. I principali argomenti del workshop sono stati: – speci?cazione algebrica – altri approcci alla speci?cazione formale – linguaggi e metodi di speci?cazione – riscrittura dei termini e sistemi di dimostrazione – sistemi di sviluppo della speci?cazione (concetti, strumenti, ecc.). Il programma consisteva in conferenze su invito di Michel Bidoit, Manfred Broy, Bart Jacobs, Natarajan Shankar e 69 presentazioni che descrivevano la ricerca in corso. Le sessioni parallele sono state dedicate a: specificazioni algebriche e altri formalismi di specificazione, test e validazione, processi concorrenti, plicazioni, logica e validazione, combinazione di formalismi, sottoordinamenti e partità, strutturazione, riscrittura, coalgebre e schizzi, perfezionamento, istituzioni e categorie, specifiche ASM. Si sono svolte anche sessioni che riflettevano le ricerche in corso conseguite nell'ambito della Common Framework Initiative (CoFI, vedere all'interno dei suoi diversi gruppi di lavoro: CASL (Common Algebraic Specication Language), semantica CASL, strumenti CASL, metodologia e sistemi reattivi.
caricamento...
