| Title |
Generavimo metodų naudojimas kuriant .NET komponentines programų sistemas / |
| Translation of Title |
The application of generative methods for .NET component -based software synthesis. |
| Authors |
Giedrimas, Vaidas |
| DOI |
10.15388/Im.2008.0.3421 |
| Full Text |
|
| Is Part of |
Informacijos mokslai. 2007, t. 42-43, p. 189-194.. ISSN 1392-0561 |
| Keywords [eng] |
component ; component model ; methods of synthesis |
| Abstract [eng] |
The component paradigm increases the performance of software development process by reusing prefabricated software components. However, the search and verification of components still take relatively long time. One of the possible solutions to increase software development productivity and quality is the application of formal methods. Many approaches have been presented to scientific community, however the biggest part of them are still in the beginning stage – the formal description of component model without practical implementations. The synthesis system of .NET component-based software is presented in this arcticle. This system is based on two generative methods: the Structural Synthesis of Programs (SSP) and the induction. One small example of componentbased software synthesis is also described. |
| Type |
Journal article |
| Language |
Lithuanian |
| Publication date |
2007 |
| CC license |
|
