退出
我的积分:
中文文献批量获取
外文文献批量获取
樊晓聪; 徐殿祥;
南京大学计算机科学技术系计算机软件新技术国家重点实;
软件工程; Agent; 人工智能; AOP;
机译:AGENT-TH方案:新的热力学(TH)规范与AGENT中子学规范相结合,用于轻水反应堆建模和分析
机译:规范多Agent系统的语义和验证
机译:软件工程:规范,实施,验证
机译:面向视频游戏开发的软件工程方法论:面向对象作为规范分析的一种方法
机译:面向对象的CAD数据库支持,可在计算机辅助软件工程环境中实现软件可重用性
机译:HL7-OMG医疗保健服务规范项目:动机方法论和可交付成果以实现语义可互操作的面向服务的医疗保健体系结构
机译:面向软件产品验证和验证的服务提供模型的规范和实现
机译:面向对象软件工程中形式化规范的验证与验证
机译:面向对象规范的执行验证设备
机译:面向软件工程任务的软件开发人员的认知选择
机译:面向概念的软件工程系统以及用于识别,提取,组织,推论和查询软件系统事实的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。