|
|
|
<<<
Lo studio si propone il raggiungimento dei seguenti obiettivi di ricerca:
-
(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.
-
(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).
-
(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.
>>>
|
|
