形式化软件开发方法相关硕士博士期刊学术论文

由于数据精化需要针对更大的程序块, 所以,它比一般的算法精化更加复杂.在精化演算中过程如何有效地进行数据精化是形式化方法研究......