Advances in Formal Design Methods for CAD
暂无分享,去创建一个
[1] Tetsuo Tomiyama,et al. Intelligent CAD Systems I , 1987, EurographicSeminars.
[2] Elwood S. Buffa,et al. A Heuristic Algorithm and Simulation Approach to Relative Location of Facilities , 1963 .
[3] Derek R. Wilson,et al. A computer-aided evaluation system for assessing design concepts , 1993 .
[4] Bill Hollins,et al. Successful Product Design: What to Do and When , 1990 .
[5] T. P. Tassios,et al. Modelling for Design , 1998 .
[6] Paul S. Rosenbloom,et al. Universal Subgoaling and Chunking , 1986 .
[7] C. J. Moore,et al. An expert system for the conceptual design of bridges , 1991 .
[8] Jan Treur,et al. A Compositional Knowledge-Based Architecture Modelling Process Aspects of Design Tasks , 1992 .
[9] Jan Treur,et al. Formal Notions for Verification of Dynamics of Knowledge-Based Systems , 1995, EUROVAV.
[10] John S. Gero,et al. Design Prototypes: A Knowledge Representation Schema for Design , 1990, AI Mag..
[11] Jan Treur,et al. ON FORMAL SPECIFICATION OF DESIGN TASKS , 1994 .
[12] Rudolf Koller,et al. Konstruktionslehre für den Maschinenbau , 1985 .
[13] Christopher Alexander. Notes on the Synthesis of Form , 1964 .
[14] J. Numata,et al. A case study: a network system for knowledge amplification in the product development process , 1996 .
[15] Jan Treur,et al. A Logical Foundation for Verification , 1994, ECAI.
[16] Colin Potts,et al. Recording the reasons for design decisions , 1988, Proceedings. [1989] 11th International Conference on Software Engineering.
[17] Warren P. Seering,et al. Computation and conceptual design , 1988 .
[18] Anil Nigam,et al. Qualitative Physics Using Dimensional Analysis , 1990, Artif. Intell..
[19] Jan Treur. A logical framework for design processes , 1992 .
[20] Brian Logan,et al. Design as intelligent behaviour: An AI in design research programme , 1990, Artif. Intell. Eng..
[21] Jan Treur. Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning , 1994 .
[22] Douglas B. Lenat,et al. On the thresholds of knowledge , 1987, Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications.
[23] Raymond Reiter,et al. A Theory of Diagnosis from First Principles , 1986, Artif. Intell..
[24] Jack Mostow,et al. Toward Better Models of the Design Process , 1985, AI Mag..
[25] J. R. Radbill,et al. Similitude and Approximation Theory , 1986 .
[26] Yehuda E. Kalay,et al. A partnership approach to computer-aided design , 1987 .
[27] H. Rittel,et al. Dilemmas in a general theory of planning , 1973 .
[28] Jintae Lee,et al. Extending the Potts and Bruns model for recording design rationale , 1991, [1991 Proceedings] 13th International Conference on Software Engineering.
[29] Michael K. Kim. Development of machine intelligence for inference of design intent implicit in design specification , 1987 .
[30] S. C-Y. Lu,et al. Design evolution management: a design methodology for representing and utilizing design rationale , 1990 .
[31] Km Wallace,et al. AI in mechanical engineering design , 1995 .
[32] Jan Treur,et al. A Formal Model for the Dynamics of Compositional Reasoning Systems , 1994, ECAI.
[33] T. Langholm. Partiality, truth and persistence , 1988 .
[34] Yan Jin,et al. i-AGENTS: Modeling Organizational Problem Solving in Multi-Agent Teams , 1993 .
[35] Mark Klein. Capturing Design Rationale for CE Teams Mark Klein-1-Capturing Design Rationale in Concurrent Engineering Teams , 1993 .
[36] Sebastian Lera,et al. Architectural designers' values and the evaluation of their designs , 1981 .
[37] Brian Logan,et al. Enduring Support - On Defeasible Reasoning in Design Support Systems , 1992 .
[38] L. Console,et al. Hypothetical Reasoning in Causal Models , 1990 .
[39] David C. Brown,et al. Design Problem Solving: Knowledge Structures and Control Strategies , 1989 .
[40] Tetsuo Tomiyama,et al. Extended general design theory , 1986 .
[41] M. P. Chong,et al. Characteristics of toothbrushes. , 1983, Australian dental journal.
[42] Ron Atkin,et al. Mathematical structure in human affairs , 1976 .
[43] Rudolf Wille,et al. Subdirect decomposition of concept lattices , 1983, ICFCA.
[44] Peter Dormer,et al. Design since 1945 , 1993 .
[45] James H. Garrett,et al. A framework for representing design intent , 1994 .
[46] Nigel Cross,et al. Engineering Design Methods: Strategies for Product Design , 1994 .
[47] Rudolf Wille,et al. Tensorial decomposition of concept lattices , 1985 .
[48] S M MacGill,et al. A Consideration of Johnson's Q-Discrimination Analysis , 1982 .
[49] Derek R. Wilson,et al. Evaluating the relationship between product and user , 1994 .
[50] John S. Gero,et al. An approach to the analysis of design protocols , 1998 .
[51] Elizabeth Collins Cromley. Sleeping Around: A History of American Beds and Bedrooms , 1990 .