Il movimento AMAST è stato avviato nel 1989 con la prima conferenza internazionale sulla metodologia algebrica e la tecnologia software (AMAST), tenutasi il 21 maggio a Iowa City, Iowa, e mirava a impostare lo sviluppo della tecnologia software su basi matematiche. La virtù della tecnologia software fornita da AMAST è la capacità di produrre software che ha le seguenti proprietà: (a) è corretto e la sua correttezza può essere dimostrata matematicamente, (b) è sicuro, in modo tale da poter essere utilizzato nell'implementazione di sistemi critici, (c) è portabile, i. e. , è indipendente dalle piattaforme informatiche e dalle generazioni linguistiche e (d) è evolutivo, cioè. e. , è autoadattabile e si evolve con il dominio problematico. Dieci anni dopo si sono verificati una miriade di workshop, conferenze e programmi di ricerca che condividono gli obiettivi del movimento AMAST. Ciò può essere preso come prova che la visione di AMAST è giusta. Tuttavia, spesso nella miriade di workshop, conferenze e programmi di ricerca mancano gli obiettivi chiari e il coordinamento dei loro obiettivi verso la tecnologia software voluta da AMAST. Ciò può essere preso come una prova che l’AMAST è ancora necessario.
caricamento...
