Author:
Miyazawa Alvaro,Lima Lucas,Cavalcanti Ana
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Artisan Studio,
http://atego.com/products/artisan-studio/
(accessed: April 11, 2013)
2. Lecture Notes in Computer Science;P. Gancarski,2009
3. Cavalcanti, A.L.C., Sampaio, A.C.A., Woodcock, J.C.P.: A Refinement Strategy for Circus. Form. Asp. Comp. 15(2-3), 146–181 (2003)
4. Coleman, J.W., Malmos, A.K., Larsen, P.G., Peleska, J., Hains, R., Andrews, Z., Payne, R., Foster, S., Miyazawa, A., Bertolini, C., Didier, A.: COMPASS Tool Vision for a System of Systems Collaborative Development Environment. In: 7th International Conference on System of Systems Engineering, pp. 451–456 (2012)
5. Ding, S., Tang, S.Q.: An approach for formal representation of SysML block diagram with description logic SHIOQ(D). Proceedings of the 2nd ICIIS 2, 259–261 (2010)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献