Software engineering; Requirements; Specifications; Consistency; Symposia; Systems analysis; Cost reduction; Consistency checking; Scr(Software cost reduction); Notation;
机译:生成软件需求一致性检查模式:一种环境本体驱动的方法
机译:需求模型中用于一致性检查和推理的跟踪关系语义
机译:使用PVS形式验证SCR样式的软件需求规范的功能属性
机译:SCR样式要求规范的一致性检查
机译:使用答案集编程对自然语言时间要求进行一致性检查。
机译:临床指南获取和执行中的时间一致性检查:GLARE的方法
机译:SCR样式要求规范的一致性检查
机译:sCR样式要求规范的一致性检查。