云南省自然科学基金(2006F0047M)
- 作品数：2 被引量：4H指数：2
- 相关作者：何锋更多>>
- 相关机构：云南财经大学更多>>
- 发文基金：云南省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种顺序图的形式化描述与推理过程被引量：2
- 2011年
- 以统一建模语言(UML,Unified Modeling Language)规范为基础,给出UML顺序图的形式化定义和语法描述,并进一步分析了对象消息发送和接收之间的一致性问题。最后,通过对实例推理过程的分析,对UML顺序图的特性作进一步的解释。这为基于UML顺序图的模型转换和模型验证提供了必要的前提条件,可用于对软件系统结构的完备性理解和构造可视化建模工具。
- 何锋
- 关键词：顺序图形式化描述
- 顺序图在软件工程实践中的演化作用分析被引量：2
- 2011年
- 以苗圃管理系统的设计为例,从类图及其对应的程序代码引申出顺序图,再进一步演化出协作图、活动图、状态图和部署图,为软件工程设计的实践化方法提供了有效的途径,有利于设计工作的开展.
- 何锋
- 关键词：软件工程顺序图
