[1] Lehman M M, Ramil J F. Software Evolution——Background, Theory, Practice[J]. Information Processing Letters, 2003, 88(1/2): 33-44. [2] ?erná I, Va?eková P, Zimmerova B. Component Substitutability via Equivalencies of Component-interaction Automata[J]. Electronic Notes in Theoretical Computer Science, 2007, 182: 39-55. [3] Cazzola W, Pini S, Ghoneim A, et al. Co-evolving Application Code and Design Models by Exploiting Meta-data[C]//Proceedings of the 12th Annual ACM Symposium on Applied Computing. Seoul, South Korea: ACM Press, 2007: 1275-1279. [4] 任洪敏, 张敬周, 杨志应. 基于π演算的动态软件架构研究[J]. 计算机科学, 2009, 36(9): 127-130. [5] 李长云, 李赣生, 何频捷. 一种形式化的动态体系结构描述语言[J]. 软件学报, 2006, 17(6): 1349-1359.
[6] Milner R. Bigraphical Reactive Systems: Basic Theory[R]. Cam- bridge, UK: University of Cambridge, Tech. Rep.: UCAM-CL- TR-523, 2001. [7] 曲立平, 刘大昕, 杨 静. 面向方面的自动化重构方法[J]. 计算机工程, 2008, 34(6): 43-44. [8] 刘敬勇, 张立臣, 钟 勇. 面向方面的可配置实时系统开发方法[J]. 计算机工程, 2010, 36(8): 46-48. [9] Kiczales G, Mendhekar A. Aspect-oriented Programming[C]// Proceedings of ECOOP’97. [S. l.]: Springer-Verlag, 1997: 220- 242. [10] 曹东刚, 梅 宏. 面向Aspect的程序设计——一种新的编程范型[J]. 计算机科学, 2003, 30(9): 5-10. [11] Jensen O H, Milner R. Bigraphs and Mobile Processes[R]. Cambridge, UK: University of Cambridge, Tech. Rep.: UCAM-CL-TR-580, 2004. [12] Birkedal L, Bundgaard M, Milner R, et al. Bigraphical Program- ming Languages for Pervasive Computing[C]// Proceedings of Pervasive International Workshop on Combining Theory and Systems Building in Pervasive Computing. [S. l.]: IEEE Press, 2006: 653-658. [13] Elrad T, Filman R E, Bader A. Aspect-oriented Programming[M]. [S. l.]: Springer-Verlag, 1997. [14] Robin M. Axioms for Biographical Structure[J]. Journal of Mathematical Structures in Computer Science, 2005, 15(6): 1005-1032.
|