采用形式化技术的软件再工程

采用形式化技术的软件再工程(云南大学信息技术研究所，昆明 =>""?%) :0@)62A+)31B-C26D+39)62$*3 ,,,摘 要 形式化技术为软件再工程提供了完备的理论基础，该文对基于软件