退出
我的积分:
中文文献批量获取
外文文献批量获取
郭福顺; 陈学锋;
不详;
软件分析; 抽象结构;
机译:SystemC中建模的硬件/软件协同设计的自动分析和抽象
机译:支持Tavi“3Mensio结构心”的自动分析成像软件
机译:使用软件“生物液体应用”在Advia Advia 2120 / 2120i血液学分析仪上使用软件“生物液体应用”来分化体液中白细胞的自动分析
机译:关于软件体系结构表示形式抽象级别对体系结构级软件理解的影响的实证研究
机译:通过标准系统支持层和体系结构抽象硬件/软件边界。
机译:评估数据抽象助手一种用于系统审查期间数据抽象的新型软件应用程序:随机对照试验的方案
机译:从软件工程中的观点和抽象层面看软件体系结构中的多视点/多层次结构。
机译:软件组件组装所需的一些设计约束:将原子抽象类型合并到一般结构化的抽象类型中
机译:用于测试软件和/或软件测试过程的方法包括形成测试软件的测试组件,该测试软件的测试组件由不同抽象编程级别的组件来测试软件的软件组件。
机译:验证由软件组件组装而成的系统的方法,包括将软件组件整合到系统抽象中进行验证,在其中加载软件组件的验证条件
机译:用于配置软件单元的方法,涉及利用抽象描述来配置软件单元,其中仅提供软件单元的最小必需数据。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。