Theoretical problems of component-based structural synthesis
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...
Saved in:
Main Authors: | Vaidas Giedrimas, Audronė Lupeikienė |
---|---|
Format: | Article |
Language: | English |
Published: |
Vilnius University Press
2005-12-01
|
Series: | Lietuvos Matematikos Rinkinys |
Subjects: | |
Online Access: | https://www.journals.vu.lt/LMR/article/view/26565 |
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) -
Formalisation of the component specification
by: Vaidas Giedrimas, et al.
Published: (2004-12-01) -
A model for developing dependable systems using a component‐based software development approach (MDDS‐CBSD)
by: Hasan Kahtan, et al.
Published: (2023-02-01) -
Problem of software synthesis from made-up components
by: Vaidas Giedrimas
Published: (2003-12-01) -
Formalisation of the sofware component ontology specification
by: Lina Bagušytė, et al.
Published: (2005-12-01)