{"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}
引用次数: 0
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.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
