形式化规范说明相关论文
在甲骨文信息化研究中,基于关键词匹配的检索方式在查全率和查准率两个方面均不理想。领域本体作为共享概率化的明确的形式化规范......
介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋它是ＶＤＭ的一种扩充，并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明......
软件的规范说明阶段(specification phase)对于软件的整体开发过程来说是一个非常重要的阶段,UML方法是目前比较流行的软件工程开......
