退出
我的积分:
中文文献批量获取
外文文献批量获取
全炳哲; 金淳兆;
不详;
软件工程; 面向对象软件; 形式规格说明;
机译:面向对象的分析建模的显式形式化/详细说明/过程:适用于领域用户,他们是应用程序领域(例如模拟/科学技术计算/分析/设计)的专家,并且面向对象。
机译:使用基于搜索的技术预测面向对象软件的软件缺陷
机译:一种用于全球软件开发的软件需求规格说明和验证方法
机译:在面向对象软件中捕获和评估体系结构质量的技术,工具和形式主义
机译:从面向对象系统中恢复软件层:形式化作为优化问题=
机译:基于形式面向对象和面向属性的概念格的形式决策上下文中的规则获取
机译:将面向对象的软件测试技术扩展到代理面向代理的软件测试。
机译:在面向对象的形式转换系统中明确建立分层异构软件体系结构
机译:支持面向对象的软件组件的变更的方法,其存储装置和利用该对象存储的程序的存储介质来支持面向对象的软件组件的变更
机译:在面向对象的代码中检测退化的软件形式
机译:基于元模型形式的生成面向对象软件的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。