{"title":"代数规范:艺术的状态和开放的观点","authors":"S. Kaplan","doi":"10.1109/ICCSSE.1989.72728","DOIUrl":null,"url":null,"abstract":"The advantages of formal specifications are many: they avoid ambiguities, inconsistencies, and incompleteness, allow the introduction of automated or semiautomated tools (for verification, prototyping, and systematic development), etc. Among different approaches to formal specifications, algebraic specifications have had a particular success. The purpose of this study is to examine the state of the art for this approach, its main achievements, and the principal problems still to be solved and to outline future perspectives in the field.<<ETX>>","PeriodicalId":448488,"journal":{"name":"[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering","volume":"117 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Algebraic specifications: state of the art and open perspectives\",\"authors\":\"S. Kaplan\",\"doi\":\"10.1109/ICCSSE.1989.72728\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The advantages of formal specifications are many: they avoid ambiguities, inconsistencies, and incompleteness, allow the introduction of automated or semiautomated tools (for verification, prototyping, and systematic development), etc. Among different approaches to formal specifications, algebraic specifications have had a particular success. The purpose of this study is to examine the state of the art for this approach, its main achievements, and the principal problems still to be solved and to outline future perspectives in the field.<<ETX>>\",\"PeriodicalId\":448488,\"journal\":{\"name\":\"[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering\",\"volume\":\"117 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1989-06-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICCSSE.1989.72728\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCSSE.1989.72728","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Algebraic specifications: state of the art and open perspectives
The advantages of formal specifications are many: they avoid ambiguities, inconsistencies, and incompleteness, allow the introduction of automated or semiautomated tools (for verification, prototyping, and systematic development), etc. Among different approaches to formal specifications, algebraic specifications have had a particular success. The purpose of this study is to examine the state of the art for this approach, its main achievements, and the principal problems still to be solved and to outline future perspectives in the field.<>
![[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
