... formal derivation 形式误差 first derivation 一阶求导,一阶求微... direct derivation 直接推导 ...
基于30个网页-相关网页
This paper presents the steps of the formal derivation method of programs by the development of two problems.
以两个问题的程序开发为例说明了程序的形式推导方法的使用。
Whether the standard proof and formal derivation of the complex algorithmicprograms can be implemented is an important sign for checking if a formal method has vitality.
能否实现复杂算法程序的规范证明和形式推导是检验某种形式化方法有无生命力的重要标志。
应用推荐