{"title":"经过验证的程序支持环境","authors":"W. D. Young","doi":"10.1145/99569.99839","DOIUrl":null,"url":null,"abstract":"The stated purpose of the International Workshop on Formal Methods in Software Development is to “explore key issues and promising research directions in the development and maintenance of dependable, adaptable, and efficient software.” In this position paper we contend that a promising approach toward the development of highly reliable software systems is the construction of programming environments which are both highly supportive of the software development process and formally verified.","PeriodicalId":429108,"journal":{"name":"Formal Methods in Software Development","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Verified program support environments\",\"authors\":\"W. D. Young\",\"doi\":\"10.1145/99569.99839\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The stated purpose of the International Workshop on Formal Methods in Software Development is to “explore key issues and promising research directions in the development and maintenance of dependable, adaptable, and efficient software.” In this position paper we contend that a promising approach toward the development of highly reliable software systems is the construction of programming environments which are both highly supportive of the software development process and formally verified.\",\"PeriodicalId\":429108,\"journal\":{\"name\":\"Formal Methods in Software Development\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1990-04-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Formal Methods in Software Development\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/99569.99839\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Formal Methods in Software Development","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/99569.99839","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The stated purpose of the International Workshop on Formal Methods in Software Development is to “explore key issues and promising research directions in the development and maintenance of dependable, adaptable, and efficient software.” In this position paper we contend that a promising approach toward the development of highly reliable software systems is the construction of programming environments which are both highly supportive of the software development process and formally verified.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
