退出
我的积分:
中文文献批量获取
外文文献批量获取
李晔;
西安理工大学;
制造企业; 信息管理系统; 形式化需求分析; 构件; 专家系统;
机译:中文KOS的形式化语义描述标准族(Ⅱ):分类方案共享服务系统的研究与实现
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:信息需求的语言:区分有意识和形式化的信息需求
机译:需求规格的正确形式化:用于构建形式化模型的V模型
机译:用于传达UML状态图的形式化执行语义和严格的分析方法。
机译:一种用于多实验表达数据的共识聚类的形式化概念分析方法
机译:基于构件和刀具路径定向的铣削能量需求减少
机译:HaRDmaN可比性分析方法指南。第3卷。需求分析。第2步 - 人力需求分析。第3步 - 培训资源需求分析。第4步 - 人员需求分析
机译:基于有限状态机的操作系统需求层形式化建模方法和装置
机译:分析形式化需求和定位错误的可伸缩方法
机译:用于分析形式化需求和定位错误的可扩展方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。