Ethnographically-informed systems design for air traffic control
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
Prototyping an intelligent agent through Wizard of Oz
CHI '93 Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
CTTE: support for developing and analyzing task models for interactive system design
IEEE Transactions on Software Engineering
Preventing user errors by systematic analysis of deviations from the system task model
International Journal of Human-Computer Studies
A Tool Suite for Integrating Task and System Models through Scenarios
DSV-IS '01 Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers
Humans and Automation: System Design and Research Issues
Humans and Automation: System Design and Research Issues
Security and Privacy Requirements Analysis within a Social Setting
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Patterns of cooperative interaction: Linking ethnomethodology and design
ACM Transactions on Computer-Human Interaction (TOCHI)
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Security Patterns: Integrating Security and Systems Engineering
Security Patterns: Integrating Security and Systems Engineering
Modeling Security Requirements Through Ownership, Permission and Delegation
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
Design Patterns Explained: A New Perspective on Object-Oriented Design (2nd Edition) (Software Patterns Series)
Using Security and Dependability Patterns for Reaction Processes
DEXA '08 Proceedings of the 2008 19th International Conference on Database and Expert Systems Application
Supporting resilience in air traffic management
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
| Hi-index | 0.00 |
This paper is concerned with the validation of complex interactions. It reports our validation activities for the design of a tool supporting Security and Dependability (S&D) requirements tailored for the Air Traffic Management domain.