Interactive Systems: Design, Specification, and VerificationSpringer, 1994 |
No grāmatas satura
1.–3. rezultāts no 32.
149. lappuse
Design, Specification, and Verification. 10 A Tool - Supported Approach to the Refinement of Interactive Systems F. Paternó A. Leonardi S. Pangoli ABSTRACT In this paper we present an approach to support developers in the refinement of ...
Design, Specification, and Verification. 10 A Tool - Supported Approach to the Refinement of Interactive Systems F. Paternó A. Leonardi S. Pangoli ABSTRACT In this paper we present an approach to support developers in the refinement of ...
167. lappuse
... refinement of given specifications ( see figure 11.2 ) . 11.2.3 Specification Refinement and Generation of Efficient Programms As shown in figure 11.2 BOSS offers a refinement component which performs transforma- tions on the model ...
... refinement of given specifications ( see figure 11.2 ) . 11.2.3 Specification Refinement and Generation of Efficient Programms As shown in figure 11.2 BOSS offers a refinement component which performs transforma- tions on the model ...
174. lappuse
... refinement component ( see figure 11.2 ) for the automatic refinement of " underspecified " models . To be able to do so , a model based user interface construction tool like BOSS has to • organize possible user interface properties in ...
... refinement component ( see figure 11.2 ) for the automatic refinement of " underspecified " models . To be able to do so , a model based user interface construction tool like BOSS has to • organize possible user interface properties in ...
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