王振宇
- 作品数：60 被引量：121H指数：6
- 供职机构：武汉数字工程研究所更多>>
- 发文基金：国家自然科学基金国防科技技术预先研究基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学交通运输工程航空宇航科学技术更多>>
- BB图的枚举特征
- 2006年
- 在并发程序复杂性度量研究中,我们曾定义了一种B图,用以作为Ada并发程序中一种会合关系的模型。我们将B图推广到BB图。n节点BB图是在n个节点的串联树上再添加若干条边,其约束条件是:每个节点的入度不大于二,每个节点的出度也不大于二。给出BB图的若干若干枚举特征,指出同第二类Stirling数的密切关系。
- 王振宇
- 关键词：第二类STIRLING数
- 软件体系结构讲座(五)软件体系结构设计指南被引量：2
- 1999年
- 软件开发最重要问题之一是如何选取一个合适的体系结构以满足给定的一组需求。本讲通过用户界面设计的例子介绍体系结构设计空间的概念和基于此概念的一个专家系统。然后,我们将引进一个基于电子表格的工具,用以评价一组体系结构风格满足一组给定需求能力的强弱。
- 王振宇赵恒张立
- 关键词：体系结构
- 用Ada异常设施实现隐式调用的体系结构被引量：1
- 2000年
- 基于事件的隐式调用体系结构,因其具有系统部件的松散偶合和反作用集成的特性,正受到普遍重视。基于软件体系结构原理,本文分析了面向对象的交互方式,并提出了一套用Ada异常设施实现基于事件的隐式调用的研究方法,它表明将传统程序设计语言改造成某种特定的ADL是可能的。
- 梁先忠王振宇
- 关键词：体系结构ADA语言程序设计
- 类和对象的Ada95代码的自动生成
- 1998年
- 本文提出了一种自对象类的用户描述自动生成Ada95代码的方法。由用户用面向对象的概念给出对象类的一个用户描述,通过一个软件工具自动生成相应的Ada95代码。
- 赵恒王振宇
- 关键词：对象类ADA95代码程序设计语言
- 基于会合关系的Ada程序并发复杂性度量
- 1996年
- 多任务程序的并发性表现为任务之间的通讯和同步行为。对Ada程序而言就是任务之间的会合。理解并发程序的难度也就在理解其中的会合和会合之间的关系。研究了会合接续和嵌套关系,为接续关系引入接续图,为嵌套关系引入嵌套树,建议Ada程序P的并发复杂性CC(P)是接续复杂性SC(P)和嵌套复杂性NC(P)的加权和;SC(P)是可从Ada程序正文静态识别的会合关系构成的诸会合接续图的边数之和,NC(P)是诸嵌套树的加权节点数之和。
- 王振宇陈利王志江
- 关键词：ADA程序并发程序
- Ada软件开发系统SUNADADS—2的设计与实现
- 1998年
- 本文阐述了Ada软件开发系统SUNADADS—2系统功能的设计与实现。SUNADADS是七0九所在“八五”期间研制的一个Ada软件开发系统,在它的图式结构编辑器中,存在图元数量过多等缺点。本文首先阐述了对Ada软件设计图元进行的优化。接着论述了对SUNADADS系统结构所进行的重构。重构时考虑了对Ada95的适应。SUNADADS的用户界面采用的是OPEN LOOK标准。本文论述了将SUNADADS的用户界面移植成具有Motif标准的意义及其移植的方法,并论述了对系统进行汉化的方法。接着文章论述了SUNADADS—2系统构造中和设计与实现中用到的一些关键技术。
- 张立王振宇
- 关键词：ADA语言软件开发系统
- 基于CORBA的Web应用集成开发模式被引量：1
- 2002年
- 本文探讨了将Web应用与CORBA分布式环境进行集成的四种开发模式,分析了这四种模式各自的优缺点。并通过一个已成功开发的实际应用系统IBMS,详细介绍了基于ISAPI的Web与CORBA集成的开发思路和方法。
- 汪洋谢江王振宇
- 关键词：WEBCORBAINTERNETISAPI中间件
- 标本作为软件重用单元及其实现途径与策略
- 1996年
- 1.引言软件重用可以显著提高软件生产率,降低软件成本,增强软件产品的可靠性,使软件生产真正走出'手工作坊'阶段,可以说,没有软件重用就没有软件工程.在传统的关于重用的研究中,
- 王振宇谢江
- 关键词：软件工程标本
- 基于求精的软件体系结构设计方法被引量：2
- 2007年
- 分析了当前软件体系结构研究对软件开发支持存在的不足,将软件体系结构求精技术引入大型复杂系统软件体系结构设计与开发过程中,结合抽象层次和层次视图,提出了一个基于求精的软件体系结构设计方法——ARSADM,给出了其关键步骤和过程,用于指导软件体系结构的正确设计。
- 赵恒叶俊民王振宇
- 关键词：软件体系结构
- 软件体系结构讲座(七) 软件体系结构的语言问题被引量：2
- 2000年
- 本讲讨论为什么同软件体系结构相关的有一个语言问题、对软件体系结构描述语言的要求,如何对已有语言进行增补使之支持某些体系结构构造,等等。主要内容来自第7章。
- 王振宇况银瓶陈利
- 关键词：软件体系结构体系结构描述语言软件工程
