退出
我的积分:
中文文献批量获取
外文文献批量获取
袁晓东; 李宣东;
电力部电力自动化研究院仿真室;
南京大学计算机科学与技术系;
面向对象; 形式化设计; COOZ; 软件工程;
机译:面向对象的分析建模的显式形式化/详细说明/过程:适用于领域用户,他们是应用程序领域(例如模拟/科学技术计算/分析/设计)的专家,并且面向对象。
机译:面向对象的分析和设计中的用例建模期间的形式化和数据抽象
机译:工厂面向对象的模型形式化―案例研究:HDS工厂设计
机译:通过CASE支持的外部设计和面向对象的规范确定需求并进行形式化
机译:带对象的设计:一种面向对象的设计方法。
机译:执行逻辑计算的细菌联盟的形式化设计过程
机译:一种用于自我管理类风湿关节炎患者身体活动的移动互联网服务:在需求规格说明阶段推进共同设计过程中的挑战
机译:将形式化方法和面向对象设计应用于现有飞行软件
机译:根据规格说明设计功能模块的设计支持装置,设计支持方法和计算机产品
机译:软件设计需求提取支持方法,软件设计需求决策支持方法,软件设计支持方法和程序
机译:面向对象的程序设计支持装置和面向对象的程序设计支持方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。