Laboratory for Internet Software Technologies, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China;
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China;
Graduate Univers;
software engineering; software process; inconsistency; verification; algebraic; PCSEE; TRISO/ML;
机译:管理数据网格环境中的不一致性:一种实用方法
机译:使用基于本体规则的方法分析软件产品线中的不一致之处
机译:通过使用基于本体规则的方法分析特征模型中的不一致之处来提高软件产品线的质量
机译:在硬件/软件分区环境中组合进程的代数方法
机译:使用硬件软件代码签名方法管理将来的内存层次结构中的数据局部性。
机译:数据集成以推断空间过程:一种基于模型的方法来测试和解决数据不一致问题
机译:管理软件过程不一致的代数方法⋆,⋆⋆
机译:信息技术。国防后勤局的软件采购流程不一致会增加项目风险。