F. M. T. Brazier, P. H. G. van Langen, J. Treur, N. J. E. Wijngaards and M. Willems, Modelling an elevator design task in DESIRE: the VT example (A. Th. Schreiber and W. P. Birmingham, Eds), Special Issue on Sisyphus-VT, International Journal of Human-Computer Studies 44, 1996, 469-520.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....a loop of Propose, Test, and if necessary) Revise is entered until a complete, correct design has been found. In this case it is copied to Output. Parametric design based on (variants of) the Propose and Revise method has been studied extensively. The interested reader is directed to [5] and [24] for complete formal models of parametric design using DESIRE and KARL, respectively. In the rest of this section, some interesting ideas used in the formalizations of the running example presented in the long version ( 6] are presented. Some conventions and principles are used in more ....

F. Brazier, P. van Langen, J. Treur, N. Wijngaards, and M. Willems. Modelling an elevator design task in DESIRE: the VT example. International Journal of Human-Computer Studies, Special Issue on Sisyphus-VT (A.Th. Schreiber and W.P. Birmingham, Eds.), 44(3--4):469--520, 1996.

....reasoning about requirements and their qualifications, 2) reasoning about design object descriptions, and (3) reasoning about the design process, are distinguished. This model is based on a logical analysis of design processes [21] and on analyses of applications, including elevator configuration [22] and design of environmental measures [23] The model provides a generic structure, which can be refined for specific design tasks in different domains of application. Refinement of the generic design model, by specialisation and instantiation, involves the specification of more specific ....

F. M. T. Brazier, P. H. G. van Langen, J. Treur, N. J. E. Wijngaards and M. Willems, Modelling an elevator design task in DESIRE: the VT example (A. Th. Schreiber and W. P. Birmingham, Eds), Special Issue on Sisyphus-VT, International Journal of Human-Computer Studies 44, 1996, 469-520.

.... explicit reasoning about requirements and their qualifications, reasoning about design object descriptions and reasoning about the design process are distinguished, is based on a logical (formal) analysis of design processes [12] and on analyses of applications, including elevator configuration [23] and design of environmental measures [24] Within this knowledge level model different levels of reflection are distinguished enabling explicit representation of design strategies and design SUBMITTED TO AI IN ENGINEERING, FEBRUARY 2001 3 process progress monitoring. One of the advantages ....

Brazier FMT, Langen PHG van, Treur J, Wijngaards, NJE, Willems M. Modelling an elevator design task in Desire: the VT example. In: Schreiber ATh, Birmingham WP, editors. Special Issue on Sisyphus-VT. In: International Journal of Human-Computer Studies (IJHCS) 1996;44:p. 469-520.

....copied to Output. Init; repeat Propose; Test; if Violations then Revise endif until Evaluate; Copy Figure 4: Control flow of Propose Revise. Parametric design based on (variants of) the Propose Revise method has been studied extensively. The interested reader is directed to [42] and [43] for complete formal models of parametric design using DESIRE and KARL, respectively. 8 4 Frameworks Studied In this section, we will give a description of all of the frameworks to be studied. Each description will treat syntax, semantics, axiomatization and proof calculi (if ....

F. M. T. Brazier, P. Langen, J. Treur, N. J. E. Wijngaards, and M. Willems, "Modelling an elevator design task in DESIRE: the VT example," International Journal of Human-Computer Studies, Special Issue on Sisyphus-VT (A.Th. Schreiber and W.P. Birmingham, Eds.), vol. 44, no. 3--4, pp. 469--520, 1996.

....necessary) Revise is entered until a complete, correct design has been found. In this case it is copied to Output. Figure 4: Control flow of Propose Revise. Parametric design based on (variants of) the Propose Revise method has been studied extensively. The interested reader is directed to [42] and [43] for complete formal models of parametric design using DESIRE and KARL, respectively. 4 Frameworks Studied In this section, we will give a description of all of the frameworks to be studied. Each description will treat syntax, semantics, axiomatization and proof calculi (if existing) ....

F. M. T. Brazier, P. Langen, J. Treur, N. J. E. Wijngaards, and M. Willems, "Modelling an elevator design task in DESIRE: the VT example," International Journal of Human-Computer Studies, Special Issue on Sisyphus-VT (A.Th. Schreiber and W.P. Birmingham, Eds.), vol. 44, no. 3--4, pp. 469--520, 1996.

