您的位置: 专家智库 > >

国家自然科学基金(69773041)

作品数:6 被引量:4H指数:1
相关作者:王振宇陈利张立赵恒更多>>
相关机构:武汉数字工程研究所华中师范大学武汉工程大学更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 6篇中文期刊文章

领域

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

主题

  • 3篇通信
  • 3篇图形化
  • 3篇图形化设计
  • 3篇ADA
  • 3篇并发软件
  • 1篇软件系统
  • 1篇软件质量
  • 1篇OBJECT
  • 1篇PATTER...
  • 1篇ADA95
  • 1篇ADA语言
  • 1篇ADT
  • 1篇ASM
  • 1篇HANDLE...
  • 1篇IMPLIC...
  • 1篇并发程序
  • 1篇并发程序设计
  • 1篇程序设计
  • 1篇ABSTRA...
  • 1篇ARCHIT...

机构

  • 4篇武汉数字工程...
  • 3篇华中师范大学
  • 1篇武汉工程大学

作者

  • 4篇王振宇
  • 3篇陈利
  • 1篇赵恒
  • 1篇张立

传媒

  • 2篇计算机应用与...
  • 2篇计算机与数字...
  • 2篇Wuhan ...

年份

  • 1篇2006
  • 1篇2005
  • 1篇2002
  • 3篇2001
6 条 记 录,以下是 1-6
排序方式:
Event-based Implicit Invocation Decentralized in Ada被引量:1
2001年
Nowadays more and more attraction is drawn by the event based implicit invocation one of useful architectural patterns, because of its loose coupling between components in the architecture and reactive integration in software systems. Analyzing object oriented interaction with objects, this paper, based upon the principle of software architecture, presents an approach on event based object model with Ada exception handler. Consequently it is possible for us to improve, with adding specific architectural patterns, traditional programming languages into architectural description languages.
Liang Xian zhong, Wang Zhen yu Wuhan Digital Engineering Institute, P. O. Box 74223, Wuhan 430074, China
关键词:IMPLICITARCHITECTURALEXCEPTIONHANDLER
Remolding Diversified Objects in Ada95: Toward A Object Pattern
2001年
Ada provides full capacities of supporting object orientation, but the diversified objects patterned in Ada are so intricate that Ada95’s aim would be demolished. In order to complement the disfigurement that Ada does lack for a pristine notion of class, this paper presents a remolded object pattern known as A object, an Ada based class description language A ObjAda aiming at support for A object pattern and the related approach for key algorithms and implementation. In consequent, A ObjAda hereby promotes Ada with highlighted object orientation, which not only effectively exploits the capacities in Ada95, but also rationally hides befuddling concepts from Ada95.
Liang Xian zhong, Wang Zhen yu Wuhan Digital Engineering Institute P. O. Box 74223, Wuhan 430074, China
关键词:ADTASMOBJECTOBJECTOBJECTPATTERN
并发软件的图形化设计方法研究(一):并发设计语言CONDL的定义被引量:2
2002年
这项研究的目标是:为并发软件的设计提供一种图形化的方法和支撑工具,以便用图形表达并发软件的设计,并生成并发程序的框架(并发程序单元的划分和它们之间的通信)。这样做的好处在于提高软件的生产率,改善软件质量。在论文的这一部分,给出了并发设计语言CONDL的定义。
王振宇陈利
关键词:并发软件通信软件质量
提高Ada并发效率的一种途径
2001年
Ada的会合机制使我们能在高级语言一级上描述系统的并发活动,从而避免了在使用低级通信原语时所不可避免的问题。但由于会合机制是一种完全同步的实现机制,因此其并发效率较低。为此,本文提出:采用基于Ada保护对象的(异步)信箱机制实现Ada会合的服务模型,使之既具有会合机制的高可靠性,又能提高系统的并发度和实现效率。
赵恒王振宇
关键词:ADA语言并发程序设计软件系统
Ada并发软件的图形化设计方法研究
2006年
研究的目标:为Ada并发软件的设计提供一种图形化的方法和支撑工具,以便用图形表达并发软件的设计,并生成并发程序的框架(并发程序单元的划分和它们之间的通信)。这样做的好处在于提高软件的生产率,改善软件质量。在提出用于并发软件理解的会合次序图的基础上,给出了并发设计语言CONDL的语法、语义描述和图形化表示(泳道),并简单介绍了所研制的一个工具CONDLAS(生成Ada代码框架)。
陈利张立王振宇
关键词:并发软件通信ADA
并发软件的图形化设计方法研究(二):并发设计语言CONDL的图形化表示被引量:1
2005年
这项研究的目标是 :为并发软件的设计提供一种图形化的方法和支撑工具 ,以便用图形表达并发软件的设计 ,并生成并发程序的框架 (并发程序单元的划分和它们之间的通信 )。这样做的好处在于提高软件的生产率 ,改善软件质量。在论文的这一部分 ,给出了并发设计语言CONDL的一种图形化表示 。
陈利王振宇
关键词:并发软件通信ADA
共1页<1>
聚类工具0