Text, context, and hypertext: writing with and for the computer
Task-related knowledge structures: analysis, modelling and application
Proceedings of the Fourth Conference of the British Computer Society on People and computers IV
Communication and concurrency
Managing interactive video/multimedia projects
Managing interactive video/multimedia projects
Text and context: document storage and processing
Text and context: document storage and processing
Task-analytic approach to the automated design of graphic presentations
ACM Transactions on Graphics (TOG)
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
MICROCOSM: an open model for hypermedia with dynamic linking
Hypertext: concepts, systems and applications
The role of task analysis in systems design
Interacting with Computers
Multimedia in practice: technology and applications
Multimedia in practice: technology and applications
Executable task analysis: integration issues
HCI '94 Proceedings of the conference on People and computers IX
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Communicating sequential processes
Communications of the ACM
Hyperwave: The Next Generation Web Solution, with CD-ROM
Hyperwave: The Next Generation Web Solution, with CD-ROM
Interactive Multimedia Instruction
Interactive Multimedia Instruction
Designing Hypermedia Documentation for Safety Critical Applications
ITCC '00 Proceedings of the The International Conference on Information Technology: Coding and Computing (ITCC'00)
A Methodology for Design of Large Hypermedia Systems
EUROMICRO '98 Proceedings of the 24th Conference on EUROMICRO - Volume 2
Formal design of SMIL presentations
Proceedings of the 21st annual international conference on Documentation
A method for risk mitigation during the requirements phase for multimedia software systems
SIGDOC '06 Proceedings of the 24th annual ACM international conference on Design of communication
Hi-index | 0.00 |
This paper describes ongoing work to apply software engineering methods to the production of hypermedia technical documentation for safety critical application areas. Technical documentation is an increasingly important application area for hypermedia. In industries such as aerospace the economic drivers for widespread adoption of online hypermedia are very strong. One of the major issues in hypermedia design in these applications areas is the lack of rigorous design methods which would allow guarantees of correctness to be made. Current work on 'industrial strength' hypermedia has tended to concentrate on issues of system robustness or database query techniques. This work is directed at document systems which are designed as a coherent whole, to provide means of specifying and validating such documents by application of formal methods, allowing mathematical proofs to be made. These methods, in themselves, are not adequate, since they are accessible only to software engineers. A usable method must be accessible to document designers and software engineers. A 'formal storyboard' notation has been devised which has proven to be usable by those trained in hypermedia design and translates directly into the process algebra CCS (Calculus of Communicating Systems). The method has the potential to address at least one of the major problems impeding the use of hypermedia in technical documentation supporting safety critical industries.