Mathematical theory of design: Representation of design artifacts (Part I)

International Journal of General Systems

Volumn 27, Issue 4, 1999, Pages 275-318

  Maimon, Oded ^a   Braha, Dan ^b  

^a TEL AVIV UNIVERSITY   (Israel)

^b BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; KNOWLEDGE REPRESENTATION; MATHEMATICAL MODELS;

FORMAL GENERAL DESIGN THEORY (FGDT);

COMPUTER AIDED DESIGN;

EID: 0032681496     PISSN: 03081079     EISSN: None     Source Type: Journal    
DOI: 10.1080/03081079908962068     Document Type: Article

References (50)

1. Antonsson, E.K. (1987) "Development and testing of hypotheses in engineering design research." Journal of Mechanisms, Transmissions, and Automation in Design, 109, pp. 153-154.
2. Arciszewski, T. (1990) "Design theory and methodology in Eastern Europe". In Design Theory and Methodology - DTM'90 (Chicago, Il). pp. 209-218. New-York, NY. The American Society of Mechanical Engineers.
3. Bezier, P.E. (1984) "CAD/CAM: Past, Requirements, Trends." In Proc. CAD. Brighton. pp. 1-11.
4. Boulding, E.K. (1956) "General systems theory - the skeleton of science." Management Science. 2.
5. Braha, D. and O. Maimon, (1994a) "A Mathematical Theory of Design: Modeling the Design Process (Part II)." Technical Report 94, Tel-Aviv University, Israel.
6. Braha, D. and O. Maimon, (1994b) "Measurable Properties of Design Processes." Technical Report. Boston University.
7. Checkland, B.P. (1970) "Science and the systems paradigm." International Journal of General Systems, 3.
8. Coyne, R.D.M.A. Rosenman, A.D. Radford, M. Balachandran, and J.S. Gero, (1990) Knowledge-Based Design Systems. Addison-Wesley. Reading. MA.
9. Cross, N. (ed.) (1984) Development in Design Methodology. John Wiley. New York.
10. Dasgupta, S. (1989) "The Structure of Design Processes." In Advances in Computers. Vol. 28. M. C. Yovits (ed.). Academic Press. New York. pp. 1-67.
11. Dijkstra, E.W. (1972) Notes on Structural Programming. in O.J. Dahl, E.W. Dijkstra and C.A.R. Hoare, Structural Programming. Academic Press, New York.
12. Dixon, J.R. (1987) AI EDAM. Vol. 1(3). pp. 145-157.
13. Eder, W.E. (1990) "Engineering Design - a perspective on U.K. and Swiss development." In Design Theory and Methodology - DTM'90 (Chicago. Il), pages 225-234. New-York, NY. The American Society of Mechanical Engineers.
14. Finger, S. and J.R. Dixon, (1989) "A review of research in mechanical engineering design. Part I: Descriptive, prescriptive, and computer-based models of design processes." Research in Engineering Design, 1(1). pp. 51-67.
15. Freeman, P. and A. Newell, (1971) "A Model for Functional Reasoning in Design." In Proc. of the 2nd Int. Joint Conf. on Artificial Intelligence. pp. 621-633.
16. Gero, J.S. (1987) "Prototypes: A New Schema for Knowledge Based Design." Technical Report. Architectural Computing Unit. Department of Architectural Science.
17. Giloi, W.K. and B.D. Shriver, (eds.) (1985) Methodologies for Computer Systems Design. North-Holland. Amsterdam.
18. Glasersfeld, V.E. (1990) "An Exposition of Constructivism: Why Some Like It Radical." In Constructivist Views on the Teaching and Learning of Mathematics. Davis R.B., Maher C.A. and Noddings N. (eds.).
19. Glegg, G.L. (1973) The Science of Design. Cambridge University Press.
20. Hubka, V. (1982) Principles of Engineering Design. Butterworth Scientific. London.
21. Hubka, V. and W.E. Eder, (1988) Theory of Technical Systems: A Total Concept Theory For Engineering Design. Springer-Verlag. Berlin.
22. Hundal, M.S. (1990) "Research in design theory and methodology in West Germany." In Design Theory and Methodology - DTM'90 (Chicago, Il). pages 235-238. New-York. NY. The American Society of Mechanical Engineers.
23. Ishida, T.H. Minowa, and N. Nakajima, (1987) "Detection of Unanticipated Functions of Machines." In Proc. of the Int. Symp. of Design and Synthesis. Tokyo. pp. 21-26.
24. Jaques, R. and J.A. Powell, (eds.) (1980) Design: Science: Method. Westbury House. Guildford. England.
25. Jones, J.C. (1980) Design Methods: Seeds of Human Futures (2nd Edition). John Wiley. New York.
26. Klir, J.G. (1985) Architecture of Systems Problem Solving. Plenum Press. New York.
27. Kuhn, T.S. (1970) Postscript - 1969. In The Structure of Scientific Resolutions. Enlarged 2nd Edition. University of Chicago Press. Chicago. IL. pp. 174-210.
28. Maher, M.L. (1987) "A Knowledge-Based Approach to Preliminary Design Synthesis." Report EDRC-12-14-87. Carnegie Mellon University Engineering Design Research Center.
29. Maimon, O. and D. Braha, (1992) "A proof of the complexity of design." Kybernetes: An International Journal of Cybernetics and General Systems, 21(7). pp. 59-63.
30. Maimon, O. and D. Braha, (1994a) "On the Complexity of the Design Synthesis Problem." Submitted for Publication.
31. Maimon, O. and D. Braha, (1994b) "On the Design Process." Technical Report 94, Tel-Aviv University, Israel.
32. Mesarovic, M.D. and Y. Takahara, (1975) General Systems Theory: Mathematical Foundations. Academic Press. New York.
33. Murthy, S.S. and A. Addanki, (1987) "PROMPT: An Innovative Design Tool." In Proc. of the 6th Nat. Conf. on Artificial Intelligence. Seattle. WA.
34. Paynter, H.M. (1961) Analysis and Design of Engineering Systems. MIT Press, Cambridge. MA.
35. Penberthy, J.S. (1987) Incremental Analysis and the Graph of Models: A First Step Towards Analysis in the Plumber's World. S.M. Thesis, MIT Department of Electrical Engineering and Computer Science.
36. Ressler, A.L. (1984) "A Circuit Grammar for Operational Amplifier Design." Technical Report 807 MIT. Artificial Intelligence Laboratory.
37. Rieger, C. and M. Grinberg, (1977) "The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms." In Proc. of the 5th Int. Joint Conf. on Artificial Intelligence. pp. 250.
38. Rinderle, J.R. (1987) "Function and Form Relationships: A basis for Preliminary Design." Report EDRC-24-05-87. Carnegie Mellon University Engineering Design Research Center. Pittsburgh. PA.
39. Roylance, G. (1983) "A Simple Model of Circuit Design." Technical Report 703. MIT Artificial Intelligence Laboratory.
40. Rychener, M. (ed.) (1988) Expert Systems for Engineering Design. Academic Press. New York.
41. Shina, G.S. (1991) Concurrent Engineering and Design for Manufacture of Electronics Products. Van Nostrand Reinhold.
42. Simon, H.A. (1981) The Science of the Artificial. MIT Press. Cambridge. MA.
43. Spillers, W.R. (ed.) (1972) Basic Questions of Design Theory. North-Holland. Amsterdam.
44. Suh, N.P. (1984) "Development of the science base for the manufacturing field through the axiomatic approach." Robotics & Computer-Integrated Manufacturing. 1(3/4). pp. 397-415.
45. Tomiyama, T. (1990) "Engineering design research in Japan." In Design Theory and Methodology-DTM'90 (Chicago, Il). pages 219-224. New-York, NY. The American Society of Mechanical Engineers.
46. Tong, C. and D. Sriram, (eds.) (1991) Artificial Intelligence Approaches to Engineering Design.
47. Ulrich, K.T. (1988) Computation and Prehyphen;Parametric Design. Technical Report 1043. MIT Artificial Intelligence Laboratory.
48. Vollbracht, G.T. (1988) "The Time for CAEDM is Now." Computer-Aided Engineering, CAD/CAM section. 7 (Oct.). pp. 28.
49. Warfield, J.N. (1990) A Science of Generic Design. Intersystems Publications, Salinas. CA.
50. Winston, P.H. et al. (1983) "Learning Physical Descriptions From Functional Definitions. Examples and Precedents." Memo 679. MIT. Artificial Intelligence Laboratory.