规约精化相关论文
介绍了一种新的支持算法设计自动化的形式化方法Designware,详细分析了其理论基础及规约精化机理,阐述了其半自动算法设计支撑系统......
介绍了美国Kestrel研究所的一种基于问题理论、算法理论和程序理论的规约精化思想，以及Kestrel如何应用这种思想渐进地形式化构造货......
用形式化方法开发软件是提高软件生产效率和可靠性的革命性途径,是实现软件自动化的决定性关键。文章介绍了一种新的支持作为软件......
