退出
我的积分:
中文文献批量获取
外文文献批量获取
孙伟伟; 黄海宁;
复旦大学计算机系;
软件重用; 代数规格说明; 弱精确匹配; 构件;
机译:DUSM:一种基于规范用例和屏幕模型的需求规格说明和细化方法
机译:开发基于集成计算机信息系统的需求分析和规格说明阶段的方法,以实现认证的工厂可追溯性
机译:一个形式化基于规格说明类测试的方法
机译:在需求规格说明阶段通过重用通用的不完整模型来支持软件可变性
机译:在基于代数物理的问题解决过程中促进案例重用。
机译:基于体素和基于代数公式的方法通过3D旋转数字减影血管造影术定量脑动脉瘤体积的准确性
机译:基于模型的自动化嵌入式软件构件尺寸估计方法
机译:用于过程仿真模型的配置和使用的软件架构。软件构件技术与基于XmL的方法
机译:基于Hooji代数原理的多值非逻辑两阶段连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两阶段连接方法,基于Hooji代数的多值双逻辑两步连接方法代数,基于Hooji代数原理的多值偶数逻辑和非逻辑两阶段连接方法,基于Hooji代数原理的多值逻辑补全电路,多值缓冲回路以及用于输入的折线
机译:基于Hooji代数原理的多值非逻辑两级连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两级连接方法,基于Hooji代数的多值非逻辑两步连接方法代数,基于Hooji代数原理的多值偶数和非逻辑两阶段连接方法,基于Hooji代数原理的完全值电路的多值完全性和多值缓冲电路
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。