Interactive Systems: Design, Specification, and VerificationSpringer, 1994 |
No grāmatas satura
1.–3. rezultāts no 32.
110. lappuse
... construction area , and by applying the appropriate regular expression operators to them , such as sequence , selection , and repetition . In this example we take a closer look at the construction of the print method of the print ...
... construction area , and by applying the appropriate regular expression operators to them , such as sequence , selection , and repetition . In this example we take a closer look at the construction of the print method of the print ...
119. lappuse
... construction mecha- nisms for P12 , C12 , and A12 would be different , but the differences are unclear . The purpose of this example is not to show that formalized representations are more precise than informal diagrams or that the ...
... construction mecha- nisms for P12 , C12 , and A12 would be different , but the differences are unclear . The purpose of this example is not to show that formalized representations are more precise than informal diagrams or that the ...
126. lappuse
... construction of compound objects . Because C12 ensures their consistency ( statement 21 ) , no coding changes to A1 or A2 are required . Table 3 , Part 4 concludes that the software construction mechanism for A12 should be ...
... construction of compound objects . Because C12 ensures their consistency ( statement 21 ) , no coding changes to A1 or A2 are required . Table 3 , Part 4 concludes that the software construction mechanism for A12 should be ...
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