F.M.T. Brazier, P.H.G. van Langen, J. Treur, N.J.E. Wijngaards  Home/Search
Context
Related
| dfki.unisb.de/pub/reuse/brazier.ps informatik.unifreiburg.de...niek.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math....dfki.unisb.de (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, but can be found in [Brazier et al., (Update)
Active bibliography (related documents): More All
0.7: Modelling an elevator design task in DESIRE: the VT.. - Brazier, Van Langen.. (1996) (Correct)
0.7: A Logical Theory of Design - Brazier, Van Langen, Treur (1996) (Correct)
0.5: Temporal Semantics of Compositional Task Models And .. - Brazier, Treur.. (1999) (Correct)
Similar documents based on text: More All
1.0: Model-Based Development Of Design Process Models.. - Brazier, Van.. (2002) (Correct)
0.8: Modelling Interaction with Experts: The Role of a Shared.. - Brazier, Treur.. (1996) (Correct)
0.8: Assumptions on the VT task model in DESIRE - Brazier, van Langen, Treur.. (1996) (Correct)
BibTeX entry: (Update)
@misc{ brazier-formalising,
author = "F.M.T. Brazier and P.H.G. van Langen and J. Treur and N.J.E. Wijngaards",
title = "Formalising Reuse of Reasoning Components",
url = "citeseer.ist.psu.edu/162987.html" }
Citations (may not include all citations):71 Design Problem Solving: a Task Analysis - Chandrasekaran - 1990
56 Formal Specification of MultiAgent Systems: a Real-World Cas.. - Brazier, Dunin-Keplicz et al. - 1994
47 VT: an expert elevator designer that uses knowledgebased bac.. (context) - Marcus, Stout et al. - 1988
34 Model driven knowledge acquisition: interpretation models (context) - Breuker - 1987
26 Formal specification of compositional architectures (context) - van Langevelde, Philipsen et al. - 1992
20 Knowledgebased design systems (context) - Coyne, Rosenman et al. - 1990
16 Temporal semantics of meta-level architectures for dynamic c.. (context) - Treur - 1994
12 User centered knowledge-based system design: a formal modell.. (context) - Brazier, Treur - 1994
11 On formal specification of design tasks (context) - Brazier, van Langen et al. - 1994
10 A logical foundation for verification (context) - Treur, Willems - 1994
9 Modelling conflict management in design: an explicit approac.. - Brazier, van Langen et al. - 1994
6 Design space navigation as a collaborative aid - Petrie, Cutkovsky et al. - 1994
6 A knowledge-based system for routing of international blank .. (context) - Geelen, Kowalczyk - 1992
5 Knowledge representation for preliminary stages of engineeri.. (context) - Smith, Boulanger - 1994
4 Redesign and reuse in compositional knowledge-based systems (context) - Brazier, van Langen et al. - 1995
3 Modelling a design task in DESIRE: the VT example (context) - Brazier, van Langen et al. - 1994
3 DESIRE: designing an elevator configuration (context) - Brazier, van Langen et al. - 1994
1 A formalization of hierarchical task decomposition (context) - Brazier, Treur et al. - 1994
1 Knowledge Structures and Control Strategies Pitman (context) - Brown, Chandrasekaran et al. - 1989
1 the nature of theory and design (context) - Smithers - 1994
1 Medical Computer Science Group (context) - Yost, systems et al. - 1994
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.dfki.uni-sb.de.html): More
Integrating Affective Computing Into Animated Tutoring Agents. - Elliott, al. (1997) (Correct)
Referring in Multimodal Systems: The Importance of.. - Petrelli, De.. (1997) (Correct)
Planning Referential Acts for Animated Presentation Agents - André, Rist (Correct)
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