Requirements specification; Visualization; Formal methods;
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:形式规范行为要求和对实现映射的要求的计算机辅助发现
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:关于在正式需求规范中使用可视化
机译:使用两级语法和上下文自然语言处理,将需求文档自动转换为可执行的正式规范。
机译:将需求语句划分为各个需求的方法以及可以描述各个需求的需求规范编辑器的开发
机译:关于在形式要求规范中的可视化