| 2001 |
|---|
| 13 | EE | David Leadbetter,
Andrew Hussey,
Peter A. Lindsay,
Andrew Neal,
Mike Humphreys:
Towards Model Based Prediction of Human Error Rates in Interactive Systems.
AUIC 2001: 42-49 |
| 12 | EE | Michael Mahemoff,
Andrew Hussey,
Lorraine Johnston:
Pattern-Based Reuse of Successful Designs: Usability of Safety-Critical Systems.
Australian Software Engineering Conference 2001: 31-39 |
| 11 | EE | Andrew Hussey,
Ian MacColl,
David A. Carrington:
Assessing Usability from Formal User-Interface Designs.
Australian Software Engineering Conference 2001: 40-47 |
| 10 | EE | Simon Connelly,
Jay Burmeistery,
Anthony MacDonald,
Andrew Hussey:
Extending and Evaluating a Pattern Language for Safety-Critical User Interfaces.
SCS 2001: 39-50 |
| 2000 |
|---|
| 9 | EE | Andrew Hussey:
Formal Object-Oriented User-Interface Design.
Australian Software Engineering Conference 2000: 129-138 |
| 8 | EE | Andrew Hussey:
HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems.
SAFECOMP 2000: 371-381 |
| 1999 |
|---|
| 7 | | Andrew Hussey,
David A. Carrington:
Model-Based Design of User Interfaces Using Object-Z.
CADUI 1999: 43-56 |
| 6 | EE | Andrew Hussey:
Patterns for Safer Human-Computer Interfaces.
SAFECOMP 1999: 103-112 |
| 5 | EE | Andrew Hussey:
Using Design Patterns to Derive PAC Architectures from Object-Z Specifications.
TOOLS (32) 1999: 40-51 |
| 4 | | Andrew Hussey,
David A. Carrington:
Object-oriented user-interface development.
IEE Proceedings - Software 146(5): 221-231 (1999) |
| 1997 |
|---|
| 3 | EE | Andrew Hussey,
David A. Carrington:
Specifying the UQ* user-interface with Object-Z.
APSEC 1997: 374- |
| 2 | | Andrew Hussey:
Object-oriented Specification and Design of User-interfaces.
INTERACT 1997: 632-635 |
| 1 | | Andrew Hussey,
David A. Carrington:
Comparing the MVC and PAC architectures: a formal perspective.
IEE Proceedings - Software 144(4): 224-236 (1997) |
