反应系统的建模规约与验证

导出

摘要计算机科学建造人工制品，这些人工制品应为用户提供某些明确的服务。它们正确地完成所担负目的的行为规约是至关重要的。确定计算系统是否确实提供了由它的规约所描述的行为问题叫做正确性问题，它是计算机科学中最基本的问题。研究描述计算机模型及它们的规约，以及根据它们的规约建立系统正确性的方法（有可能是自动的），叫做算法验证。

作者 L.埃斯托

出处《国外科技新书评介》 2009年第5期9-10,共2页 Scientific & Technology Book Review

关键词反应系统算法验证规约计算机科学建模人工制品计算机模型计算系统

分类号 TP391.9 [自动化与计算机技术—计算机应用技术] TQ325.12 [化学工程—合成树脂塑料工业]

引文网络
相关文献

1陈乐凯,戴端.交互设计在人机界面设计中的应用研究[J].科技与生活,2012(8):233-233. 被引量：3
2胡协刚.练就软件开发真功夫[J].软件世界,2007(14):85-87.
3胡光华.软件过程建模中的新趋势[J].国外科技新书评介,2007(1):18-18.
4刘儒平.交互设计的未来Ⅱ[J].国外科技新书评介,2009(11):16-17.
5徐鹏鹏.从MicrosoftSurface中看交互设计[J].学问,2009(3):13-13.
6胡光华.软件概念模型的度量[J].国外科技新书评介,2007(1):19-20.
7刘派.交互设计与用户情感[J].美术向导,2011(5):50-52. 被引量：4
8梁日升.浅谈交互设计的设计思维[J].大众文艺（学术版）,2016(3):138-138. 被引量：4
9P.贝西尔（编）,胡光华.传感-运动系统中的概率推理与决策[J].国外科技新书评介,2010(3):20-20.
10丁湘陵,王志刚.基于B方法的体系结构描述语言的形式化研究[J].计算机工程与科学,2013,35(1):100-106. 被引量：2

国外科技新书评介

2009年第5期

浏览历史

内容加载中请稍等...

反应系统的建模规约与验证

相关作者

相关机构

相关主题

浏览历史