精化演算相关论文
利用精化演算的方法开发软件,其过程由巨大数量的小步骤构成,由手工完成极其烦琐,也极容易出错,因此利用机器辅助工具的支持是必要......
提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。传统Z规约数据精化很复杂。该文先采用过程写......
通过分析Z和精化演算各自的特点,本文提出了一种使两者无缝集成的形式化开发方法.该方法利用Z良好的描述特性和扩充的类机制,将系......
