科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
胡旷; 董广智; 田勇; 柳军飞;
中国科学院软件研究所;
北京;
100080;
软件过程; 过程模型; 验证工具; 语义规则; 可扩展标记语言;
机译:集成验证系统(EVS):一种用于验证离散位置的水文气象和水文变量集合预报的软件工具
机译:Telarm软件包作为一种技术工具,用于验证分销网络中的智能电网系统元素的行为6-35 kV
机译:PTM MarkerFinder,一种用于检测和验证带有翻译后修饰的肽段光谱的软件工具
机译:一种新的用于软生物材料支架的粘弹性分析工具,已通过脱细胞和天然猪心脏组织的实验结果验证
机译:根据进化生物学和软件进化的基础设计的一种新的软件过程模型。
机译:半自动动脉瘤测量软件的验证和初始应用:一种评估体积包装衰减的工具
机译:生物过程模型校准的最佳实验设计:经过验证的软件工具箱
机译:一种用于定制软件过程模型的信息内容的方法
机译:时基服务验证软件一种软件交付框架,用于验证由专业服务提供商按时计费的活动。该软件系统存储在互联网云中或内部,可以安全地集中来自相互信任的证据来源的增量时间计费的度量,以确保所有各方都可以验证其参与的成果。
机译:系统和软件开发过程模型的形成和验证方法,包括控制元模型的一致性和模型相对于元模型的一致性,以及控制对模型特定规则的遵循
机译:道路资产所有者/经理,地方政府,州政府和联邦政府是目标市场。提供一种服务和软件,可提供道路网络的道路资产地理数据日志,包括不受干扰的地质取芯,目的是提供地下地理数据以供将来参考。这将包括道路路面基层/结构层和路基土壤测试数据。该数据将提供用于桌面设计的平台以及用于验证与道路资产管理相关的假设的工具/方法,例如,消费比率和生命周期评估等
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。