Interactive Systems: Design, Specification, and VerificationSpringer, 1994 |
No grāmatas satura
1.–3. rezultāts no 39.
68. lappuse
... various tools and activities for different classes of applications . Application classes such as highly interactive applications , multiple - interface applications , highly interactive graphics such as CAD and GIS , and multiple - user ...
... various tools and activities for different classes of applications . Application classes such as highly interactive applications , multiple - interface applications , highly interactive graphics such as CAD and GIS , and multiple - user ...
181. lappuse
... various applications can be specified . Our current model has such a representation which captures user operations and data objects within an application , how this level of information maps to interface operations and objects , and how ...
... various applications can be specified . Our current model has such a representation which captures user operations and data objects within an application , how this level of information maps to interface operations and objects , and how ...
195. lappuse
... various aspects of the UIDE project : Spencer Rugaber , Hernan Astudillo , J.J. " Hans " de Graaff , Anton Spaans , Mark Gray , Srdjan Kovacevic , Ray Johnson , Todd Griffith , and our visiting researcher from Siemens , Thomas Kühme ...
... various aspects of the UIDE project : Spencer Rugaber , Hernan Astudillo , J.J. " Hans " de Graaff , Anton Spaans , Mark Gray , Srdjan Kovacevic , Ray Johnson , Todd Griffith , and our visiting researcher from Siemens , Thomas Kühme ...
Saturs
History Results and Bibliography of the User Interface Design | 3 |
Working Group Discussions | 49 |
A Continuum from | 77 |
Autortiesības | |
17 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 internal mapping menu methods model-based natural language node notation object-oriented Object-Z operations output parameter Petri nets presentation programming properties protocol prototype 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