Reasoning about interactive systems with stochastic models

DOI10.1007/3-540-45522-1_9MaRDI QIDQ4474035zbMATH OpenFDO

Authors Gavin J. Doherty, Mieke Massink, G. P. Faconti

Publication date 4 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2220/22200144.htm

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computing methodologies and applications (68U99)

Recommendations

• Demonstrating the cognitive plausability of interactive system specifications
• An approach to formal verification of human-computer interaction
• Towards model checking stochastic process algebra
• Data-driven modelling and probabilistic analysis of interactive software usage
• Detecting multiple classes of user errors

Cited in

(5)

• Modeling a dynamic and uncertain world. I: Symbolic and probabilistic reasoning about change
• Reasoning about noisy sensors and effectors in the situation calculus
• Data-driven modelling and probabilistic analysis of interactive software usage
• Detecting multiple classes of user errors
• Demonstrating the cognitive plausability of interactive system specifications

Describes a project that uses

Uses Software

• Uppaal
• PEPA

This page was built for publication: Reasoning about interactive systems with stochastic models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4474035)