2005
DOI: 10.1007/11431879_4
|View full text |Cite
|
Sign up to set email alerts
|

Support for Task Modeling – A ”Constructive” Exploration

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
15
0

Year Published

2006
2006
2019
2019

Publication Types

Select...
6
2

Relationship

2
6

Authors

Journals

citations
Cited by 20 publications
(15 citation statements)
references
References 7 publications
0
15
0
Order By: Relevance
“…The use of accessible formalisms has long been recognized as a key point to achieve a greater adoption of formal techniques in practice (Heitmeyer, 1998;Bowen et al, 2005). In this regard, many authors have remarked the utility of using scenarios to capture interactions in industrial development settings (see for example Dittmar et al, 2004;Rosson and Carroll, 2003). Likewise, temporal logic is highly suitable to express possible sequences of actions, dependencies between the actions of different actors, etc.…”
Section: Practicality Issuesmentioning
confidence: 98%
“…The use of accessible formalisms has long been recognized as a key point to achieve a greater adoption of formal techniques in practice (Heitmeyer, 1998;Bowen et al, 2005). In this regard, many authors have remarked the utility of using scenarios to capture interactions in industrial development settings (see for example Dittmar et al, 2004;Rosson and Carroll, 2003). Likewise, temporal logic is highly suitable to express possible sequences of actions, dependencies between the actions of different actors, etc.…”
Section: Practicality Issuesmentioning
confidence: 98%
“…• Processing scheme lists the type of information and sketches the algorithm that is used to process the source information. (Card et al, 1983;John and Kieras, 1996) Webtango (Ivory-Ndiaye, 2003;Ivory et al, 2001b;Ivory and Hearst, 2002;Ivory and Megraw, 2005) Cognitive Walkthrough (Blackmon et al, 2002;Kitajima, 2005;Kitajima et al, 2000;Landauer and Dumais, 1997;Pirolli and Card, 1999) Text on links/ text on headings of the pages ProcessLens (Heftberger and Stary, 2004;Dittmar et al, 2004;Stary, 2000Stary, , 2006Stoiber and Stary, 2003) UML specification…”
Section: Checking the Relations To Usability-engineering Principlesmentioning
confidence: 98%
“…The latter could check applications or designs against principles of usability engineering rather than software engineering, as soon as the status of development allows the utilization of the evaluation technique. For instance, as soon as the behaviour specification of an interactive application is completed for a particular work task (typically at design time), the ProcessLens technique and tool (Heftberger and Stary, 2004;Dittmar et al, 2004) allows testing the user interface, whether it is complete with respect to task support (Stary, 2006). In addition, any user interface derived from task specifications can be tested with respect to its look and feel at design time, both at the specification level, and as a prototype generated from those specifications.…”
Section: Introductionmentioning
confidence: 99%
“…2.4, we use TaOSpec (e.g. [9]) to enrich our example task model by task-domain objects which help to describe preconditions and effects of sub-tasks in a formal way.…”
Section: Fig 1 Ctt Model Of Task Manage Goods Receiptmentioning
confidence: 99%
“…1 is given (for more details on TaOSpec see e.g. [9]). Activity diagrams not only allow control flows but also object flows.…”
Section: Task-domain Objects and Object Flowsmentioning
confidence: 99%