| Title |
Induktyvinis metodas komponentinių programų sintezėje |
| Translation of Title |
Induction in component-based software synthesis. |
| Authors |
Giedrimas, Vaidas |
| DOI |
10.15388/LMR.2006.30586 |
| Full Text |
|
| Is Part of |
Lietuvos matematikos rinkinys. 2006, T. 46, spec, Nr, p. 103-106.. ISSN 0132-2818 |
| Keywords [eng] |
Component-based system ; Software synthesis ; Induction |
| Abstract [eng] |
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 main synthesis problems: problem of specification, problem of undefined components and problem of non-functional requirements. However using induction synthesis system can lose soundness provided by Structural syn- hesis of programs method. To avoid this any inductive conclusion should be verified. |
| Type |
Journal article |
| Language |
Lithuanian |
| Publication date |
2006 |
| CC license |
|
