Author:
Bolton Christie,Davies Jim
Reference22 articles.
1. D. Amyot and L. Logrippo. Use case maps and lotos for the prototyping and validation of a mobile group call system. Computer Communications, 23 (8), 2000.
2. D. Amyot, L. Logrippo, R.J.A. Buhr, and T. Gray. Use case maps for the capture and validation of distributed systems requirements. In Proceedings of RE ‘89, 1999.
3. C. Bolton. Iodata types and processes. Technical Report PRG-TR01–00, University of Oxford, 2000.
4. C. Bolton, J. Davies, and J. Woodcock. On the refinement and simulation of data types and processes. In K. Araki, A. Galloway, and K. Taguchi, editors, Proceedings of IFM’99. Springer, 1999.
5. H. Bowman and J. Derrick. A junction between state-based and behavioural specification. In P. Ciancarini, A. Fantechi, and R. Gorrieri, editors, Proceedings of FMOODS ‘89. Kluwer, 1999.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献