...
机译:基于优先合并处理分布式软件需求规范中的不一致
School of Mathematical Sciences Peking University Beijing 100871, P.R.China;
School of Electronics Engineering and Comp. Sci., Peking University Key Laboratory of High Confidence Software Technologies, Ministry of Education Beijing 100871, P.R.China;
School of Electronics, Electrical Engineering and Computer Science Queen's University Belfast, BT7 1NN, UK;
School of Electronics, Electrical Engineering and Computer Science Queen's University Belfast, BT7 1NN, UK;
Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing 100080, P.R.China;
School of Electronics, Electrical Engineering and Computer Science Queen's University Belfast, BT7 1NN, UK;
inconsistency; requirements engineering; prioritized merging; local prioritization;
机译:一种基于责备的方法来生成处理软件需求不一致的建议的方法
机译:多视角软件需求中处理不一致性的基于优先级的协商方法
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:一种基于合并的方法来处理本地优先软件需求中的不一致问题
机译:使用属性语法为分布式软件系统开发需求和设计规范的方法。
机译:MERGE:一个软件包用于从EMBL和GenBank集合开始生成单个数据库。
机译:识别可接受的共同提案,用于处理不一致的软件要求
机译:用于识别Diagrammatic软件需求规范中的不一致的自动方法