软件可演化性相关硕士博士期刊学术论文 - 信丰网

软件可演化性相关论文

一种形式化的软件可演化性特征描述方法

软件系统的活性和安全性是判断软件可演化性的重要依据之一。现有方法多使用经典逻辑对系统的活性和安全性进行刻画。环境及涉众的......

期刊

活性安全性矛盾软件可演化性多值时序逻辑 Liveness Safety Contradiction Software evolution ability

看过本文同时还关注