Author:
Lu Longlong,Pan Minxue,Zhang Tian,Li Xuandong
Funder
National Natural Science Foundation of China
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference52 articles.
1. Alur, R., Holzmann Gerard, J., Peled, D.: An analyzer for message sequence charts. In: Margaria, T., Steffen, B. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, pp. 35–48. Springer, Berlin (1996)
2. Alur, R., Yannakakis, M.: Model checking of message sequence charts. In: Proceedings of the 10th International Conference on Concurrency Theory, CONCUR ’99, pp. 114–129. Springer, London (1999)
3. Andoni, A., Daniliuc, D., Khurshid, S., Marinov, D.: Evaluating the “small scope hypothesis”. Technical report, MIT CSAIL (2003)
4. Andrade, L., Fiadeiro, J.L., Gouveia, J., Koutsoukos, G.: Separating computation, coordination and configuration. J. Softw. Maint. Evol. Res. Pract. 14(5), 353–369 (2002)
5. Auer, M., Meyer, L., Biffl, S.: Explorative UML modeling-comparing the usability of UML tools. In: ICEIS (3), pp. 466–473 (2007)