Correctness By Construction: Better Can Also Be Cheaper
Correctness By Construction: Better Can Also Be Cheaper
复制标题
构建的正确性：更好也可以更便宜
DOI：
--
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
Peter Amey
中科院分区：
文献类型：
--
作者：
Peter Amey
《国防软件工程杂志》2002年3月至1999年12月，David Cook对编程语言的发展进行了合理的历史分析，并考虑了语言在软件开发过程中所扮演的角色。这篇文章很有价值，因为它表明编程语言的发展不足以确保成功；然而，由此得出它们不是成功所必需的结论是危险的。Cook正确地指出了其他需要解决的问题，如需求捕获、规范、验证和确认（V&V）。也许我们看待编程语言时，不仅要看它们编写特定设计代码的能力，还要看这种语言对开发过程中其他一些重要方面的影响。关键的概念是精确语言或语言子集的好处。如果术语子集让任何人觉得“哦，不，不是另一种编码标准”，那么请继续阅读，这个主题比这有趣得多，也有用得多！
24 CROSSTALK The Journal of Defense Software Engineering March 2002 I December 1999 CrossTalk [3], David Cook provided a well-reasoned historical analysis of programming language development and considered the role languages play in the software development process. The article was valuable because it showed that programming language developments are not sufficient to ensure success; however, it would be dangerous to conclude from this that they are not necessary for success. Cook rightly identifies other issues such as requirements capture, specifications, and verification and validation (V&V) that need to be addressed. Perhaps we need to look at programming languages not just in terms of their ability to code some particular design but in the influence the language has on some of these other vital aspects of the development process. The key notion is that of the benefit of a precise language or language subset. If the term subset has set anyone thinking “oh no, not another coding standard,” then read on, the topic is much more interesting and useful than that!