退出
我的积分:
中文文献批量获取
外文文献批量获取
邹盛荣; 彭昱静; 郭忠伟; 刘春秋; 周塔; 卫丽; 顾爱华;
扬州大学,信息工程学院,江苏,扬州,225009;
需求获取; UML; 用例驱动; B方法; 形式化需求;
机译:形式化软件质量保证工具实施的事后分析:一个案例研究
机译:使用图形化软件过程建模形式化对软件工程过程进行形式化
机译:需求获取中的知识创造案例研究
机译:缩放自动验证:建立高完整性软件的案例研究和形式化IDE
机译:从物流软件到服务模式的转变:世卫组织在灾害和紧急情况下管理应急物资的新型服务驱动软件的案例研究
机译:将基于业务的技术文档中的话语映射到受控语言文本以进行需求获取的形式化
机译:利用形式化和半形式化软件建模方法开发目标识别系统
机译:需求获取系统,需求获取方法和需求获取程序
机译:在系统开发中支持需求获取的方法,需求获取支持系统和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。