退出
我的积分:
中文文献批量获取
外文文献批量获取
郑跃斌;
北京华夏新达软件股份有限公司;
北京;
100085;
企业流程; 需求验证; 软件工程;
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:基于形式化需求的模型生成
机译:基于模式的计算机辅助需求形式化
机译:通过形式化的功能类型加速企业流程建模
机译:使用形式化分析和基于搜索的技术来解决需求级别的网络物理系统的保证
机译:在智能设备中使用Sierpinski三角形的基于分形的身份验证技术
机译:嵌入式实时系统中基于观察者的需求验证技术
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术
机译:基于有限状态机的操作系统需求层形式化建模方法和装置
机译:分析形式化需求和定位错误的可伸缩方法
机译:用于分析形式化需求和定位错误的可扩展方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。