Title Komponentinių programų struktūrinės sintezės teorinės problemos /
Translation of Title Theoretical problems of component-based structural synthesis.
Authors Giedrimas, Vaidas ; Lupeikienė, Audronė
DOI 10.15388/LMR.2005.26565
Full Text Download
Is Part of Lietuvos matematikos rinkinys. 2005, T. 45, spec, Nr, p. 139-143.. ISSN 0132-2818
Keywords [eng] Software, component-based ; Synthesis, structural ; Method, formal
Abstract [eng] The Structural Synthesis of Programs (SSP) method is based on the idea that programs can be constructed taking into account only their structural properties. This method has been successfully used to synthesise structural and object-oriented programs. This paper presents the research on the SSP in the component-based environment. It discuses the possibility of SSP method application to software synthesis from components and shows the main problems: problem of the specification, problem of reusable components and problem of undefined components. The possible solutions to those problems are provided too.
Type Journal article
Language Lithuanian
Publication date 2005
CC license CC license description