Induktyvinis metodas komponentinių programų sintezėje
Straipsniai
Vaidas Giedrimas
Matematikos ir informatikos institutas
Publikuota 2023-09-21
https://doi.org/10.15388/LMR.2006.30586
PDF

Reikšminiai žodžiai

komponentinės sistemos
programų sintezė
indukcija

Kaip cituoti

Giedrimas, V. (2023) “Induktyvinis metodas komponentinių programų sintezėje”, Lietuvos matematikos rinkinys, 46(spec.), pp. 103–106. doi:10.15388/LMR.2006.30586.

Santrauka

Automatinė programų sintezė – aktualus programų sistemų inžinerijos mokslinių tyrimų objektas. Straipsnyje aprašomos induktyviojo metodo panaudojimo automatinėje komponentinių programų sintezėje galimybės. Induktyvusis metodas pristatomas kaip efektyvi pagalbinė priemonė sprendžianti pagrindines komponentinių programų sintezės sistemos, naudojančios struktūrinės sintezės metodą [5, 6, 7], problemas.

PDF
Kūrybinių bendrijų licencija

Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.

Atsisiuntimai

Nėra atsisiuntimų.