杜玄
- 作品数：17 被引量：8H指数：2
- 供职机构：中兴通讯股份有限公司更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 嵌入式系统模型驱动设计方法被引量：1
- 2006年
- 提出基于模型驱动构架的嵌入式系统模型驱动设计方法·首先建立UMLforSystemC语言元模型,以扩充UML对硬件平台相关模型的描述能力;然后分析模型变换的映射规则;最后基于系统平台结构模型和软硬件划分提供模型变换实现·该方法能自动地生成不同实现的SystemC系统模型,以加速系统设计空间搜索效率,支持嵌入式系统的快速开发和验证·
- 陈燕邱卫东杜玄彭澄廉
- 关键词：嵌入式系统模型驱动构架UMLSYSTEMC
- 迈向更高层的抽象——建立领域元模型
- 2005年
- 引言 佛教瑜伽宗认为”心”可以分成四大部分，即相分，见分，自证分．证自证分。陈义孝《佛学常见辞汇》里对“四分”的解释如下：”相分就是由识所变现的外境见分就是能缘境的见照作用．自缘其所变的相分：自证分就是证知见分者证自证分就是自证分的内向作用，由返照的结果，证知其自证分者。”
- 杜玄单崇东
- 关键词：软件开发EMF软件设计
- 领域模型的描述与处理(下)被引量：1
- 2006年
- 上期文章中．我们已经讨论了模型语言与传统计算机编程语言的在表现力上的差别．同时对领域模型的描述本质作了比较详细的阐述．本文的下半部分将重点讨论领域模型的处理．并通过一个实例来告诉您．领域模型技术到底是什么。
- 杜玄陈燕
- 关键词：计算机编程语言表现力
- 一种电信设备性能数据采集的方法及系统
- 本发明公开了一种电信设备性能数据采集的方法及系统，该方法包括：用户向电信设备下发历史性能采集命令；命令分发模块根据采集命令要下发到的设备类型来调用相应设备的命令解析模块，命令解析模块将采集命令解析成统一的格式；采集命令输...
- 苏丽辉杜玄
- 文献传递
- 迎接UML 2.0
- 2004年
- 2003年4月Rational公司在上海举行UML讲座，这时的Rational已经成为IBM旗下的一员。这次讲座，Bran Selic作为IBM公司的Thought Leader亲自介绍了UML2.0的标准进展情况和未来发展方向(Bran Selic是IBM Rational加拿大的首席工程师。具有30年实时软件系统的设计开发经验，是《Real-Time Object-Oriented Modeling》的作者。近来，Bran正在领导一个小组为实时应用制订UML profile的OMG标准)。在Selic为我们介绍UML2．
- 杜玄
- 关键词：UML2.0实时软件系统软件开发
- 嵌入式系统面向方面编程(AOP)技术的应用
- 分离关注点(Separation of Concem)是目前软件设计领域内的热点研究话题。通过识别、封装和集成不同种类的关注点来构建一个复杂系统,从而提高系统的适应性、可维护性、易扩展性和重用性。Aspect-Orien...
- 陈燕杜玄彭澄廉
- 关键词：面向方面编程嵌入式系统SYSTEMC
- 文献传递
- 基于SystemC描述的嵌入式系统的自动化验证被引量：2
- 2004年
- 基于SystemC的嵌入式系统描述 ,提出了一种全新的自动化验证方法 .该方法采用面向方面编程技术、分离和封装测试代码 ,结合自动化测试框架 ,完成对系统的自动化验证 .此验证方法对被测系统无扰动 ,能适应测试要求的灵活变化 ,对嵌入式系统模型可自动、重复地测试 ,能够满足系统级模型快速验证和评估的要求 .
- 陈燕杜玄彭澄廉
- 关键词：嵌入式系统面向方面编程自动化
- 基于IM的团队协作
- 2004年
- IM 已经成为互联网上常用的联系方式之一,它的即时性和方便性比传统的电子邮件等联络方式更加适应这个节奏越来越快的网络时代。在开发者团队中应用 IM 作为团队的协作工具对于团队成员分布在不同地域的无疑是最佳的选择。
- 杜玄
- 关键词：IM互联网电子邮件XMPP协议
- 一种数据库依赖软件单元的测试方法
- 本发明提供一种数据库依赖软件单元的测试方法，采用嵌入式内存数据库作为测试数据载体，进行所述数据库依赖的软件单元的测试。本发明还提供一种数据库依赖软件单元的综合测试系统及方法，包括被测软件单元，测试单元，环境状态检查模块，...
- 杜玄苏丽辉
- 文献传递
- 一种面向方面的嵌入式系统测试方法及其系统
- 本发明公开一种面向方面的嵌入式系统测试方法及其系统，将嵌入式系统的业务和测试作为两个不同的关注点，分别编写相应代码，根据编织规则在业务代码的测试点织入测试用代码片，然后装入嵌入式系统作为被测模块；确定测试时要输入所述被测...
- 杜玄姜健
- 文献传递
