Journal article
Using Computational Tree Logic Methods to Analyze Reachability in User Documentation
Proceedings of the Human Factors and Ergonomics Society Annual Meeting, v 59(1), pp 1481-1485
Sep 2015
Abstract
To support navigability, user documentation designers may use a table of contents, cross-References within procedures with page locations for related procedures, and in the case of PDF documentation, hyperlinks. Although standards and guidance exist for supporting navigable user documentation, problems appear across multiple industries including aviation and healthcare. To support user documentation development, we present a reachability analysis approach leveraging computational tree logic (CTL) reachability specifications as usability criteria coupled with a CTL model checker. A case study informed by an entry in an industry database highlights the effectiveness of the approach.
Metrics
4 Record Views
2 citations in Scopus
Details
- Title
- Using Computational Tree Logic Methods to Analyze Reachability in User Documentation
- Creators
- Andrew J. Abbate - Drexel UniversityEllen J. Bass - Drexel University
- Publication Details
- Proceedings of the Human Factors and Ergonomics Society Annual Meeting, v 59(1), pp 1481-1485
- Publisher
- Sage
- Resource Type
- Journal article
- Language
- English
- Academic Unit
- Information Science
- Scopus ID
- 2-s2.0-84981731703
- Other Identifier
- 991019174218304721