共 13 条
- [1] [Anonymous], 1999, MESS SEQ CHARTS MSC
- [2] Baker P., 2008, Model-Driven Testing Using the UML Testing Profile
- [3] Brosch Petra, 2012, Formal Methods for Model-Driven Engineering. 12th International School of Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2012). Advanced Lectures, P336, DOI 10.1007/978-3-642-30982-3_10
- [4] Förtsch S, 2007, ICSOFT 2007: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL SE, P90
- [5] Haitao Dan, 2010, Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010), P53, DOI 10.1109/SEFM.2010.14
- [6] Helouet L, 2006, LECT NOTES COMPUT SC, V4320, P64
- [7] Ladkin P. B., 1995, Formal Description Techniques VII. Proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques, P355
- [9] Munson J. P., 1994, Transcending Boundaries, CSCW '94. Proceedings of the Conference on Computer Supported Cooperative Work, P231, DOI 10.1145/192844.193016
- [10] Mussa Mohamed, 2013, System Analysis and Modeling: Theory and Practice. 7th International Workshop, SAM 2012. Revised Selected Papers, P16, DOI 10.1007/978-3-642-36757-1_2