Projekti eesmärkideks on
- arendada välja automaatsel programmide sünteesil põhinev mudelipõhine Java programmide koostamise tehnoloogia koos toetava metoodikaga;
- realiseerida väljatöötatavat tehnoloogiat toetav arvutuskeskkond Java rakenduste loomiseks;
- valideerida tehnoloogiat tööstuslike rakendusprogrammide (hüdraulika jõuülekanded, tootmisprotsesside äriloogika jms) ning e-teenuste ja/või nende protitüüpide loomise kaudu.
Loodaval süsteemil on kasutajaliides probleemvaldkonna mudelite visuaalseks spetsifitseerimiseks (nt diagrammide, skeemide ja lihtsamate jooniste kujul). Pakutav mudelipõhine arendusmetoodika võimaldab kõrgtasemel automatiseerida tarkvara koostamist ning selle aluseks on formaalloogikal põhinevad programmide konstrueerimise meetodid.
Toetus
- Euroopa Regionaalarengu Fond Projekti kood struktuuritoetuste riiklikus registris: 3.2.1201.13-0026
- Archimedes
- Eesti info- ja kommunikatsioonitehnoloogia kõrghariduse ning teadus- ja arendustegevuse riiklik programmi 2011-2015 [IKT programm]