Integrating status and event phenomena in formal specifications of interactive systems
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Crossroads - Special issue on human computer interaction
A software model and specification language for non-WIMP user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
Towards quality requirements via animated formal specifications
Annals of Software Engineering
HOPS: A Prototypical Specification Tool for Interactive Systems
Interactive Systems. Design, Specification, and Verification
Human-Computer Interaction
Including design guidelines in the formal specification of interfaces in z
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
A formal basis for modelling process and task management aspects of user interface design
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
The formal development of a windows interface
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
| Hi-index | 0.00 |