2) analog recording dynamic analyzer
模拟记录动态分析程序;模拟记录动态分析仪
3) reactgraph
程序分析记录纸
4) modal analysis program
模态分析程序
6) dynamically analyzing of program
程序动态分析
1.
In this paper,the notation and method of design by contract was described,then the process and the train of thought of dynamically analyzing of program based on the con- tract was sho.
在当今信息社会中,程序质量是一个具有重要意义的热点问题,基于契约的程序设计是提高程序质量的重要且有效的技术,但是形式化契约的制定是一件十分困难的工作,因此软件质量保证问题一直是令人困扰的难题,本文介绍契约式程序设计的基本概念与方法,并在此基础上,提出利用契约进行程序动态分析的主要思路及其基本过程并给出简单实例,从一种新的维度来思考保障软件质量的方法。
补充资料：模拟记录
分子式：
CAS号：
性质： 将声音电平或像频率等连续的信号波形按原样，依磁通随时间变化的形式进行记录的技术称模拟记录。其特点是信号电平的变化或频率的变化对时间的连续性。模拟记录可分为无调制记录和调制记录。普通录音机与录像机均为模拟记录。
CAS号：
性质： 将声音电平或像频率等连续的信号波形按原样，依磁通随时间变化的形式进行记录的技术称模拟记录。其特点是信号电平的变化或频率的变化对时间的连续性。模拟记录可分为无调制记录和调制记录。普通录音机与录像机均为模拟记录。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条