Pub Date : 1994-03-01DOI: 10.1109/CAIA.1994.323689
M. Hewett, R. Hewett
Automated software synthesis is one of the primary methods used in knowledge-based software engineering. Although many software synthesis systems have been successfully designed and implemented, automatic control of these systems remains a difficult problem. This paper describes a task-specific framework called MetaMorphos that allows explicit representations of control knowledge about the programming task and contains a selection method based on a given set of features. We apply MetaMorphos in the domain of schema-based software synthesis systems and illustrate how we use MetaMorphos to select data structure and algorithm schemas. An example shows how MetaMorphos handles the difficult problem of selecting schemas for two very similar problems which, in the best case, require different solutions.<>
{"title":"Automated schema selection in software synthesis","authors":"M. Hewett, R. Hewett","doi":"10.1109/CAIA.1994.323689","DOIUrl":"https://doi.org/10.1109/CAIA.1994.323689","url":null,"abstract":"Automated software synthesis is one of the primary methods used in knowledge-based software engineering. Although many software synthesis systems have been successfully designed and implemented, automatic control of these systems remains a difficult problem. This paper describes a task-specific framework called MetaMorphos that allows explicit representations of control knowledge about the programming task and contains a selection method based on a given set of features. We apply MetaMorphos in the domain of schema-based software synthesis systems and illustrate how we use MetaMorphos to select data structure and algorithm schemas. An example shows how MetaMorphos handles the difficult problem of selecting schemas for two very similar problems which, in the best case, require different solutions.<<ETX>>","PeriodicalId":297396,"journal":{"name":"Proceedings of the Tenth Conference on Artificial Intelligence for Applications","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129200804","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：