期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

实时系统的方面开发方法和应用模型

Aspect Oriented Method in Realtime Software Development and its Model
下载PDF
导出
摘要 结合领域工程的方法,在某个领域内建立面向方面的软件开发AOSD框架是值得探讨的简单可行的方法,探讨了在实时系统开发过程中支持面向方面方法的几个关键问题及解决方案,提出了一种实时领域面向方面开发框架,降低了实时软件开发的复杂性,提升了系统的可信度,同时实现了实时软件开发各个阶段的无缝连接。 The article discusses the solutes of the important questions that using unified aspects in Realtime Domain Engineering,and gives a framework of Aspect-Oriented on the all stages in Real-time Software Development.This framework can reduce the complexity and increase dependability of Software Development,at the same time,the reahime system development can become a seamless processes among the stages of the software lifecycle.
作者 陈广明
机构地区 嘉应学院计算机系
出处 《计算机工程与应用》 CSCD 北大核心 2006年第36期82-85,共4页 Computer Engineering and Applications
关键词 面向方面 实时系统 形式化方法 AO-RT-Z PEARL语言 XML 方面挖掘 Aspect-Oriented real-time system formal method AO-RT-Z PEARL language XML aspect mining
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献16

  • 1The AspectJ Programming Guide,Xerox Corporation[EB/OL].[2002-09].http://aspectj.org/doc/dist/progguide/index.html.
  • 2任洪敏,钱乐秋.构件组装及其形式化推导研究[J].软件学报,2003,14(6):1066-1074. 被引量：80
  • 3Suhl C.RT-Z:an integration of Z and timed CSP[AGT99].1999:51-65.
  • 4Suhl C.Applying RT-Z to develop safety-critical systems[C]//LNCS,1783:Proceedings of the Third International Conference on Fundamental Approaches to Software Engineering.[S.l.]:Springer-Verlag,2000:51-65.
  • 5The Z Formal Specification Language[C]//LNCS 1493:ZUM'98.[S.l.]:Springer-Verlag,1998:5-23.
  • 6Andrews J H.Process-algebraic foundations of aspect-oriented programming[C]//LNCS:Processdings of the Third International Conference on Metalevel Architectures and Separtion of Crosscutting Concerns.Benlin:Springer-Verlag,2001,2192:187-209.
  • 7RAISE Language Group.The RAISE specification language[C]//BCS Practitioner Series.[S.l.]:Prentice-Hall,1992:113-209.
  • 8陈广明,陈生庆,张立臣.Z实时扩展及基于多视点的应用模式[J].计算机应用,2005,25(2):362-364. 被引量：9
  • 9ftp://ftp.irt.uni-hannover.de/pub/pearl/report.pdf (in English).
  • 10Fischer C.How to combine Z with a process algebra[R]//Bowen J P,Fett A,Hinchey M G,2000.

二级参考文献22

  • 1陈广明,陈生庆,张立臣.Z实时扩展及基于多视点的应用模式[J].计算机应用,2005,25(2):362-364. 被引量：9
  • 2ZUM' 98. The Z Formal Specification Language[ A]. number 1493 in Lecture Notes in Computer Science[ C], 1998.5 -23.
  • 3RAISE Language Group. The RAISE Specification Language[ M].BCS Practitioner Series. Prentice-Hall, 1992.
  • 4SUHL C. RT-Z: An integration of Zandtimed CSP[ R] . In [ AGT99], pages 51 - 65.
  • 5SUHL C. Applying RT-Z to develop safety-critical systems[ A]. In Proceedings of the Third International Conference on Fundamental Approaches to Software Engineering ( FASE 2000), number 1783 in Lecture Notes in Computer Science[ C], 2000.51 -65.
  • 6FISCHER C. How to combine Z with a process algebra[ R]. In J P Bowen, A Fett, M G Hinchey, editors ,2000.
  • 7The AspectJ Programming Guide. Xerox Corporation ,September2002. Available at: http:∥aspectj. org/doc/dist/progguide/index.html
  • 8Suhl C. RT-Z: An integration of Z and timed CSP [R]. In:[AGT99], 1999. 51～65
  • 9Suhl C. Applying RT-Z to develop safety-critical systems[C]. In:Proc. of the Third Intl. Conf. on Fundamental Approaches to Software Engineering (FASE 2000), number 1783 in Lecture Notes in Computer Science, Springer-Verlag, 2000. 51 ～ 65
  • 10ZUM'98. The Z Formal Specification Language[C]. number 1493in Lecture Notes in Computer Science,Springer-Verlag, 1998. 5～23

共引文献83

计算机工程与应用
2006年 第36期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部