OOZS相关论文
统一建模语言UML是一种面向对象分析和设计过程中重要的建模工具.但由于UML缺乏精确的形式化语义,不利于对其所描述的需求进行进一......
介绍了形式化方法B方法和OOZS方法,从软件开发的角度对二者进行了比较,归纳了异同和各自适用范围。不同形式规格说明语言有各自的......
形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确，面向对象方......
统一建模语言(UML)己经成为软件建模事实上的标准,但是它也存在不少问题。尽管UML大部分的语法已经定义,并给出了静态语义,但是动......
