<<<

Gli obiettivi della ricerca.

Lo studio si propone il raggiungimento dei seguenti obiettivi di ricerca:

1. (OR 1) Costruzione di un sistema software (nucleo di AUCTORES) che ha lo scopo di organizzare la conoscenza in modo che essa possa essere opportunamente manipolata; in questo obiettivo di ricerca è inclusa la definizione dell’architettura e delle funzionalità di base.

2. (OR 2) Costruzione di un sistema di programmazione end-user, basato su interfaccia grafica che consenta di comporre le operazioni e di gestire l’importazione e l’esportazione dei programmi (CAD di programmazione).

3. (OR 3) Definizione di strutture algebriche in base a cui definire una o più sintassi formale di descrizione, da usare per descrivere l’elaborazione (programma) e come aiuto al ragionamento.

>>>