QR Code

Induction in component-based software synthesis

The automatic programming and automatic software synthesis systems are relevant software engineering research objects. This article presents the prospects of induction as a component-based software synthesis method. The usage of induction in the component-based software synthesis system can solve m...

Whakaahuatanga katoa

I tiakina i:
Ngā taipitopito rārangi puna kōrero
Kaituhi matua: Vaidas Giedrimas
Hōputu: Artigo
Reo:Inglês
I whakaputaina: Vilnius University Press 2023-09-01
Rangatū:Lietuvos Matematikos Rinkinys
Ngā marau:
Urunga tuihono:https://test.zurnalai.vu.lt/LMR/article/view/30586
Ngā Tūtohu: Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!