Väl utformade gränssnitt använder procedurmässiga och sensoriska signaler för att öka betydelsen av lämpliga åtgärder och intentioner. Men empiriska studier tyder på att kognitiv belastning kan påverka styrkan i procedurmässiga och sensoriska signaler. Vi formaliserar förhållandet mellan hälsa och kognitiv belastning som avslöjas av empiriska data. Vi lägger till dessa regler till vår abstrakta kognitiva arkitektur som utvecklats för verifiering av användbarhetsegenskaper. Gränssnittet för en brandmotors avsändningsuppgift som används i de empiriska studierna verifieras sedan formellt för att bedöma regler för bärighet och belastning. Slutligen diskuterar vi hur den formella modelleringen och verifieringen föreslår ytterligare förbättringar av de regler som härrör från den informella analysen av empiriska data.
Ett undantag är REF, där en modell av hälsa och kognitiv belastning utvecklas och en användbarhet egenskap beaktas.
Formal Modelling of Salience and Cognitive Load ⋆
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}