Author:
Wang Xiang-Yun,Cai Kai-Yuan
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Cai, K.Y., Cangussu, J.W., DeCarlo, R.A., et al.: An overview of software cybernetics. In: Proceedings of the 11th Annual International Workshop on Software Technology and Engineering Practice, pp. 77–86 (2003)
2. Petrenko, A., Boroday, S., Groz, R., et al.: Confirming configurations in EFSM testing. IEEE Transactions on Software Engineering 30(1), 29–42 (2004)
3. Wang, P., Cai, K.Y.: Representing extended finite state machines for SDL by a novel control model of discrete event systems. In: Proceedings of the 6th International Conference on Quality Software, pp. 159–166 (2006)
4. Wang, X.Y., Ma, X.R.: An equivalence relation on extended finite state machines. In: International Conference on Computational Intelligence and Software Engineering, pp. 11–13 (2009)
5. Wang, X.Y., Zhang, W., Li, Y.C., et al.: A polynomial dynamic system approach to software design for attractivity requirement. Information Science 177(13), 2712–2725 (2007)