论文部分内容阅读
随着软件开发规模的迅速扩大，目前流行的软件开发方法（包括当前的软件工程法）已难以满足开发实践的要求，实践要求在软件开发方法学上能有新的进展。鉴于此，在面向对象及形式化方法的基础上，系统地了一种严格的软件开发方法，力图使开发者的创造性及开发环境的自动化能力都得到充分发挥，使软件开发能适应形势的需要。