Text, context, and hypertext: writing with and for the computer
Managing interactive video/multimedia projects
Managing interactive video/multimedia projects
Structuring dialogues using CSP
Formal methods in human-computer interaction
Text and context: document storage and processing
Text and context: document storage and processing
An introduction to modal and temporal logics for CCS
Proceedings of the UK/Japan workshop on Concurrency : theory, language, and architecture: theory, language, and architecture
Lost in hyperspace: cognitive mapping and navigation in a hypertext environment
Hypertext: theory into practice
Communication and Concurrency
Formal Techniques for an ITSEC-E4 Secure Gateway
ACSAC '96 Proceedings of the 12th Annual Computer Security Applications Conference
Team accessible methods for production of safety critical hypermedia documentation
IPCC/SIGDOC '00 Proceedings of IEEE professional communication society international professional communication conference and Proceedings of the 18th annual ACM international conference on Computer documentation: technology & teamwork
Checking marked-up documentation for adherance to site-specific standards
Proceedings of the 23rd annual international conference on Design of communication: documenting & designing for pervasive information
Hypermedia maintenance support applications: benefits and development costs
Computers in Industry
Hypermedia maintenance support applications: Benefits and development costs
Computers in Industry
Hi-index | 0.00 |
This paper discusses the requirements for authoring methodologies for large multimedia systems to be used for technical documentation in the domain of 'safety critical' industries. In such industries, the documentation used to support maintenance and repair may itself be safety critical, in that incorrect documentation can lead to incorrect maintenance procedures. Design issues for such systems include those of the verifiable, in terms of both their content and other issues such as sequence of presentation. It is argued that the addressing of these issues is essential to the development of technical documentation systems that are of sufficient quality to be used for safety critical applications such a within the transport industry. The requirements that viable design methodologies for these applications must address are discussed, and a methodology is proposed, based on traditional authoring methods and process algebra based formal specification and verification.