程序标注相关论文
计算机软件在快速发展给人们带来方便,但同时由于软件规模日趋庞大、形态日趋复杂,而使得许多软件本身的可信性变得越来越脆弱。传......
对多层可信软件代码中程序标注的准确性的验证,能够有效保证多层可信软件的正常运行。对程序标注准确性进行验证,需要建立软件不同......
