梁先忠
- 作品数:5 被引量:4H指数:1
- 供职机构:中国科学院软件研究所更多>>
- 相关领域:自动化与计算机技术更多>>
- SMR-CU:基于结构化标记文法规则的代码理解技术
- 提出了的结构化标记文法规则和语言无关的模型表示,是逆向工程中代码理解和模型提取的关键技术,这种模型表示不仅服务于代码理解,还可以作为高级模型提取、软件开发、系统修改和维护等诸多软件工具集成的基础.
- 徐丽萍梁先忠
- 关键词:逆向工程软件工程
- ICE-CSS:基于交互的复杂软件系统合成演化方法
- 为解决复杂软件系统的工程化问题,出现了一些软件技术、结构框架和研究努力,包括基于部件开发(CBD)、软件互操作的中间件平台(MDW)、基于体系结构开发(ABD),以及C4ISR体系结构框架(JTA).虽然这些研究既相互补...
- 梁先忠
- 关键词:复杂软件系统软件体系结构
- 文献传递
- 用Ada异常设施实现隐式调用的体系结构被引量:1
- 2000年
- 基于事件的隐式调用体系结构,因其具有系统部件的松散偶合和反作用集成的特性,正受到普遍重视。基于软件体系结构原理,本文分析了面向对象的交互方式,并提出了一套用Ada异常设施实现基于事件的隐式调用的研究方法,它表明将传统程序设计语言改造成某种特定的ADL是可能的。
- 梁先忠王振宇
- 关键词:体系结构ADA语言程序设计
- 软件体系结构讲座 (六)形式化模型和规格说明被引量:3
- 1999年
- 本讲讨论软件体系结构的形式化模型和规格说明,即软件体系结构的形式化基础。
- 王振宇梁先忠汪洋
- 关键词:体系结构
- 面向对象同Ada的结合研究
- 王振宇梁先忠马晓东
- 关键词:程序语言软件工程应用程序