{"title":"对于编程语言标准来说，形式化方法是一件好事吗?为未来制定议程","authors":"M. Woodman","doi":"10.1109/SESS.1993.263958","DOIUrl":null,"url":null,"abstract":"The article questions the role of formal methods in the standardization of programming languages by examining the VDM-SL definition used in the Modula-2 standard, particularly in terms of the demands of the formal notation, the time taken to meet them and the size of the resultant document. Possible inadequacies of the formal notations used and in their applications are reviewed: the lack of generic specification and the occurrence of 'noise' is discussed. An agenda of work to be undertaken to facilitate the rapid production of formally defined language standards is proposed. A life-cycle for formally defined language standards is outlined which includes their testing. The need for the rapid production of standards is emphasized.<<ETX>>","PeriodicalId":145783,"journal":{"name":"Proceedings 1993 Software Engineering Standards Symposium","volume":"35 13 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Are formal methods a good thing for programming language standards? Setting an agenda for the future\",\"authors\":\"M. Woodman\",\"doi\":\"10.1109/SESS.1993.263958\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The article questions the role of formal methods in the standardization of programming languages by examining the VDM-SL definition used in the Modula-2 standard, particularly in terms of the demands of the formal notation, the time taken to meet them and the size of the resultant document. Possible inadequacies of the formal notations used and in their applications are reviewed: the lack of generic specification and the occurrence of 'noise' is discussed. An agenda of work to be undertaken to facilitate the rapid production of formally defined language standards is proposed. A life-cycle for formally defined language standards is outlined which includes their testing. The need for the rapid production of standards is emphasized.<<ETX>>\",\"PeriodicalId\":145783,\"journal\":{\"name\":\"Proceedings 1993 Software Engineering Standards Symposium\",\"volume\":\"35 13 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-08-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 1993 Software Engineering Standards Symposium\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SESS.1993.263958\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 1993 Software Engineering Standards Symposium","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SESS.1993.263958","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Are formal methods a good thing for programming language standards? Setting an agenda for the future
The article questions the role of formal methods in the standardization of programming languages by examining the VDM-SL definition used in the Modula-2 standard, particularly in terms of the demands of the formal notation, the time taken to meet them and the size of the resultant document. Possible inadequacies of the formal notations used and in their applications are reviewed: the lack of generic specification and the occurrence of 'noise' is discussed. An agenda of work to be undertaken to facilitate the rapid production of formally defined language standards is proposed. A life-cycle for formally defined language standards is outlined which includes their testing. The need for the rapid production of standards is emphasized.<>
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
