Author:
Makita Aoto,Wasaki Katsumi
Publisher
Springer International Publishing
Reference9 articles.
1. J. Tretmans, K. Wijbrans, M. Chaudron, Software engineering with formal methods: The development of a storm surge barrier control system revisiting seven myths of formal methods. Form. Methods Syst. Des. 19(2), 195–215 (2001)
2. C.B. Jones, Scientific decisions which characterize VDM. in FM’99-Formal Methods, vol. 1708 of Lecture Note In Computer Science, ed. by J.M. Wing, J. Woodcock, J. Davies, (1999), pp. 28–47
3. K. Tada, K. Wasaki, Application to the prototyping and its asynchronous UI using distributed VDM++ model execution environment. in Proceedings of the th IPSJ Forum on Information Technology Conference(FIT), vol. 4(1), September 2015, pp. 173–176
4. C.S. Wan, The web sites of international tourist hotels and tour wholesalers in taiwan. Tour. Manag. 23(2), 155–160 (2002)
5. H. Afzaal, N.A. Zafar, Formal analysis of subnet-based failure recovery algorithm in wireless sensor and actor and network. Complex Adapt. Syst. Model. 4 (2016)