...
机译:设计和检查Ada的编码标准
Adalog, 2 rue du Docteur Lombard,92130 Issy-Les-Moulineaux, France;
Ada; coding standard; checking tools;
机译:设计和检查Ada的编码标准
机译:通过代码转换和标准字节码验证来检查Java字节码中的安全信息流
机译:设计具有最小门延迟的N分之一码的完全自检校验器的通用技术
机译:设计和检查Ada的编码标准
机译:设计建筑围护结构时自动进行代码合规性检查
机译:Psycuradat:设计面向用户的行为心理研究数据的策策标准
机译:通过代码转换和标准字节码验证检查Java字节码中的安全信息流
机译:检查工程设计符合规范和标准的软件概念。