机译:形式规范行为要求和对实现映射的要求的计算机辅助发现
Requirements; Specification; Statechart assertions; Validation; Verification; UML; Bounded constraint solving; SAT solver; Reference model; Testing; JUnit;
机译:形式规范行为要求和对实现映射的要求的计算机辅助发现
机译:实施到设计和需求规格的可追溯性:正式的技术评审方法(逆向工程工具)
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:通过使用预定义的模板和映射规则来映射到Promela规范以减少返工,可以进行正式验证半正式要求
机译:使用两级语法和上下文自然语言处理,将需求文档自动转换为可执行的正式规范。
机译:将需求语句划分为各个需求的方法以及可以描述各个需求的需求规范编辑器的开发
机译:形式规范行为要求和实现映射要求的计算机辅助发现
机译:计算机辅助发现正式规范行为要求和实现映射要求。