Formal specification of user interfaces

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Formal specification of user interfaces

Full text

Pdf (778 KB)

Source

ACM SIGCHI Bulletin archive
Volume 28 , Issue 3 (July 1996) table of contents

Pages: 27 - 33

Year of Publication: 1996

ISSN:0736-6906

Author

Christopher Rouff

NASA Goddard Space Flight Center

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 9, Downloads (12 Months): 22, Citation Count: 1

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/231132.231140 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	[1] R. Achuthan, V.S. Alagar, and T. Radhakrishnan. An object-oriented framework for specifying reactive systems. In ACFAS - Workshop on Object-Orientation in Databses and Software Engineering, Montreal, May 1994.
	2	M. D. Apperley , R. Spence, Lean cuisine: a low fat notation for menus, Interacting with Computers, v.1 n.1, p.43-68, April 1989 [doi>10.1016/0953-5438(89)90007-6]
	3	[3] P. Bumbulis, P.S.C. Alencar, D.D. Cowan, and C.F.P. Lucena. A framework for prototyping and mechanically verifying user interfaces, 1995. Proceedings of AMAST'95.
	4	L. M. F. Carneiro-Coffin , Donald D. Cowan , Carlos José Pereira de Lucena , D. Smith, An Experience Using JASMINUM - Formalization Assisting with the Design of User Interfaces, Proceedings of the Workshop on Software Engineering and Human-Computer Interaction, p.141-158, May 16-17, 1994
	5	David A. Carr, Specification of interface interaction objects, Proceedings of the SIGCHI conference on Human factors in computing systems: celebrating interdependence, p.372-378, April 24-28, 1994, Boston, Massachusetts, United States [doi>10.1145/191666.191793]
	6	[6] De Carolis, B. and de Rosis, F. Specifying user adapted man machine dialogues by extended Petri Nets. In Proceedings of the workshop on CSCW. 14th International Conference on Application and Theory of Petri Nets, Chicago. June 1993.
	7	R. E. Fields , P. C. Wright , M. D. Harrison, A task centered approach to analysing human error tolerance requirements, Proceedings of the Second IEEE International Symposium on Requirements Engineering, p.18, March 27-29, 1995
	8	Mark Green , Robert Jacob, SIGGRAPH '90 Workshop report: software architectures and metaphors for non-WIMP user interfaces, ACM SIGGRAPH Computer Graphics, v.25 n.3, p.229-235, July 1991 [doi>10.1145/126640.126677]
	9	[9] Kovacevic, S., TACTICS-A Model-Based Framework for Multimodal Interaction. In Proceedings of the AAAI Spring Symposium on Intelligent Multi-Media Multi-Modal Systems, Stanford University, CA March 21-23, 1994.
	10	Laurence Nigay , Joëlle Coutaz, A generic platform for addressing the multimodal challenge, Proceedings of the SIGCHI conference on Human factors in computing systems, p.98-105, May 07-11, 1995, Denver, Colorado, United States [doi>10.1145/223904.223917]
	11	Philippe A. Palanque , Rémi Bastide , V. Sengès, Validating interactive system design through the verification of formal task and system models, Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction, p.189-212, August 01, 1995
	12	[12] J. Coutaz, F. Paterno, G. Faconti, L. Nigay. A Comparison of Approaches for Specifying MultiModal Interactive Systems. Proceedings of ERCIM Workshop on MultiModal Human Interaction, Nancy, November 1993.
	13	Chris Rouff , Ellis Horowitz, A system for specifying and rapidly prototyping user interfaces, Taking software design seriously, Academic Press Professional, Inc., San Diego, CA, 1991