Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
An iterative design methodology for user-friendly natural language office information applications
ACM Transactions on Information Systems (TOIS)
(E)-LOTOS: (Enhanced) language of temporal ordering specification
Software specification methods
Voicexml: Strategies and Techniques for Effective Voice Application Development with Voicexml 2.0 with Cdrom
Efficient on-the-fly model-checking for regular alternation-free mu-calculus
Science of Computer Programming - Special issure on formal methods for industrial critical systems (FMICS 2000)
Modelling SIP Services Using CRESS
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Specification and implementation of an ISDN telephone system using LOTOS
FORTE '92 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V
Formally-Based Design Evaluation
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Advanced Modelling and Verification Techniques Applied to a Cluster File System
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Analysing interactive voice services
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
CHI '05 Extended Abstracts on Human Factors in Computing Systems
Test generation for radiotherapy accelerators
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Validating feature-based specifications: Research Articles
Software—Practice & Experience
Abstraction and analysis of clinical guidance trees
Journal of Biomedical Informatics
A Rigorous Methodology for Composing Services
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Graphical composition of grid services
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Hi-index | 0.00 |
Objectives: The aim was to support people with cognitive impairment through speech-based dialogues that guide them through everyday tasks such as activities of daily living. The research objectives were to simplify the design of prompting dialogues, to automate the checking of prompting dialogues for syntactic and semantic errors, and to automate the translation of dialogue designs into a form that allows their ready deployment. Approach: Prompting dialogues are described using cress (Communication Representation Employing Systematic Specification). This is a notation and toolset that allows the flow in a service (such as a dialogue) to be defined in an understandable and graphical way. A dialogue diagram is automatically translated into a formal specification for rigorous verification and validation. Once confidence has been built in the dialogue design, the dialogue diagram is automatically translated into VoiceXML and deployed on a voice platform. Results: All key objectives of the work have been achieved. A variety of significant dialogues have been successfully represented using the cress notation. These dialogues have been automatically analysed through formal verification and validation in order to detect anomalies. Finally, the dialogues have been automatically realised on a VoiceXML platform and have been evaluated with volunteer users.