This paper is based on ongoing work in developing interactive interfaces to formal methods for encoding design knowledge. It reports on the development of a shared graphical notation to support user interaction with design knowledge based on mixed-initiative. Mixed-initiative provides a model of interaction where both the designer and the knowledge formalism may share responsibility over decisions. The paper discusses how a formal visual notation can support the mixed-initiative mode for developing and managing formal design knowledge. The notation addresses on the dialogue problem between the user and a knowledge based formalism and illustrates a model of interaction in which the user and the formalism can share and input data through a co...
The elicitation of knowledge and its adequate representation is a pivotal point and often a bottlene...
Computer-based environments for supporting design are complex software artifacts. These tools need t...
The designing of computer-based artefacts to support knowledge work is far from a straightforward ra...
This paper is based on ongoing work in developing interactive interfaces to formal methods for encod...
The design space exploration formalism has developed data structures and algorithms of sufficient co...
This paper deals with the conceptual stage of the design process related to civil engineering. Diffe...
This thesis builds upon existing research on the formal aspects of human-computer interaction by pro...
Abstract—This paper deals with an approach to represent design knowledge and reasoning in computer s...
This paper deals with problem-oriented visual languages used for solving design tasks during the con...
Exploration with formal design systems comprises an iterative process of specifying problems, findin...
Over the last twenty years, the rapid adoption of the graphical user interface followed by the emerg...
Interactive system design is typically more successful if it is an iterative process involving colla...
This paper presents a knowledge-based approach to reducing impediments to collaboration in a distr...
Explicit representation of design knowledge is needed if scientific methods are to be applied in des...
Abstract. This paper describes a design technique for interactive systems that allows designs to be ...
The elicitation of knowledge and its adequate representation is a pivotal point and often a bottlene...
Computer-based environments for supporting design are complex software artifacts. These tools need t...
The designing of computer-based artefacts to support knowledge work is far from a straightforward ra...
This paper is based on ongoing work in developing interactive interfaces to formal methods for encod...
The design space exploration formalism has developed data structures and algorithms of sufficient co...
This paper deals with the conceptual stage of the design process related to civil engineering. Diffe...
This thesis builds upon existing research on the formal aspects of human-computer interaction by pro...
Abstract—This paper deals with an approach to represent design knowledge and reasoning in computer s...
This paper deals with problem-oriented visual languages used for solving design tasks during the con...
Exploration with formal design systems comprises an iterative process of specifying problems, findin...
Over the last twenty years, the rapid adoption of the graphical user interface followed by the emerg...
Interactive system design is typically more successful if it is an iterative process involving colla...
This paper presents a knowledge-based approach to reducing impediments to collaboration in a distr...
Explicit representation of design knowledge is needed if scientific methods are to be applied in des...
Abstract. This paper describes a design technique for interactive systems that allows designs to be ...
The elicitation of knowledge and its adequate representation is a pivotal point and often a bottlene...
Computer-based environments for supporting design are complex software artifacts. These tools need t...
The designing of computer-based artefacts to support knowledge work is far from a straightforward ra...