Interactive Systems: Design, Specification, and VerificationSpringer, 1994 |
No grāmatas satura
1.–3. rezultāts no 65.
200. lappuse
... relations between them . A part - of relation indicates that one object is part of another object . A gen- eral relation indicates some other more general relationship between objects . Objects which have the same characteristics have a ...
... relations between them . A part - of relation indicates that one object is part of another object . A gen- eral relation indicates some other more general relationship between objects . Objects which have the same characteristics have a ...
206. lappuse
... relations between objects , have relations between types . The only kind of relation allowed between types is the inheritance relation . An inheritance relation associates two types , a supertype and a subtype . The supertype spec ...
... relations between objects , have relations between types . The only kind of relation allowed between types is the inheritance relation . An inheritance relation associates two types , a supertype and a subtype . The supertype spec ...
208. lappuse
... relations may have one or more rôle names , which indicate the relation- ship of objects to each other . In discussing rôle names , we limit ourselves to the consider- ation of binary general relations , where two types are associated ...
... relations may have one or more rôle names , which indicate the relation- ship of objects to each other . In discussing rôle names , we limit ourselves to the consider- ation of binary general relations , where two types are associated ...
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