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:
Bibliographic Details
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!