Detta arbete presenterar en strategi för utformningen av programvarukomponenten i ett interaktivt system, som stöder generering av automatisk uppgiftsorienterad hjälp. Hjälp kan enkelt genereras från den abstrakta formella specifikationen av det tillhörande systemet utan någon ytterligare ansträngning. Den arkitektoniska beskrivningen erhålls på ett taskclriven sätt, där uppgifter specificeras genom att ange tidsbeställning begränsningar med hjälp av operatörer av en samtidig formell notation. Sammanslutningen av användaruppgifter med programvaruinteraktionsobjekt, som ärver begränsningar av relaterade uppgifter, ger information för att strukturera uppgiftsorienterad hjälp på ett omedelbart sätt. Den hjälp som ges är således mer uttrycksfull med en åtföljande förbättring av användbarheten hos ett interaktivt system.
REF utvecklade ett tillvägagångssätt för att få uppgiftsorienterad hjälp från användargränssnittsspecifikationen.
Automatic generation of task-oriented help
{'venue': "UIST '95", 'journal': None, 'mag_field_of_study': ['Computer Science']}