A formal specification of appearance and behaviour of visual environments
暂无分享,去创建一个
[1] E.J. Golin. Interaction diagrams: a visual language for controlling a visual program editor , 1991, Proceedings 1991 IEEE Workshop on Visual Languages.
[2] Morten Elvang-Gøransson,et al. A VDM Case Study in mural , 1992, IEEE Trans. Software Eng..
[3] Uli H. Chi. Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches , 1985, IEEE Transactions on Software Engineering.
[4] Brad A. Myers,et al. Taxonomies of visual programming and program visualization , 1990, J. Vis. Lang. Comput..
[5] Jeannette M. Wing,et al. A formal specification of a visual language editor , 1991, Proceedings of the Sixth International Workshop on Software Specification and Design.
[6] Luigi Cinque,et al. Towards a formal specification methodology for iconic interface design , 1990, Proceedings of the 1990 IEEE Workshop on Visual Languages.
[7] David A. Duce,et al. A Formal Specification of a Graphics System in the Framework of the Computer Graphics Reference Model , 1993, Comput. Graph. Forum.
[8] Genny Tortora,et al. Relation grammars for modelling multi-dimensional structures , 1990, Proceedings of the 1990 IEEE Workshop on Visual Languages.
[9] Fabio Paternò. Definition of Properties of User Interfaces Using Action-Based Temporal Logic , 1993, SEKE.
[10] Michael D. Harrison. A Model for the Option Space of Interactive System , 1992, Engineering for Human-Computer Interaction.
[11] Eric J. Golin. A method for the specification and parsing of visual languages , 1991 .
[12] K. T. Narayana,et al. Formal Specification of a Look Manager , 1990, IEEE Trans. Software Eng..
[13] Rocco De Nicola,et al. An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems , 1993, Comput. Networks ISDN Syst..
[14] Joëlle Coutaz,et al. PAC, an Object Oriented Model for Dialog Design , 1987 .