广东省自然科学基金(04009465010059)

作品数：3被引量：9H指数：1
导出分析报告
相关作者：张立臣刘瑞成陈广明吴宇琼陈生庆更多>>
相关机构：广东工业大学嘉应学院更多>>
相关期刊：《计算机应用》更多>>
相关主题：实时系统基于UML统一建模语言言和Z语言更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于实时语言和面向方面的形式化开发方法
《计算机应用》2006年第1期240-242,248,共4页陈生庆 张立臣 陈广明 
国家自然科学基金资助项目(6047407260174050);广东省自然科学基金资助项目(04009465010059);广东省高校自然科学研究项目(Z03024)
面向方面方法和实时语言特性应用于实时软件开发工程,将降低实时软件开发的复杂性,而形式化方法将提升系统的可信度。该文提出的一种面向方面的实时软件开发方法AOSDBRTL,它基于经面向方面扩展的形式化方法AO-RT-Z,在编码阶段应用实时语...
关键词：面向方面 实时系统 形式化方法 RT—Z AO—RT—Z PEARL语言 
形式化语言RT-Z的合成及其应用
《微机发展》2005年第8期34-36,40,共4页吴宇琼 张立臣 
国家自然科学基金资助项目(6047407260174050);广东省自然科学基金资助项目(04009465010059);广东省高校自然科学研究项目(Z03024)
Z是一种确定相关数据特征的非常成功的形式化语言,却在构造动态行为方面的模型缺乏相应的功能;而TimedCSP是一种确定动态行为的功能强大的语言,但它没提供适当的结构来构造相关数据特征。文中通过形式化语言Z和过程代数TimedCSP合成一...
关键词：Z语言 过程代数CSP 规格说明 
基于UML的面向方面的实时系统建模方法被引量：9
《计算机应用》2005年第8期1874-1877,共4页刘瑞成 张立臣 
国家自然科学基金资助项目(6047407260174050);广东省自然科学基金资助项目(04009465010059);广东省高校自然科学研究项目(Z03024)
利用基于UML的面向方面编程(AOP)技术来建模实时系统,把实时关注从系统中分离出来,形成一个独立于系统的时间方面,实现时间方面的并发设计和系统时间特性的统一管理。AOP技术允许把设计好的时间方面根据需要重新织入系统,组合为实时系...
关键词：统一建模语言 面向方面 关注分离 实时系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部