Artificial intelligence; Acquisition; Requirements; Programming languages; Coherence; Computer programs; Internal; Modification; Parts;
机译:根据非正式要求制定正式规格
机译:非正式和正式需求规范语言:弥合差距
机译:SNL2Z:用于将非正式结构化软件规范转换为正式规范的工具科学出版物
机译:结合正式规范方法和非正式规范方法进行需求分析
机译:使用两级语法和上下文自然语言处理,将需求文档自动转换为可执行的正式规范。
机译:不引人注目的监测要求支持家庭痴呆症护理:正规和非正式护理人员之间的定性研究
机译:Shlaer-Mellor方法的形式分析:针对正式和非正式需求规范技术的工具包