Citation: | LI Bixin, LIAO Li, YU Ximeng, “A Verification-Based Approach to Evaluate Software Architecture Evolution,” Chinese Journal of Electronics, vol. 26, no. 3, pp. 485-492, 2017, doi: 10.1049/cje.2017.03.009 |
T. Mens and S. Demeyer, Software Evolution, Springer, pp.122-150, 2008.
|
O. Barais, "Software architecture evolution", Software Evolution, Springer Berlin Heidelberg, pp.233-262, 2008.
|
N. Medvidovic and R.N. Taylor, "A classification and comparison framework for software architecture description languages", IEEE Transactions on Software Engineering, Vol.26, No.1, pp.70-93, 2000.
|
C. Hofmeister, R.L. Nord and D. Soni, "Describing software architecture with UML", Software Architecture, Springer US, pp.145-159, 1999.
|
P.B. Kruchten, "The 4+1 view model of architecture", IEEE Software, Vol.12, No.6, pp.42-50, 1995.
|
H. Koziolek, "Sustainability evaluation of software architectures:A systematic review", Proceedings of Joint ACM SIGSOFT Conference on Quality of Software Architectures, Boulder, Colorado, USA, June 20-24, pp.21-35, 2011.
|
B.J. Williams and J.C. Carver, "Characterizing software architecture changes:A systematic review", Information and Software Technology, Vol.52, No.1, pp.31-51, 2010.
|
E.M. Clarke, O. Grumberg and D.A. Peled, Model Checking, MIT press, 1999.
|
H.M. Lin and W.H. Zhang, "Model checking:Theories, techniques and applications", Acta Electronica Sinica, Vol.30, No.l2, pp.1907-1912, 2002.
|
K.L. McMillan, "Symbolic model checking", Springer US, 1993.
|
G.J. Holzmann, "The model checker SPIN", IEEE Transactions on Software Engineering, Vol.23, No.5, pp.279-295, 1997.
|
J. Wang, W. Dong and Z. Qi, "Slicing hierarchical automata for model checking UML statecharts", Lecture Notes in Computer Science, Vol.2495, pp.435-446, 2002.
|
X. Sun, B. Li, S. Zhang and C. Tao, "HSM-based change impact analysis of object-oriented java programs", Chinese of Journal Electronics, Vol.20, No.2, pp.247-251, 2011.
|
X. Sun, B. Li, B. Li and Y. Chen, "SE-FCA:A model of software evolution with formal concept analysis", Chinese of Journal Electronics, Vol.24, No.1, pp.13-19, 2015.
|
P. Oreizy, N. Medvidovic and R.N. Taylor, "Architecture-based runtime software evolution", Proceedings of 20th International Conference on Software Engineering, Kyoto, Japan, April 19-25, pp.177-186, 1998.
|
R. Kazman, M.H. Klein, M.R. Barbacci, T.A. Longstaff, H.F. Lipson and J. Carriere, "The architecture tradeoff analysis method", Technical Report, Carnegie Mellon University, CMU/SEI-98-TR-008, 1998.
|