综合组件程序的归纳法

Lietuvos Matematikos Rinkinys Pub Date : 2023-09-21 DOI:10.15388/lmr.2006.30586

Vaidas Giedrimas

{"title":"综合组件程序的归纳法","authors":"Vaidas Giedrimas","doi":"10.15388/lmr.2006.30586","DOIUrl":null,"url":null,"abstract":"The automatic programming and automatic software synthesis systems are relevant software engineering research objects. This article presents the prospects of induction as a component-based software synthesis method. The usage of induction in the component-based software synthesis system can solve main synthesis problems: problem of specification, problem of undefined components and problem of non-functional requirements. However using induction synthesis system can lose soundness provided by structural synhesis of programs method. To avoid this any inductive conclusion should be verified.","PeriodicalId":33611,"journal":{"name":"Lietuvos Matematikos Rinkinys","volume":"145 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Induktyvinis metodas komponentinių programų sintezėje\",\"authors\":\"Vaidas Giedrimas\",\"doi\":\"10.15388/lmr.2006.30586\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The automatic programming and automatic software synthesis systems are relevant software engineering research objects. This article presents the prospects of induction as a component-based software synthesis method. The usage of induction in the component-based software synthesis system can solve main synthesis problems: problem of specification, problem of undefined components and problem of non-functional requirements. However using induction synthesis system can lose soundness provided by structural synhesis of programs method. To avoid this any inductive conclusion should be verified.\",\"PeriodicalId\":33611,\"journal\":{\"name\":\"Lietuvos Matematikos Rinkinys\",\"volume\":\"145 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2023-09-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Lietuvos Matematikos Rinkinys\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.15388/lmr.2006.30586\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Lietuvos Matematikos Rinkinys","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.15388/lmr.2006.30586","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

自动编程和自动软件合成系统是相关软件工程的研究对象。本文展望了归纳法作为一种基于构件的软件综合方法的发展前景。归纳法在基于组件的软件综合系统中的应用，可以解决主要的综合问题:规范问题、组件未定义问题和非功能需求问题。然而，采用感应综合系统会失去程序结构综合方法所提供的可靠性。为了避免这种情况，任何归纳结论都应该得到验证。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Induktyvinis metodas komponentinių programų sintezėje

The automatic programming and automatic software synthesis systems are relevant software engineering research objects. This article presents the prospects of induction as a component-based software synthesis method. The usage of induction in the component-based software synthesis system can solve main synthesis problems: problem of specification, problem of undefined components and problem of non-functional requirements. However using induction synthesis system can lose soundness provided by structural synhesis of programs method. To avoid this any inductive conclusion should be verified.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