Reasoning on gestural interfaces through syndetic modelling]
ACM SIGCHI Bulletin
Tool support for requirements formalisation
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
“…And nothing else changes”: the frame problem in procedure specifications
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Towards quality requirements via animated formal specifications
Annals of Software Engineering
Model Checking Interactor Specifications
Automated Software Engineering
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
A formal approach to the usability engineering
Proceedings of the Latin American conference on Human-computer interaction
Towards specification, modelling and analysis of fault tolerance in self managed systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Human-Computer Interaction
Considering Context and Users in Interactive Systems Analysis
Engineering Interactive Systems
A syndetic approach to referring phenomena in multimodal interaction
ReferringPhenomena '97 Referring Phenomena in a Multimedia Context and their Computational Treatment
A coordination model for interactive components
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Observation and abstract behaviour in specification and implementation of state-based systems
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
A formal approach to design patterns in Re-engineering
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Hi-index | 0.00 |