formal specification; program slicing; reverse engineering; software maintenance; Z-specification decomposition; formal specification maintenance; program comprehension; specification chunks; specification fragments; specification slices;
机译:HOL-Z 2.0:Z规范的证明环境
机译:根据其正式规范衡量通信协议的可维护性
机译:根据其正式规范衡量通信协议的可维护性
机译:保持正式规格 - 大Z规范的分解
机译:主动数据库规范,验证和可维护性的形式化表征。
机译:定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
机译:用于分析,综合和诊断目的的逻辑系统的正式规范和分解