Software engineering; Algorithms; Specifications; Programming languages; Semantics; Systems analysis; Computer program verification; Design criteria; Syntax;
机译:基于分层状态的需求的完整性和一致性
机译:勘误到“关于需求演变中一致性,完整性和正确性之间的相互作用
机译:关于需求演化中一致性,完整性和正确性之间的相互作用
机译:使用PVS分析基于分层状态的需求的完整性和一致性
机译:基于状态的完整性和一致性需求的综合分析。
机译:基于扩展层次有限状态自动机的服务一致性演化动态定量分析方法
机译:使用PVS分析基于层次状态的完整性和一致性要求