您的位置: 专家智库 > >

北京市科技新星计划(H013610270112)

作品数:5 被引量:53H指数:4
相关作者:张莉周伯生田丽从许红霞更多>>
相关机构:北京航空航天大学更多>>
发文基金:北京市科技新星计划中国航空科学基金教育部“新世纪优秀人才支持计划”更多>>
相关领域:自动化与计算机技术经济管理医药卫生更多>>

文献类型

  • 5篇中文期刊文章

领域

  • 5篇自动化与计算...
  • 1篇经济管理
  • 1篇医药卫生

主题

  • 3篇可视化
  • 2篇统一建模
  • 2篇统一建模语言
  • 2篇可视化建模
  • 2篇建模语言
  • 1篇形式化
  • 1篇形式化描述
  • 1篇形式化描述方...
  • 1篇一致性
  • 1篇用户
  • 1篇语言
  • 1篇语言规范
  • 1篇软件开发
  • 1篇软件开发环境
  • 1篇软件体系结构
  • 1篇软件体系结构...
  • 1篇软件体系结构...
  • 1篇体系结构
  • 1篇体系结构描述...
  • 1篇统一建模语言...

机构

  • 5篇北京航空航天...

作者

  • 4篇张莉
  • 3篇田丽从
  • 3篇周伯生
  • 2篇许红霞

传媒

  • 2篇北京航空航天...
  • 2篇计算机科学
  • 1篇计算机应用与...

年份

  • 1篇2006
  • 3篇2005
  • 1篇2003
5 条 记 录,以下是 1-5
排序方式:
软件体系结构描述语言研究现状分析被引量:9
2005年
软件体系结构描述语言ADL(Architecture Description Language)为软件体系结构的表示和分析提供了语言符号和支持工具。目前,已定义的ADL超过20种,新的ADL还在不断出现。然而,各种ADL并没有在实际项目开发中得到真正的推广。为了明确ADL的研究进展情况,分析了ADL的研究现状,讨论了ADL研究中存在的主要问题及解决思路。
田丽从张莉周伯生
关键词:ADL软件体系结构描述语言
可视化语言文法形式化描述综述被引量:12
2005年
可视化是人机交互的主要形式,可视化语言是计算机科学中一个重要研究领域,文法为可视化语言提供了一种有价值的形式化描述方法。本文基于可视化语言的特征,介绍了可视化语言文法形式化描述体系的基本理论,分析了几种典型形式模型,并探讨了当前的主要研究内容和面临的挑战。
许红霞张莉
关键词:可视化语言文法形式化描述方法计算机科学人机交互
一种面向最终用户的图形建模语言规范
2006年
图形语言形式化描述体系由于需要一定的理论背景而不适于最终用户,为了满足最终用户对领域建模语言进行规范描述的需求,提出了一种可以描述图形语言二维语法结构的语言(EUVDL,End-User Visual Definition Language),分别从设计范型、抽象语法和具体语法3个方面考虑了最终用户的支持,并且给出支持最终用户使用的具体设计策略、设计了基于EUVDL的图形建模语言环境开发平台.通过和其他图形语言描述方法的比较以及实例演示,可以看出利用EUVDL描述图形建模语言具有语法结构简单、描述能力较强、支持描述重用的特点,适于最终用户使用.
许红霞张莉
基于UML的集成化软件开发环境的研究与实现被引量:16
2003年
统一建模语言UML(UnifiedModelingLanguage)的出现为研制和开发集成化面向对象软件开发环境奠定了基础 .针对当前软件开发方法中所表现出的新特点 ,结合用户在项目开发中的实际需求 ,讨论了基于UML的集成化软件开发环境的设计思想及应具备的主要功能 ,介绍了基于该思想开发的可视化建模工具UML
田丽从张莉周伯生
关键词:统一建模语言软件开发环境可视化建模
UML可视化建模工具中模型一致性检查机制的研究与实现被引量:17
2005年
采用统一建模语言UML进行系统建模的过程中 ,模型一致性的建立和维护是正确建模的必要前提。但单靠人工检查的方式来保证模型的正确性 ,不仅给开发人员造成很大负担 ,而且容易出现差错或遗漏。因此 ,在UML可视化建模工具中提供模型一致性自动检测和维护机制至关重要。本文对UML主要模型图之间的关系进行了分析 ,识别出这些图之间的一些基本的一致性规则 ;在此基础上 ,提出了UML可视化建模工具中模型一致性检查机制的实施框架 ,并对实现该框架的主要思路进行了详细介绍。
田丽从周伯生
关键词:可视化建模工具统一建模语言UML一致性
共1页<1>
聚类工具0