プログラム検証中文是什么意思

• 程序检验

• "プログラム"中文翻译    (英) program 程序;(电算)处理手续;演奏节目表;纲领;计划
• "検証"中文翻译    けんしょう3 0 検 証 【名】 【他サ】 验证;查证
• "プログラムの検証" 中文翻译 :    程序验证
• "プログラム検査用条件" 中文翻译 :    程序检查条件
• "プログラム検討決定" 中文翻译 :    程序研究决定
• "プログラム" 中文翻译 :    (英) program 程序;(电算)处理手续;演奏节目表;纲领;计划
• "プログラム名" 中文翻译 :    程序名
• "主プログラム" 中文翻译 :    しゅ program主程序。
• "副プログラム" 中文翻译 :    ふく program子程序。
• "プログラムドラム" 中文翻译 :    程序鼓
• "かきんプログラム" 中文翻译 :    记帐程序；会计程序
• "かこうプログラム" 中文翻译 :    加工程序
• "かんさプログラム" 中文翻译 :    检查程序
• "かんしプログラム" 中文翻译 :    管理程序；执行程序；监控程序
• "かんりプログラム" 中文翻译 :    执行程序；管理程序；监控程序；控制程序
• "ぎじプログラム" 中文翻译 :    伪程序
• "けんさプログラム" 中文翻译 :    试验程序；检验程序；试验计划
• "けんしプログラム" 中文翻译 :    算后检查程序
• "げんしプログラム" 中文翻译 :    源程序；原始程序
• "げんプログラム" 中文翻译 :    源程序；原始程序
• "しえんプログラム" 中文翻译 :    支援程序；后援程序；支持程序；备用程序
• "しめいプログラム" 中文翻译 :    任务计划
• "しゅプログラム" 中文翻译 :    主程序
• "しょりプログラム" 中文翻译 :    处理程序
• "にんかプログラム" 中文翻译 :    特许程序

• 極小モデルの概念は，論理プログラミング，演えきデータベース，プログラム検証等で重要である。
  极小模式的概念，在逻辑程序设计、演绎数据基础、程序检验中是很重要的。
• この形式的体系は，プログラム検証で広く用いられるＨｏａｒｅの形式的体系を参考にしたものである．
  在这个形式体系中，把广泛用于程序验证的Ｈｏａｒｅ的形式体系做为参考。
• 一方で，我々はステートチャートをＴＳＥへ変換することによって，Ｈｏａｒｅのプログラム検証と同様の検証が行えることを示した．
  另一方面，我们根据ＴＳＥ转换状态图，举出能够进行与Ｈｏａｒｅ的程序验证同样的验证。
• そして，Ｈ　ｏａｒｅのプログラム検証と同様に，ＴＳＥの前後に事前表明と事後表明を与えて，本文で提案する形式的体系を用いて証明を行う．
  接着，与Ｈ　ｏａｒｅ的验证程序一样，ＴＳＥ前后给予事前表明和事后表明，用本文提议的用形式体系来证明。
• Ｄｉｊｋｓｔｒａのｇｏｔｏ文有害説とそれに引き続く構造的プログラミングの提唱以降，ｇｏｔｏ文の使用に関する問題は長く議論されてきたが，ｇｏｔｏ文の使用法に関しての理論的裏付けを持つ研究としては，逐次的プログラムの制御フローは３基本構造（順次接続，条件分岐，反復）のみで表現可能であるからｇｏｔｏ文を用いたプログラムは３基本構造のみによる等価なプログラムに書き換えられる，という結果に基づいたＭｉｌｌｓらのｇｏｔｏ文排斥論以外は皆無であり，Ｄｉｊｋｓｔｒａ本来のプログラムの正しさを示す手段としてのプログラムの構造化という観点でのｇｏｔｏ文の使用の是非は，プログラム検証論の立場から考察されなかった．
  自Ｄｉｊｋｓｔｒａ提出ｇｏｔｏ句有害说以及之后的结构性编程（理论）以来，ｇｏｔｏ句使用的问题被议论了很长时间，但是关于ｇｏｔｏ句使用方法的、具有理论依据的研究仅有Ｍｉｌｌｓ等人的ｇｏｔｏ排斥论。该理论所依据的是，渐次性程序控制流可以只用３个基本结构（顺次接续、条件分支、反复）来表达，因此运用ｇｏｔｏ句的程序可以改编成由３个基本结构构成的等价程序等研究结果。还没有研究从程序验证论的立场出发，对作为显示Ｄｉｊｋｓｔｒａ本来的程序正确性手段的程序结构化角度的ｇｏｔｏ句使用正误（问题）进行考察。

• プログラム検証の英語1. program certification 2. program verification