....a loop of Propose, Test, and if necessary) Revise is entered until a complete, correct design has been found. In this case it is copied to Output. Parametric design based on (variants of) the Propose and Revise method has been studied extensively. The interested reader is directed to [4] and [25] for complete formal models of parametric design using DESIRE and KARL, respectively. In the rest of this section, some interesting ideas used in the formalizations of the running example in the long version ( 6] are presented. In particular, for each approach a formalization of the ....

F. Brazier, P. van Langen, J. Treur, N. Wijngaards, and M. Willems. Modelling an elevator design task in DESIRE: the VT example. International Journal of Human-Computer Studies, Special Issue on Sisyphus-VT (A.Th. Schreiber and W.P. Birmingham, Eds.), 44(3--4):469--520, 1996.

....strategic knowledge within design processes. Refined and improved versions of this model have been used to analyse different types of design (sub )tasks in a number of domains; for example, conflict management in design [17] re design of knowledge based systems [18] elevator configuration design [19] and design rationale [20] This generic model of design, as Oshuga s model of design [3] distinguishes reasoning about requirements, reasoning about design object descriptions and reasoning about the design process as a whole. The generic model of design assumes the existence of a problem ....

Brazier, F.M.T., Langen, P.H.G. van, Treur, J., Wijngaards, N.J.E. and Willems, M., Modelling an elevator design task in DESIRE: the VT example. In A.Th. Schreiber and W.P. Birmingham, Eds, Int. J. Human-Computer Studies, Special Issue on Sisyphus-VT, 1996, 44, 469--520.

.... in which reasoning about requirements and their qualifications, reasoning about design object descriptions and reasoning about the design process are distinguished, has been introduced in (Brazier, Langen, Ruttkay and Treur, 1994) This model is based on a logical analysis of design processes (Brazier, Langen and Treur, 1996) and on analyses of applications, including elevator configuration (Brazier, Langen, Treur, Wijngaards and Willems, 1996) and design of environmental measures (Brazier, Treur and Wijngaards, 1996) The model not only provides an abstract description of a design process comparable to a design ....

Brazier, F.M.T., Langen, P.H.G. van, Treur, J., Wijngaards, N.J.E. and Willems, M. 1996. Modelling an elevator design task in Desire: the VT example. In: Schreiber, A.Th., and Birmingham, W.P. (Eds.), Special Issue on Sisyphus-VT. International Journal of HumanComputer Studies, 1996, 44:469-520.

.... in which reasoning about requirements and their qualifications, reasoning about design object descriptions and reasoning about the design process are distinguished, has been introduced in (Brazier, Langen, Ruttkay and Treur, 1994) This model is based on a logical analysis of design processes (Brazier, Langen and Treur, 1996) and on analyses of applications, including elevator configuration (Brazier, Langen, Treur, Wijngaards and Willems, 1996) and design of environmental measures (Brazier, Treur and Wijngaards, 1996) The model not only provides an abstract description of a design process comparable to a design ....

Brazier, F.M.T., Langen, P.H.G. van, Treur, J., Wijngaards, N.J.E. and Willems, M. (1996). Modelling an elevator design task in Desire: the VT example. In: Schreiber, A.Th., and Birmingham, W.P. (Eds.), Special Issue on Sisyphus-VT. International Journal of Human-Computer Studies, 1996, 44, pp. 469-520.

.... the deliberation process The compositional generic model of design (see Figure 3) in which reasoning about requirements and their qualifications, reasoning about design object descriptions and reasoning about the design process are distinguished, is based on a logical analysis of design processes (Brazier, Langen and Treur, 1996) and on analyses of applications, including elevator configuration (Brazier, Langen, Treur, Wijngaards and Willems, 1996) and design of environmental measures (Brazier, Treur and Wijngaards, 1996) The model provides a generic structure which can be refined for specific design tasks in different ....

Brazier, F.M.T., Langen, P.H.G. van, Treur, J., Wijngaards, N.J.E. and Willems, M. 1996. Modelling an elevator design task in Desire: the VT example. In: Schreiber, A.Th., and Birmingham, W.P. (Eds.), Special Issue on Sisyphus-VT. International Journal of Human-Computer Studies, 1996, 44:469-520.

No context found.

F.M.T. Brazier, et al., Modelling an elevator design task in DESIRE: the VT example. Int. Journal of Human-Computer Studies, 44(3): p.469-520, (1996).

No context found.

F.M.T. Brazier, et al., Modelling an elevator design task in DESIRE: the VT example. Int. Journal of Human-Computer Studies, 44(3): 469-520, (1996).

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