期刊文献+

软件体系结构的现状与发展

下载PDF
导出
摘要 1软件体系结构的现状 1.1形式化方法的研究有一定的进展 软件体系结构研究要想得以长足的发展,仅仅停留在非形式化的框图阶段是不够的.因此,需要一套有形式化建模符号、体系结构说明的分析方法与开发工具.
作者 李志聪
出处 《牡丹江师范学院学报(自然科学版)》 2003年第4期11-13,共3页 Journal of Mudanjiang Normal University:Natural Sciences Edition
  • 相关文献

参考文献1

二级参考文献16

  • 1Vestal S. A Cursory Overview and Comparison of Four Architecture Description Languages: [Technical Report]. Honeywell Technology Center, 1993,2
  • 2Allen R, Garlan D. Formalizing Architectural Connection. In: Proc. of the 16th Intl. Conf. on SW Engineering, Sirrebti Italy.May 1994. 71~80
  • 3Shaw M,Garlan D. Software architecture: perspectives on an emerging discipline. Prentice-Hall International,Inc. 1996
  • 4Medvidovic N, Taylor R N. A Classification and Comparison Framework for Software Architecture Description Languages. IEEE,2000,26(1)
  • 5Garlan D, Allen R, Ockerbloom J. Architectural mismatch, or, why it's hard to build system out of existing parts. In:Proc. of the 17th Intl. Conf. on Software Engineering. Seattle, Washington, April 1995
  • 6Garlan D. Proceedings of First International Workshop on Architectures for Software Systems: [CMU Technical Report CMU-CS95-151]. April 1995. Summary reprinted in ACM Software Engineering Notes,July 1995
  • 7Bach M J. The Design of the UNIX Operating system,chap. 5, Software Series. Prentice Hall, 1986. 111 ~ 119
  • 8Medvidovic N,Oreizy P,Robbins J E,Taylor R N. Using ObjectOriented Typing to Support Architectural Design in the C2 Style.In: Proc. of ACM SIGSOFT' 96: Fourth Symposium on the Foundations of software Engineering (FSE4), San Francisco, CA, Oct. 1996.24~32
  • 9Allen R. A Formal Approach to Software Architecture: [Ph. D. Thesis ]. Carnegie Mellon University, CMU Technical Reprot CMU-CS-97-144 ,May 1997
  • 10Luckham D C,Vera J. An ERvent-Based Architecture Definition Language. IEEE Transactions on Software Engineering, 1995,21 (9):717~734

共引文献14

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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