退出
我的积分:
中文文献批量获取
外文文献批量获取
程瑞军; 赵林; 何丽芸;
北京交通大学电子信息工程学院 100044 北京;
北京交通大学轨道交通控制与安全国家重点实验室 100044 北京;
列车控制系统; 需求规范; 形式化方法; UML; 属性规范语言;
机译:关于母语(英语)对信息系统需求分析方法的影响:以UML静态模型,GTA,概念数据建模(CDM)为例
机译:RE-UML:一种基于组件的系统需求分析语言
机译:迈向基于属性的需求理论:将系统需求构建为半格
机译:基于UML的IoT系统需求规范提案
机译:使用质量属性来识别和指定嵌入式系统需求。
机译:UMLS索引系统在基于WWW的数字图像索引工具中的应用。
机译:面向目标的模式,用于基于UmL的嵌入式系统需求建模
机译:将基于UmL的形式化规范,验证和验证应用于太空飞行软件和防御软件
机译:通过场景生成,基于CSP的面向语法的模型构建以及R2D2C系统需求转换来提供更完整的系统需求规范的自动机学习算法和过程
机译:将系统需求的语义相关自然语言规范分组到集群中
机译:在系统需求规范中管理描述符的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。