搜索筛选:
搜索耗时2.4814秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
类      型:
[学位论文] 作者:黄春浩, 来源:南京大学 年份:2004
软件度量学作为软件工程的一个研究方向,可用于软件开发过程中定量地对软件质量进行控制,并对最终软件产品进行评价和验收。随着软件应用规模的日益扩大和软件应用环境的日益复......
[期刊论文] 作者:赵洋,黄春浩,吕波,潘金贵, 来源:计算机工程与应用 年份:2003
对程序进行静态分析是程序检查的一种有效的手段,而建立程序模型是对程序进行自动分析的基础。基于对象、域和型的层次式程序表示模型(OSTPM)是以域为基础的层次式的程序信息...
[期刊论文] 作者:黄春浩,赵洋,蔡志旻,潘金贵, 来源:计算机应用研究 年份:2003
介绍了描述程序信息的两种模型(EPOM和OSTPM)以及它们之间的联系,并举例介绍了如何利用这两种模型进行程序的静态分析检测。...
[期刊论文] 作者:黄春浩,赵洋,蔡志父,潘金贵, 来源:计算机应用研究 年份:2004
介绍了描述程序信息的两种模型(EPOM和OSTPM)以及它们之间的联系,并举例介绍了如何利用这两种模型进行程序的静态分析检测....
相关搜索: