×
尼尔斯·维曼

面向大规模维护改造的轻量级检查。 （英语） Zbl 1073.68600号

科学。计算。程序。 57，第2期，129-163（2005）。
总结：我们提出了一种轻量级、实用的方法来检查大规模维护转换。我们对转换工具和转换后的源代码进行了检查，并使用实际转换的示例对其进行了说明。我们的方法不是一种成熟、正式的方法，但为转换正确性提供了间接证据，并已应用于工业Cobol系统的大规模维护。

引用于1文件

MSC公司：

68N99型 软件理论

关键词：

大规模维护;转换;轻量级检查

软件：

钴
PDF格式BibTeX公司 XML格式引用
\textit{N.Veerman}，科学。计算。程序。57，第2号，129--163（2005；Zbl 1073.68600）
全文： 内政部