...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Software Engineering, IEEE Transactions on >Functional programming, formal specification, and rapid prototyping
【24h】

Functional programming, formal specification, and rapid prototyping

机译：函数式编程，正式规范和快速原型制作

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Functional programming has enormous potential for reducing the high cost of software development. Because of the simple mathematical basis of functional programming it is easier to design correct programs in a purely functional style than in a traditional imperative style. We argue here that functional programs combine the clarity required for the formal specification of software designs with the ability to validate the design by execution. As such they are ideal for rapidly prototyping a design as it is developed. We give an example which is larger than those traditionally used to explain functional programming. We use this example to illustrate a method of software design which efficiently and reliably turns an informal description of requirements into an executable formal specification.
机译：函数式编程具有巨大的潜力，可以降低软件开发的高成本。由于函数式编程的数学基础很简单，因此以纯函数式风格设计正确的程序要比传统的命令式风格容易。在这里，我们认为功能程序将软件设计的正式规范所需的清晰度与通过执行来验证设计的能力结合在一起。因此，它们是在开发设计时快速制作原型的理想选择。我们给出一个比传统上用于解释函数式编程的示例更大的示例。我们使用此示例来说明一种软件设计方法，该方法可以有效且可靠地将需求的非正式描述转换为可执行的正式规范。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号