论文部分内容阅读
将形式化技术和软件复用结合是非常有意义的工作.利用规约进行变换,寻找递推关系,可以比较容易得到抽象算法.在变换中,尽可能地将有关操作抽象表示,将操作细节延迟,以适合现代软件工程的软件开发需要,对一个具体问题将得到包含抽象操作的抽象算法.利用面向对象程序设计语言中的多态性等机制,将抽象操作用虚函数表示,如此设计的类可以作为可重用部件使用.