Requirements Engineering; Formalization; Specification Pattern Systems; Linear Temporal Logic; Redundant Tests;
机译:线性时间逻辑,属性规范模式和事件处理语言形式化的时间属性的可理解性
机译:在线性时间逻辑,事件处理语言和属性规范模式中对合规性规范进行建模:关于可理解性的受控实验
机译:使用内核方法和神经网络对结构化数据进行广泛的自然语言处理
机译:将结构化自然语言的正式化方法与逻辑表达式进行处理以检测冗余规范和测试语句
机译:从通信协议的自然语言规范到可执行的代数规范的转换方法
机译:使用机器学习和自然语言处理方法来解决孤立的非特定结构
机译:关于线性时间逻辑,属性规范模式和事件处理语言正式化的易于理解性