您的位置: 专家智库 > >

于卫

作品数:8 被引量:44H指数:4
供职机构:西安电子科技大学计算机学院软件工程研究所更多>>
发文基金:国家教育部博士点基金国防科技技术预先研究基金更多>>
相关领域:自动化与计算机技术交通运输工程更多>>

文献类型

  • 7篇期刊文章
  • 1篇学位论文

领域

  • 7篇自动化与计算...
  • 2篇交通运输工程

主题

  • 3篇软件体系结构
  • 3篇体系结构
  • 2篇单片
  • 2篇单片机
  • 2篇形式化
  • 2篇形式化描述
  • 2篇软件开发
  • 2篇体系结构描述...
  • 2篇统一建模
  • 2篇统一建模语言
  • 2篇汽车
  • 2篇人机
  • 2篇自动机
  • 2篇面向对象
  • 2篇描述语言
  • 2篇结构描述语言
  • 2篇建模语言
  • 2篇公共汽车
  • 2篇IC卡
  • 2篇车辆

机构

  • 8篇西安电子科技...
  • 1篇西北大学

作者

  • 8篇于卫
  • 3篇蔡希尧
  • 2篇杨万海
  • 2篇杨卫东
  • 2篇阎华梁
  • 1篇陈平
  • 1篇楼顺天
  • 1篇郭建强
  • 1篇周明全

传媒

  • 4篇西安电子科技...
  • 1篇电子科技
  • 1篇小型微型计算...
  • 1篇计算机科学

年份

  • 1篇2000
  • 4篇1999
  • 2篇1998
  • 1篇1997
8 条 记 录,以下是 1-8
排序方式:
图形用户界面的形式化描述方法被引量:5
1998年
讨论了人机界面的分类及特点,介绍了图形用户界面的重要性及实用性;引入了回溯自动机作为定义人机界面的一种抽象数学模型。
于卫楼顺天杨万海
关键词:人机界面图形用户界面有限自动机
图形人机接口的形式化描述被引量:3
1997年
本文讨论了人机接口的分类及特点,着重介绍了图形人机接口的重要性及实用性;引入了回溯自动机作为定义人机接口的一种抽象数学模型,并采用该模型给出其图形人机接口的形式化描述。
周明全耿国华于卫
关键词:人机接口自动机数学模型人机系统
软件体系结构与软件重用方法的研究
该论文总结了作者的攻读博士学位期间在软件体系结构与软件重用两方面的研究工作.论文的第一部分主要集中于软件体系结构的概念、描述方法、建模等方面的研究工作,包括第2、3章.在比较体系结构基本概念和分析各种软件体系结构风格的基...
于卫
关键词:软件体系结构统一建模语言体系结构描述语言
面向对象软件的测试被引量:4
1998年
简要介绍了目前常用的几种程序测试方法,分析了测试面向对象程序的特点,并结合应用实例阐述了基于对象-状态转换图的面向对象程序测试方法.最后借助于自动机指导用户的测试用例设计和测试结果预测.
于卫郭建强蔡希尧陈平
关键词:面向对象软件开发
基于统一建模语言的软件体系结构描述被引量:19
2000年
系统设计以及整个软件系统结构的重用是支持大规模软件重用的关键,目前对软件体系结构的研究主要集中在软件体系结构的分析、描述等方面.利用统一建模语言的扩充机制,以统一建模语言为基础,将软件体系结构与当前主流的面向对象软件开发方法相结合,给出了软件体系结构的核心模型,并从多个视图描述了软件体系结构.这样,就可在软件开发方法中重用软件体系结构,也可利用开发方法众多的支持工具.
杨卫东于卫蔡希尧
关键词:统一建模语言软件体系结构体系结构描述语言
软件体系结构的可视化描述与实现被引量:3
1999年
面向对象的软件开发方法使用对象或类作为建模的基本实体,将消息传递作为对象间通讯的基本机制,描述了软件建模的一般概念、相关建模技术及一般设计指导规则。尽管这种方法也可以描述一些软件体系结构的设计问题,但与软件体系结构及其相关工具相比,有很大差距,因为后者以构件和连接作为基本的建模实体,对构件和连接提供了多重接口,可以描述构件间丰富的交互语义,较好地支持软件系统一级的重用,可以分析软件的某些特性(如:死锁检测等)。
于卫杨卫东蔡希尧
关键词:软件体系结构可视化面向对象软件开发
基于IC卡的公交车辆管理系统的设计与实现
1999年
本文介绍了以8031单片机为核心的IC卡公交车辆管理系统的设计要点,包括系统的硬件和软件设计。检测分析表明,该系统具有许多优点和一定的推广实用价值。
于卫阎华梁李彬
关键词:IC卡公共汽车单片机车辆管理系统
IC卡车辆内部控制系统的设计被引量:1
1999年
介绍了以单片机为核心的IC卡车辆管理系统中内部控制系统的设计要点,包括系统的硬件和软件设计.检测分析表明。
于卫阎华梁杨万海
关键词:IC卡单片机公共汽车车辆管理系统
共1页<1>
聚类工具0