University of Texas at DallasMS 31 P.O. Box 830688Richardson, TX, USA 75083-0688kcooper@utdallas.edu;
University of British Columbia2356 Main MallVancouver, BC, Canada V6T 1Z4mito@ece.ubc.ca;
机译:自动形式的结构性自然语言要求
机译:迈出了半结构化自然语言规范的新模板
机译:从自然语言需求规范中识别KAOS元素的模型(知识获取自动规范)
机译:将结构化自然语言的正式化方法与逻辑表达式进行处理以检测冗余规范和测试语句
机译:刺激响应需求规范符号:一种通过经验评估的需求规范符号。
机译:使用自然语言处理从非结构化临床信函中提取结构性癫痫数据:ExECT(癫痫临床文本摘录)系统的开发和验证
机译:自然语言需求规范中歧义识别和测量工具的需求
机译:关于可靠实时系统规范的语言和符号,第4部分修订。要求和设计规范语言。正式定义