科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
何克清; 金明源;
不详;
软件开发; SOKM/L语言; 知识表示;
机译:基于正式的并发模型的体系结构描述语言,用于软件开发工具的综合
机译:知识建模者描述语言(KMDL)-用于对知识密集型业务流程进行建模的语言
机译:知识建模器描述语言(KMDL),用于对知识密集型业务流程进行建模
机译:软件开发支持环境中过程描述语言规范的研究
机译:使用规范和描述语言实时进行软件开发(Casper 2.0)。
机译:CIViCpy:用于CIViC知识库的Python软件开发和分析工具包
机译:一种基于形式并发模型的体系结构描述语言,用于合成软件开发工具
机译:用于编码设计知识的集成数据描述语言
机译:以电子设备描述语言测试设备的机器可读描述的方法,涉及通过组件自动检查语法和/或语义错误,以基于知识进行知识处理
机译:用于软件开发企业的软件测试设计和执行方法,涉及到对软件测试领域和组成测试单元的研究,其中对测试材料中的必要性进行研究
机译:拉伸和接收织构过程中形成聚酯单胞,织构聚酯单键的方法所采用的形成和缠绕聚酯单胞的方法农业开发音频系统软件开发人员软件开发软件开发软件系统软件开发软件软件开发软件软件开发软件软件开发软件软件开发软件
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。