您的位置： 专家智库 > >

张玮玮

作品数：3 被引量：6H指数：1
供职机构：嘉应学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇中文期刊文章

领域

  • 3篇自动化与计算...

主题

  • 1篇信息系统
  • 1篇形式化
  • 1篇形式化方法
  • 1篇软件工程
  • 1篇软件开发
  • 1篇软件体系结构
  • 1篇体系结构

机构

  • 3篇嘉应学院
  • 2篇浙江工贸职业...

作者

  • 3篇张玮玮
  • 2篇陈珊

传媒

  • 2篇张家口职业技...
  • 1篇福建电脑

年份

  • 1篇2007
  • 2篇2005
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
软件构件及其演化
2007年
讨论了软件体系结构中构件概念的演化和构件的演化。
张玮玮
关键词：软件体系结构
软件开发中的形式化方法介绍被引量：6
2005年
软件工程中的形式化方法就是依靠数学模型和计算来描述和验证一个目标软件系统的行为和特性,包括需求规格、设计和实现等,其最根本的一点就是建立在严格的数学基础上的方法。使用形式化方法可以帮助开发者获得对其所描述的系统的深刻而正确的理解,发现并及时更正设计中的错误和缺陷。众多的形式化方法在功能上可以实现互补。目前软件开发中的形式化方法主要是形式化规范说明语言,有Z语言、VDM语言和RAISE语言等。
张玮玮陈珊
关键词：形式化方法软件工程软件开发
信息系统的重构性探讨
2005年
信息系统的重构的基础是软件重构,本文讨论了信息系统的可重构性及重构方法。
张玮玮陈珊
关键词：信息系统
全选 清除 导出
共1页<1>
聚类工具0