Author:
Campos José C.,Harrison Michael D.
Reference21 articles.
1. Gregory D. Abowd, Hung-Ming Wang, and Andrew F. Monk. A formal technique for automated dialogue development. In Proceedings of the First Symposium of Designing Interactive Systems — DIS’95, pages 219–226. ACM Press, August 1995.
2. Springer Computer Science,1996
3. Springer Computer Science;P Bumbulis,1996
4. Springer Computer Science;J Campos,1997
5. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244–263, April 1986.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Use case and task models;ACM Transactions on Software Engineering and Methodology;2013-07
2. A formal approach to the usability engineering;Proceedings of the Latin American conference on Human-computer interaction - CLIHC '03;2003
3. Using automated reasoning in the design of an audio-visual communication system;Eurographics;1999