computational linguistics; formal specification; knowledge based systems; natural languages; NTMS model; UML; application domain; automatic mapping; behavioral aspects; common conceptual models; conceptual predesign model; linguistic analysis; linguistic aspects; nat;
机译:一种有效的方法,用于审查Web应用程序的敏捷要求规范中的安全相关方面
机译:需求规范的测试方面
机译:面向方面的威胁驱动安全要求规范
机译:需求规范中动力学的语言方面
机译:刺激响应需求规范符号:一种通过经验评估的需求规范符号。
机译:将需求语句划分为各个需求的方法以及可以描述各个需求的需求规范编辑器的开发
机译:要求规格的语言模式和语言样式:专注于数据实体
机译:伽马射线天文台(GRO)动力学模拟器要求和数学规范,修订版1