Interactive Systems: Design, Specification, and VerificationSpringer, 1994 |
No grāmatas satura
1.–3. rezultāts no 58.
104. lappuse
... expression operators are strongly related to programming language constructs , e.g. , the selection ( + ) operator ... expression for the branch ( x > 0 ) // for instance , a sequence of primitive actions , // using the regular ...
... expression operators are strongly related to programming language constructs , e.g. , the selection ( + ) operator ... expression for the branch ( x > 0 ) // for instance , a sequence of primitive actions , // using the regular ...
105. lappuse
... expression for the branch ( x > 0 ) x < 0 : ( ) // regular sub - expression for the branch ( x < 0 ) The advantage of using this scheme for specifying primitive methods is that everything in the model is expressed by means of regular ...
... expression for the branch ( x > 0 ) x < 0 : ( ) // regular sub - expression for the branch ( x < 0 ) The advantage of using this scheme for specifying primitive methods is that everything in the model is expressed by means of regular ...
235. lappuse
... expression of informa- tion probably is as old as language itself . The paper addresses the question why we need both the expressions of natural language and analogue graphics for the repre- sentation of information . It is argued that ...
... expression of informa- tion probably is as old as language itself . The paper addresses the question why we need both the expressions of natural language and analogue graphics for the repre- sentation of information . It is argued that ...
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