プログラムの検証中文是什么意思
发音:
用"プログラムの検証"造句"プログラムの検証"中国語の意味
中文翻译手机版
- 程序验证
- "プログラム"中文翻译 (英) program 程序;(电算)处理手续;演奏节目表;纲领;计划
- "の"中文翻译 ~~的
- "検証"中文翻译 けんしょう3 0 検 証 【名】 【他サ】 验证;查证
- "プログラム検証" 中文翻译 : 程序检验
- "プログラムの出口" 中文翻译 : 程序出口
- "プログラムの実行" 中文翻译 : 程序执行
- "プログラムの終了" 中文翻译 : 程序终止
- "プログラムの行動" 中文翻译 : 程序行为
- "プログラムの要素" 中文翻译 : 程序单元
- "プログラムののこうどう" 中文翻译 : 程序行为
- "プログラムののじっこう" 中文翻译 : 程序执行
- "プログラムののでぐち" 中文翻译 : 程序出口
- "プログラムののようそ" 中文翻译 : 程序单元
- "プログラムの一時修正" 中文翻译 : 程序的临时修改
- "プログラムの妥当性検査" 中文翻译 : 程序证实(程序的正确性已检查)
- "プログラムの正当性" 中文翻译 : 程序正确性
- "プログラム" 中文翻译 : (英) program 程序;(电算)处理手续;演奏节目表;纲领;计划
- "せいぎょプログラムののきのう" 中文翻译 : 控制程序的功能
- "プログラムののいちじしゅうせい" 中文翻译 : 程序的临时修改
- "プログラムののけんしょう" 中文翻译 : 程序验证
- "プログラムののしゅうりょう" 中文翻译 : 程序终止
- "プログラムののせいとうせい" 中文翻译 : 程序正确性
- "プログラムののだとうせいけんさ" 中文翻译 : 程序证实(程序的正确性已检查)
- "計算機プログラムの構造と解釈" 中文翻译 : 计算机程序的构造和解释
- "プログラム名" 中文翻译 : 程序名
例句与用法
- すなわち,プログラムの検証方法として関数等価性を用いる場合,本来はプログラム関数を厳密な形で求めなければならない.
即,采用函数等价性作为程序验证法时,本来必须用严密的形式求出程序函数。 - 以上のとおり,本章での注釈除去問題のプログラムの場合,状態変数の導入でgoto文を除きMills流の意味で「構造化」したプログラムの検証は状態遷移をgoto文で表したプログラムの検証と比べ何ら簡単にならない.
如上所述,本章中的注释除去问题程序,利用导入状态参数去除goto语句并且在Mills意义上的“结构化”程序的验证与用goto语句表达的验证相比并不简单。 - 以上のとおり,本章での注釈除去問題のプログラムの場合,状態変数の導入でgoto文を除きMills流の意味で「構造化」したプログラムの検証は状態遷移をgoto文で表したプログラムの検証と比べ何ら簡単にならない.
如上所述,本章中的注释除去问题程序,利用导入状态参数去除goto语句并且在Mills意义上的“结构化”程序的验证与用goto语句表达的验证相比并不简单。 - 何より「構造化」にともない導入されたwhileループの不変条件がgoto文を用いたプログラムの検証での知識(各状態に対する事前条件)なくしては導けない,ということは「構造化」されたプログラムを検証するうえでの致命的な問題である.
不管怎样,在验证“结构化”程序时的致命问题是,伴随着“结构化”导入的while回路的不变条件,如果没有使用了goto语句程序验证中的知识(针对各种状态的先决条件)便无法引导。 - さて,Mills流の構造的プログラミングが,なぜ,構造的プログラミングとgoto文不使用とを結び付けたかの理由を考えると,技術的な理由の1つとしては,彼がプログラムの検証方法として関数等価性を用いていること28),30),31),33)をあげることが可能である.
Mills式的结构性编程之所以把结构性编程和不使用goto句结合起来,其技术上的一个原因是,他采用了函数等价性作为程序验证法28)、30)、31)、33)。 - 以上がgoto文論争と構造的プログラミングに関する歴史的な概観であるが,これで分かるとおり,Di―jkstraが提起したgoto文の使用法に関しては,膨大な論争があったにもかかわらず,提起から30年以上を経てもB¨ohmらに代表されるような制御フローの表現力のみに関する研究を超えたプログラムの検証の容易さ,という観点からの検討は皆無といってよい.
以上是关于goto句争论和结构性编程的历史概观,从中可知,Dijkstra提出的goto句使用法问题,虽然引起了广泛争论,但是自提出以来已经30多年了,从验证程序的容易性角度进行探讨并且超越B¨ohm代表的只对控制流表现力的研究,这样的探讨可以说一个也没有。
相关词汇
相邻词汇
プログラムの検証的中文翻译,プログラムの検証是什么意思,怎么用汉语翻译プログラムの検証,プログラムの検証的中文意思,プログラムの検証的中文,プログラムの検証 in Chinese,プログラムの検証的中文,发音,例句,用法和解释由查查日语词典提供,版权所有违者必究。