Jacob, R.J.K., An Executable Specification Technique for Describing Human-Computer Interaction, chapter 8, in R. Hartson (ed.), "Directions in Human-Computer Interaction". Ablex Publishing Company, 1987, pp. 211--242.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....designers and developers in designing UIs according to a model based approach leading to executable plastic UIs. We now compare QTk with some selected work regarding to the executability of models and regarding to other model based approach [15] Other works are for instance [5,7,18,19] Jacob [11] is one of the pioneers who introduced the need for executable UIs from their specifications and demonstrated its feasibility, in this case from a state transition diagram expressing the dialogue. Lean Cuisine [17] is an executable semi formal graphical notation for specifying the underlying ....

Jacob, R.J.K., An Executable Specification Technique for Describing Human-Computer Interaction, chapter 8, in R. Hartson (ed.), "Directions in Human-Computer Interaction". Ablex Publishing Company, 1987, pp. 211--242.

....user interfaces (UIs) consists in capturing UI specifications into models from which a running UI can be derived. It is useful to be able to specify a desired UI formally into models before building it, particularly if a mockup suitable for testing can be obtained directly from the specification [1,9,10]. Each such model has three properties [16,18] 1. Declarative: specifications contained in each model should be expressed in a declarative specification language called interface modeling language. 2. Editable: specifications can be edited either manually by a human operator or automatically by ....

....in the domain of UI development environments that support designers and developers in designing UIs according to a model based approach leading to executable UIs. We now compare QTk with some selected work regarding to the executability of models and regarding to other modelbased approach. Jacob [9,10] is one of the pioneers who introduced the need for executable UIs from their specifications and demonstrated its feasibility, in this case from a statetransition diagram expressing the dialogue. Lean Cuisine [15] is an executable semiformal graphical notation for specifying the underlying ....

Jacob, R.J.K.: An Executable Specification Technique for Describing Human-Computer Interaction. Chapter 8. In: R. Hartson (ed.): "Directions in Human-Computer Interaction". Ablex Publishing Company (1987) 211--242

....user interfaces (UIs) consists in capturing UI specifications into models from which a running UI can be derived. It is useful to be able to specify a desired UI formally into models before building it, particularly if a mockup suitable for testing can be obtained directly from the specification [1,9,10]. Each such model has three properties [16,18] 1. Declarative: specifications contained in each model should be expressed in a declarative specification language called interface modeling language. 2. Editable: specifications can be edited either manually by a human operator or automatically by ....

....in the domain of UI development environments that support designers and developers in designing UIs according to a model based approach leading to executable UIs. We now compare QTk with some selected work regarding to the executability of models and regarding to other model based approach. Jacob [9,10] is one of the pioneers who introduced the need for executable UIs from their specifications and demonstrated its feasibility, in this case from a statetransition diagram expressing the dialogue. Lean Cuisine [15] is an executable semi formal graphical notation for specifying the underlying ....

Jacob, R.J.K.: An Executable Specification Technique for Describing Human-Computer Interaction. Chapter 8. In: R. Hartson (ed.): "Directions in Human-Computer Interaction ". Ablex Publishing Company (1987) 211--242

....For instance, the cut and paste feature cannot be described by grammars. Examples for the use of grammars to specify dialogues can be found in [Boru82] Gues82] Shne82] vdB83] and [Olse83] State transition networks are very often used for dialogue descriptions ( Kamr83] Schu85] [Jaco85], Yunt85] Since the descriptive power of simple transition networks is not sufficient, a number of extensions have been introduced leading to recursive transition networks ( Dene77] Gues82] and to augmented transition networks ( Kier83] Sibe85] Jaco83a] Wass85] The emphasis on an ....

R. J. K. Jacob. An executable specification technique for describing human-computer interaction. Advances in Human-Computer Interaction, 1985.

.... the code for an interactive application consists of two parts: a dialogue component, which handles communication with the user and implements the syntactic and lexical levels of the system; and a computational component, which performs the functional processing and implements the semantic level[10]. The semantic level of an application developed with a UIMS is typically written as a set of subroutines. The UIMS is responsible for calling appropriate routines in response to user inputs. In turn, the routines influence the dialogue for instance, by modifying what the user can do next on the ....

R.J.K. Jacob, "An Executable Specification Technique for Describing Human-Computer Interaction," in Advances in Human-Computer Interaction, Vol. 1, ed. by H.R. Hartson, pp. 211-242, Ablex Publishing Co., Norwood, N.J., 1985.

....condition under which it will be activated or else ALWAYS, meaning it is always active. 14 The lower portion shows the event handler in the form of a state diagram, with states represented as circles and transitions as arrows; further details of this state diagram notation itself are found in[30, 31]. The state diagram shows, inside each state, in upper case letters, the name of a condition that is activated when this state is entered; names in lower case letters are just state names not associated with conditions. Each arc has a token and, optionally, a Boolean expression that must be true ....

....perform common mathematical and geometric operations; in that case the body element would be absent. The actual contents inside a variable can be of various data types, as this example shows. The state transition diagram portion is expressed as a list of transitions from each state, similar to[30, 31]. This form of our language is translated into C code which is loaded along with base classes to implement the interface. The language also allows an optional render tag, not shown here, which can retain layout information generated and used only by the graphical editor; it does not affect the ....

[Article contains additional citation context not shown here]

R.J.K. Jacob, "An Executable Specification Technique for Describing Human-Computer Interaction," in Advances in Human-Computer Interaction, Vol. 1, ed. by H.R. Hartson, pp. 211-242, Ablex Publishing Co., Norwood, N.J., 1985.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC