排序方式： 共有2条查询结果，搜索用时 15 毫秒
1
1.
本文通过分析面向对象语言的特点,提出了在传统断言方法的基础上引入一些扩充,从而可用于描述面向对象的程序;提出了面向对象的模型语言OL,以此为例详细介绍了描述方法;给出了程序正确性的定义。最后分析了这种方法的作用,以及它的局限性。 相似文献
2.
面向对象方法学已经越来越引起人们的重视。人们从程序设计、软件设计、软件开发等方面对它进行了研究。本文着重从软件开发的角度,分析了面向对象方法学的特点。然后介绍了面向对象的软件开发方法OOSDM,这种开发方法将面向对象的思想贯穿于始终。采用多视点的方法分析问题,解决问题。最后重点介绍了我们在OOSDM中采用的需求分析方法OORAM 及其支持工具。 相似文献
1