Formal methods in human-computer interaction
Formal methods in human-computer interaction
Putting design into practice: formal specification and the user interface
Formal methods in human-computer interaction
Specification, analysis and refinement of interactive processes
Formal methods in human-computer interaction
A new model for handling input
ACM Transactions on Information Systems (TOIS)
Window user interfaces and software maintenance
Journal of Software Maintenance: Research and Practice
Controlling user interface objects through pre- and postconditions
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Test template framework: a specification-based testing case study
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Adopting Cleanroom software engineering with a phased approach
IBM Systems Journal
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
AVI '94 Proceedings of the workshop on Advanced visual interfaces
Object-Z: a specification language advocated for the description of standards
Computer Standards & Interfaces - Special issue on formal description techniques
Test templates: a specification-based testing framework
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Ten Commandments of Formal Methods
Computer
IEEE Software
A Review of Formalisms for Describing Interactive Behaviour
ICSE '94 Proceedings of the Workshop on Software Engineering and Human-Computer Interaction
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Object Orientation in Z
ACM '69 Proceedings of the 1969 24th national conference
Using Object-Z to Specify a Web Browser Interface
OZCHI '96 Proceedings of the 6th Australian Conference on Computer-Human Interaction (OZCHI '96)
Information system user interface complexity
USAB'10 Proceedings of the 6th international conference on HCI in work and learning, life and leisure: workgroup human-computer interaction and usability engineering
| Hi-index | 0.00 |