波形描述语言:从实现到规范

2001 MILCOM Proceedings Communications for Network-Centric Operations: Creating the Information Force (Cat. No.01CH37277) Pub Date : 2001-10-28 DOI:10.1109/MILCOM.2001.985791

E. Willink, E. Willink

{"title":"波形描述语言:从实现到规范","authors":"E. Willink, E. Willink","doi":"10.1109/MILCOM.2001.985791","DOIUrl":null,"url":null,"abstract":"Many current research and development activities make significant contributions to the quality of some particular implementation approach. We describe the waveform description language, in which the best characteristics of a variety of distinct programming approaches are exploited so that standard implementation domain practices can be applied in the specification domain. A single WDL specification may be refined to support semi-automated conversion to a variety of implementations. A WDL specification avoids the ambiguities and contradictions characteristic of many conventional specifications with an underlying formality that remains accessible and familiar to programmers.","PeriodicalId":136537,"journal":{"name":"2001 MILCOM Proceedings Communications for Network-Centric Operations: Creating the Information Force (Cat. No.01CH37277)","volume":"509 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"18","resultStr":"{\"title\":\"The waveform description language: moving from implementation to specification\",\"authors\":\"E. Willink, E. Willink\",\"doi\":\"10.1109/MILCOM.2001.985791\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Many current research and development activities make significant contributions to the quality of some particular implementation approach. We describe the waveform description language, in which the best characteristics of a variety of distinct programming approaches are exploited so that standard implementation domain practices can be applied in the specification domain. A single WDL specification may be refined to support semi-automated conversion to a variety of implementations. A WDL specification avoids the ambiguities and contradictions characteristic of many conventional specifications with an underlying formality that remains accessible and familiar to programmers.\",\"PeriodicalId\":136537,\"journal\":{\"name\":\"2001 MILCOM Proceedings Communications for Network-Centric Operations: Creating the Information Force (Cat. No.01CH37277)\",\"volume\":\"509 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-10-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"18\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2001 MILCOM Proceedings Communications for Network-Centric Operations: Creating the Information Force (Cat. No.01CH37277)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/MILCOM.2001.985791\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2001 MILCOM Proceedings Communications for Network-Centric Operations: Creating the Information Force (Cat. No.01CH37277)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MILCOM.2001.985791","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 18

摘要

许多当前的研究和发展活动对某些特定执行方法的质量作出了重大贡献。我们描述了波形描述语言，其中利用了各种不同编程方法的最佳特征，以便标准实现领域的实践可以应用于规范领域。可以对单个WDL规范进行细化，以支持到各种实现的半自动转换。WDL规范避免了许多传统规范的模糊性和矛盾性，它具有程序员可以访问和熟悉的基本形式。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

The waveform description language: moving from implementation to specification

Many current research and development activities make significant contributions to the quality of some particular implementation approach. We describe the waveform description language, in which the best characteristics of a variety of distinct programming approaches are exploited so that standard implementation domain practices can be applied in the specification domain. A single WDL specification may be refined to support semi-automated conversion to a variety of implementations. A WDL specification avoids the ambiguities and contradictions characteristic of many conventional specifications with an underlying formality that remains accessible and familiar to programmers.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2001 MILCOM Proceedings Communications for Network-Centric Operations: Creating the Information Force (Cat. No.01CH37277)

自引率

0.00%

发文量