周秀芳

作品数：3被引量：1H指数：1
导出分析报告
供职机构：扬州大学信息工程学院更多>>
发文主题：B方法UML形式化方法形式化B方法软件设计更多>>
发文领域：自动化与计算机技术经济管理更多>>
发文期刊：《管理观察》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
UML在高校固定资产管理系统研究中的应用
《管理观察》2009年第28期185-186,共2页沙小梅 周秀芳 陈伟山 
UML是优秀的面向对象的统一建模语言，在软件工程中应用十分广泛。本文主要阐述UML在高校固定资产管理系统研究中的应用，包括：高校固定资产管理及其模式、UML及其相关内容、UML在系统开发不同阶段（需求分析、系统分析等）的系统建模...
关键词：UML 固定资产管理 系统建模 
基于形式化B方法的软件设计研究被引量：1
《管理观察》2009年第28期290-291,共2页周秀芳 沙小梅 秦立山 
为了提高软件的正确性、稳定性和安全性，本文用形式化B方法来设计软件，简单介绍了B方法及其特点，并用形式化方法描述软件的需求分析，同时将B方法与UML相结合应用在软件开发中，最后以实例分析表明这套方法是可行的。
关键词：B方法 形式化方法 UML 软件设计 
基于B方法的流量控制系统的实现
《企业导报》2009年第11期269-270,共2页白鹏 陈名铭 顾建丰 周秀芳 
通过对形式化B方法的研究,结合网络流量控制系统模型,讨论了该模型在形式化B方法下的具体应用,给出了该系统的抽象机模型和精化过程。
关键词：B方法 流量控制 特征码 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部