Author:
Apvrille Ludovic,de Saqui-Sannes Pierre,Khendek Ferhat
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference27 articles.
1. Abdalla, M., Khendek, F., Butler, G.: New results on deriving SDL specification from MSCs. In: Proceedings of SDL Forum’99, Montreal (1999)
2. Apvrille L., Courtiat J.-P., Lohr C., de Saqui-Sannes P.: TURTLE: a real-time UML profile supported by a formal validation toolkit. IEEE Trans. Softw. Eng. 30(7) (2004)
3. Born, M., Holz, E., Kath, O.: A Method for the design and development of distributed applications using UML, TOOLS-Pacific, Sydney (2000)
4. Clarck R.G., Moreira A.M.D.(2000). Use of E-LOTOS in adding formality to UML. J. Univers. Comput. Sci. 6(11): 1071–1087
5. Courtiat J.-P., Santos C.A.S., Lohr C., Outtaj B.(2000). Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. Comput Commun 23(12): 1104–1123
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Methods in Requirements Engineering: Survey and Future Directions;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14
2. SysML Flow Model;2022 29th Asia-Pacific Software Engineering Conference (APSEC);2022-12
3. An evaluation of timed scenario notations;Journal of Systems and Software;2010-02