Problem of software synthesis from made-up components
The paper analyze software synthesis from components problem, overviews possible solutions. This article shows that synthesis of programs (SSP) is suitable method to solve this problem.
Saved in:
Main Author: | Vaidas Giedrimas |
---|---|
Format: | Article |
Language: | English |
Published: |
Vilnius University Press
2003-12-01
|
Series: | Lietuvos Matematikos Rinkinys |
Online Access: | https://www.journals.vu.lt/LMR/article/view/32408 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Induction in component-based software synthesis
by: Vaidas Giedrimas
Published: (2023-09-01) -
Theoretical problems of component-based structural synthesis
by: Vaidas Giedrimas, et al.
Published: (2005-12-01) -
Formalisation of the component specification
by: Vaidas Giedrimas, et al.
Published: (2004-12-01) -
Scale-Up of Tailor-Made Onsite Enzyme Blend From Cassava Peels for Industrial Bioethanol Production
by: Martison Budu, et al.
Published: (2025-01-01) -
Comprehensive Quality Evaluation of Red Jujube Vinegars Made from Different Varieties Based on Principal Component Analysis
by: QI Tingting, ZHANG Zhifeng, YANG Xinyu, ZHANG Ruoshi, ZHANG Shuying, REN Jingnan, FAN Gang
Published: (2024-12-01)