Probabilistic Formal Analysis of App Usage to Inform Redesign.

Oana Andrei Muffy Calder Matthew Chalmers Alistair Morrison Mattias Rost

Published in: CoRR (2015)

Keyphrases

formal analysis
bayesian networks
agent model
formal methods
ban logic
expert systems
generative model
business process
design process
social networking
user experience
probabilistic model
user behavior
information systems
context aware
mobile applications
object oriented
knowledge representation
website