formal specification; natural languages; constrained natural language; global requirements model; model-driven mechanism; multiple requirement specifications; partial specifications; requirement analysis process; requirements documentation;
机译:需求规范中的需求模型和行为
机译:从自然语言需求规范中识别KAOS元素的模型(知识获取自动规范)
机译:组合式除湿机/冷却板的规格要求:全球规模分析
机译:从多个需求规范制作全球需求模型
机译:刺激响应需求规范符号:一种通过经验评估的需求规范符号。
机译:将需求语句划分为各个需求的方法以及可以描述各个需求的需求规范编辑器的开发
机译:从多个需求规范中生成全局需求模型
机译:全球可重新定位的海军潮汐/大气模拟系统软件要求规范(pCTides)