Interactive Systems: Design, Specification, and VerificationSpringer, 1994 |
No grāmatas satura
1.3. rezultāts no 76.
282. lappuse
... Sequences for selection , such as the one in Figure 17.1 , are used frequently within interaction designs . Therefore , this sequence is a good candidate for reuse to avoid repeating essentially the same articulatory details every time ...
... Sequences for selection , such as the one in Figure 17.1 , are used frequently within interaction designs . Therefore , this sequence is a good candidate for reuse to avoid repeating essentially the same articulatory details every time ...
406. lappuse
... sequences : it : K * →→ A it An input template extracts the sequence of actions that an input sequence is perceived as producing , this may not be what it actually produces . Individual input templates may be identified by empirical ...
... sequences : it : K * →→ A it An input template extracts the sequence of actions that an input sequence is perceived as producing , this may not be what it actually produces . Individual input templates may be identified by empirical ...
416. lappuse
... sequence of actions before getting to see any of the output . In fact this property is what essentially ... sequence is unspecified ( this also requires special provision in the language implementation ) . For example , we might have the ...
... sequence of actions before getting to see any of the output . In fact this property is what essentially ... sequence is unspecified ( this also requires special provision in the language implementation ) . For example , we might have the ...
Saturs
History Results and Bibliography of the User Interface Design | 3 |
Interactions with Advanced Graphical Interfaces and the Deployment | 15 |
Working Group Discussions | 52 |
Autortiesības | |
21 citas sadaļas nav parādītas.
Bieži izmantoti vārdi un frāzes
abstract agent algebraic analogue graphics application architecture attributes automatically behaviour button cognitive command components concepts connection constraints context cursor database defined described design activities diagram dialogue display template domain end-users entity example expression feedback Figure Foley formal formal methods formal specification function goals grammar graphic object human Human-Computer Interaction icon implementation initial input integration interaction objects interaction style interactive systems interactive task interactor interface model mapping menu methods model-based natural language node notation object-oriented Object-Z operations output parameter Petri nets presentation programming properties protocol prototype PSTART regular expression representation represented requirements result runtime Scrollbar semantic sequence Software Engineering specification structure subsystems Sukaviriya synchronization system model task analysis task model techniques temporal transaction transformation tuple UIDE update user actions User Interface Design visual