5. ELABORACIÓN DEL MANUAL DE GESTIÓN AMBIENTAL
5.3 Planificación
5.3.4 Programas del sistema
Abbreviation in the text
Reference Details Section
quoted
Abelson & Abelson H & Sussman GJ, 'Structure and Interpretation o f 323
Suss mail. 1985 Computer Programs', MIT and McGraw Hill, 1985 5.13
6 1
Adzhiev, Beynon, Cartwright, Yung,
1994a
Adzhiev V, Beynon WM, Cartwright AJ, Yung YP, A
Computational Model for Multi-Agent Interaction in Concurrent Engineering' Proc. 2nd Int Conf. Concurrent Engg and Electronic Design Automation. Poole. April 1994
103
Adzhiev, Beynon, Cartwright, Yung,
1994ft
Adzhiev V, Beynon WM, Cartwright AJ, Yung YP, *A New Computer-based Tool for Conceptual Design’, Int. Wksh. Comp. Aided Conceptual Design Ixmcaster. April 1994
10.3
Akman & ten Hagen, 1989
Akman V & ten Hagen PJW: ‘The Power of Physical Represent ations', Intelligent CAD Systems HI. Eds V Akman. PJW ten Hagen. PJ Veerkemp. Springer Verlag 1989. 126-145.
3.12
Autodesk. 1992 Autol.isp Release 12 Programmer's Reference. Autodesk Inc., 1992
6.1
Autodesk, 1992 AutoCAD Release 12 Customisation Manual, Autodesk Inc. 1992 9 32
Backus. 1978 Backus JW, ‘Can Programming be Liberated from the von
Neumann Style? A Functional Style and its Algebra of Programs’,
Communications o f the ACM. Vol 21. August 1978. 613-641
3 13
Beynon, 1986 Beynon WM, ‘ ARCA - A Notation for displaying and
manipulating combinatorial Diagrams'.?/, o f Warwick. Comp Sc. HR 78. 1986
341
Beynon, Angier, Bissell & Hunt, 1986
Beynon WM, Angier D, Bissell T, Hunt S; 'DoNaLD, a Line Drawing System based on Definitive Principles'; V.of Warwick Comp Sc RR787. 1986
3 41
Beynon, 1987 Beynon WM, 'Definitive Principles for Interactive Graphics',
NATO ASISeries F:40 ¡987. 1083-1097
REFERENCES 184
Beynon & Yung, 1988
Beynon WM &Yung E, 'Implementing a Definitive Notation for Interactive Graphics', Proc CG '88
Beynon & Cartwright, 1989
Beynon WM & Cartwright AJ, 'A Definitive Approach to the Implementation of CAD Software', Intelligent CAD Systems III. Eds V Akman. PJW ten Hagen. PJ Veerkemp. Springer Verlag 1989. 126-145
Beynon, 1990 Beynon WM, ‘Parallelism in a Definitive Programming
Framework', Proc Conf on Parallel Computing. Elsevier Sc. Pub. 1990. 425-430
Beynon et al. 1990 Beynon WM, Norris MT, Orr RA, Slade MD, ‘Definitive
Specification of Concurrent Systems’, Proc. UKIT'90.1EE Conf.Publications 316. 1990 52-57
Beynon, 1992 Beynon WM, ‘New paths for programming in theory and practice'
Seminar at IBM Warwick Software Development Lab. Sept 1992
Beynon,
Cartwright, Yung & Hogan, 1992
Beynon WM, Cartwright AJ, Yung YP, Hogan PJ, ‘Scientific Visualisation Exper-iments and Observations', Proc 3rd Eurographics Workshop on Visualisation in Scienti fic Computing. Viareggio. 1992. 157-173.
Beynon & Cartwright, 1993
Beynon WM & Cartwright AJ, ‘Agent-oriented Modelling for Engineering Design', Proc. Int. Conf. on Computer-aided Design. Yalta. Russia. May 1993.
Beynon, Joy, Cartwright & Godfrey, 1993
Beynon WM, Joy M, Cartwright AJ, Godfrey KR, ‘Agent-oriented Modelling for Interactive Systems’, SERC grant. 3-year Research Fellowship for S. Yung from May 1993
Beynon. et al, 1993
Beynon WM, Noms MT, Russ SB, Slade MD, Yung, YP. Yung YW, 'Software Development as Agent-oriented Modelling: an Illustrative Example.' In preparation
Brown, 1982 Brown CM, 'PADL-2: A Technical summary' IEEE Computer
Graphics A Applications V2 N2. Mar 1982. 69-84
Bums & Stalker. 1986
Bums T & Stalker GM "The Social Context of Innovation" in "Product Design and Technological Innovation". Ed Ray Wield. Open lImversity Press. 1986.
Butchard & Cartwright, 1993
Butchard. Helen, ‘Commissioning of PADL-2 - a Developmental Solid Modelling Package', 3rd Year H.Eng. Project, supervised by AJ Cartwright. 11. o f Warwick. Dept of Engg 1993
Cartwright & Beynon. 1992
Cartwright AJ & Beynon WM, 'Enhancing Interaction in Computer-aided Conceptual Design', Proc Int Canton Manufacturing Automation. Hong Kong. Aug. 1992. 643-648
422 3.42 421 1.2 101 2 5.13 3.1 42 5.13 5.13 fill 5 13 4 12 9 1 4 12 2.5 444
REFERENCES 185
Case, 1992 Case K, ‘Feature Technology - an integration Methodology for 5.12
CAD & CAM’, Proc Int Conf on Manufacturing Automation. Hong Kong, Aug. 1992. 613-624
Chan & Paulson, 1987
Chan WT & Paulson BC Jr, 'Exploratory Design Using 2.3
Constraints AI for Engg Des', Anal & Manuf. VI. No! Academic Press 1987
Clocksin & Mellish, 1987
Clocksin WF & Mellish CS, ‘Programming in P r o lo g3rd Edn., 3 21 Springer Verlag, 1987
Coplin, 1989 Coplin JF, "Engineering design - a powerful influence on the 2.1
business success of manufacturing industry", Proc IMechE Int Con/Engineering Design. Harrogate 1989. 1-31
Cross, 1989 Cross, N. "Engineering Design Methods ". J Wiley, 1989 9 1
Davies, 1992 Davies P, The Mind o f God, Penguin books, 1992 2 1
DesignView Manual, 1991
‘DesignView Version 3 for Windows’, Program documentation. 4 14
ComputerVision CADDS DesignView Group. 1991
Dym, 1987 Dym CL, ‘Issues in the design and implementation of Expert 3 31
Systems’, Artificial Intelligence for Engineering Design. Analysis & Manufacturing. Voll. Hol. 1987. 37-46
Ehrlenspiel & Dylla, 1989
Ehrlenspiel K & Dylla N, ‘Experimental Investigation of the ■ ■ Design Process', Proc IMechE Int Conf Engineering Design.
Harrogate 1989. 77-95
El Dahshan & Barthes. 1989
El Dahshan K & Barthes JB, 'Implementing Constraint 2 4
Propagation in Mechanical CAD Systems'. Intelligent CAD Systems UI. Eds V Akman. PJW ten Hagen. PJ Veerkemp. Springer Verlag 1989 217-227.
Foley Foley J, 'Models & Tools for the Designers of Computer User- 142
Interfaces', NATO AS1 Series F. Computer and Systems Sciences. Vol 40. 1121-1152
French, 1985 French M, Conceptual Design for Engineers. Design Council. 2.1
Springer Verlag, 2/e 1985 Glaser. Hankin &
Till. 1«84
Glaser H, Hankin C, Till D 'Principles o f Functional 1 13
Programming' Prentice Hall. I°84 Goldberg &
Robson. 1983
Goldberg A & Robson. D 'Smalltalk-80. The ¡Mnguage and its 3 2
Implementation'. Addison Wesley, May 1983 Gu, ElMaraghy &
Hamid. 1989
Gu PH, ElMaraghy HA, Hamid L. ‘FDDL: A feature based design 2 2
description language'. Design Theory At Methodology. ASME 1989
Hartquist & Mansa. 1983
Hartquist EE, Mansa HA, 'PADL-2 Users' Manual'. Cornet 4 1
REFERENCES 186
Hofstadter, 1979 Hofstadter DR, 'Godel, Esher, Bach: An Eternal Golden Braid', 2 2
Penguin Books, 1979
Jones, Maynard & Jones R, Maynard C, Stewart I, ‘The Art o f Lisp Programming', 6 1
Stewart, 1990 Springer Verlag 1990
Kelly, el al., Kelly P, Kranzberg M, Rossini F, Baker N, Tarplay F, Mitzner M 9.1
1986 'Introducing Innovation', in "Product Design and Technological
Innovation", Ed Ray A Wield. Open University Press, 1986
Koren, 1983 Koren, ‘Computer Control o f Manufacturing Systems', McGraw 4.11
Hill, 1983
Koegal, 1989 Koegal JF ,‘Planning and Explaining with Interacting Expert 3 32
Systems’ Intelligent CAD Systems III, Eds V.Akman. P.J. W ien Hagen, P.J.Veerkemp, Springer Verlag ¡989, 17-31.
Krause, Vosgerau, Krause F, Vosgerau FH, Yaramanoglu N ‘Implementation of 2.2
& Yaramanoglu, Technical Rules in a Feature-based Modeller1. Intelligent CAD
1989 Systems III, Eds V.Akman. P.J.Wten Hagen. P.J.Veerkemp.
Springer Verlag 1989. 195-208.
Leyton, 1988 Leyton M, ‘A Process Grammar for Shape', Artificial Intelligence. 3 31
V34, No2. March 1988. 213-248
McKay, 1988 McKay A, ‘The Structure Editor Approach to Product 3.31
Description’, Information Support Systems fo r Design and Manufacture, PDS Report. University o f Feeds, 1988.
Mäntylä, 1990 Mäntylä M, ‘A Modeling System for top-down design of 2 2
assembled products'. IBM J.Res. Develop. V.34. No5. Sept 1990
Michic, 1986 Mitchic D, 'On Machine Intelligence', 2nd Edition, Ellis 2 2.
Horwood, 1986, ch 16, 18 112
Miller, ei al, 1980 Miller GM, Kuchar NR, Douglas RJ, ‘CAD/CAM in Primary 3 11
Manufacturing Processes' The CAD/CAM Handbook.
ComputerVision Corporation .1980. chapter 5.9.
Miller, 1989 Miller W, ‘Implementation of CAD in W Germany’ Seminar at x 1
Univ. o f Warwick Business School. Oct 1989
Minsky, 1981 Minsky, Marvin: ‘A Framework for Representing Knowledge', in 2 2
Mind Design. Philosophy Psychology and Artificial Intelligence', Ed. Haugeland,/. MIT Press. 1981, 95-128
Oh, Langdown, Oh V, Langdown P, Sharpe JEE, ‘Schemcbuilder: An Integrated s 11
Sharpe, 1994 Computer Environment for Product Design ’, Proclnt'l Wksh on
Computer Aided Conceptual Design. U o f Ixmcaster. April 1994 Piela. et al, 1992 Piela P, Katzenberg B, McKelvey, ’Integrating the User into 1 1
Research on Engineering Design Systems' lies. Engineering Design (1992) 3:2/1-221
REFERENCES 187
Plato Plato, Republic, Peguin edition, 1955, VII, 6 2.4
Popplestone, 1984 Popplestone RJ; ‘The Application of AI Techniques to Design 5.12
Systems'; Int Symp on Design and Synthesis. Japan Soc o f Prec.Engg Tokyo 1984
Popplestone, et al.
1986
Popplestone RJ, Smithers T, Comey J, Koutsou A, Millington K, 5.12
Sahar G. ‘Engineering Design Support Systems'. IKBS/MS 7/86 3.1
Pugh & Morley, 1988
Pugh S & Morley IE ‘Total Design, Some Questions and Some 2.3
Answers', Design Division. Univ o f Strathclyde. 1988
Pye, 1983 Pye D, ‘ The Nature and Aesthetics o f Design', Herbert Press, 11
1983 Ritchie &
Thompson, 1984
Ritchie G, Thompson H, ‘Natural Language Parsing', in 'Artificial 2 2
Intelligence - Tools, Techniques and Applications’. Eds. O'Shea T. A Eisenstadt M., Harper A Row. 1984 ch.ll
Rooney & Steadman, 1987
Rooney J & Steadman P, 'Principles o f Computer Aided Design'. 4 22 Chap. 1, Pitman Press 1987
Roth, 1981 Roth KH, ‘Foundation of Methodical Procedures in Design'. < <
Design Studies Vl.No2.April 1981, 107-115
Roth, 1989 Roth KH, ‘Methods and Relationships for automatic design of 2.1
connections by the computer', Proc IMechE lnt C.onf Engineering Design, Harrogate 1989. 637-654.
Rossignac, Borei & Nackman 1989
Rossignac JR, Borel P, Nackman LR, ‘Interactive Design with 5.12
Sequences of Parameterized Transforms', Intelligent CAD Systems HI. Eds V.Akman. P.J.W.ten Hagen. P.J.Veerkemp. Spnnger
Verlag 1989. 93-125.
Sandström, 1968 Sandstrom Cl, 'The Psychology o f Childhood and Adolescence' 2.2
Penguin Books, 1968
Siddall, 1982 Siddall James N. Optimal Engineering Design Dekker, 1982. 9 2
Shaw, Bloor & de Pennington, 1989
Shaw NK, Bloor M Susan, de Pennington A, ‘Product Data 1 'll
Models’, Research in Engineering Design. Poll. Nol. 1989. 43- 50
Smith BC, 1987 Smith, Brian Cantwell: ‘Two Lessons of Logic', Computer 2 1
Intelligence. V3. 1987. 214-218
Smith ST & Chetwynd, 1992
Smith ST & Chetwynd DG, Eoundations o f Ultraprecision 11
Mechanism Design, Gordon & Breach Sc Pub, 1992, ch.4
Sniithers, 1987 Smithers T: ‘Al-based Design v Geometry based Design 4 22
Workshop on Al in Civil Engineering', Al Applications Insl Edinburgh. Nov 1987
HF.FERF.NCnS 188
Sobolewski, 1988 Sobolewski M, ‘Percept Conceptualisations and their Knowledge 2.2
Representaion Schemes’, Proc 6th Int.Symp. on Methodologies for Intelligent Systems, Oct1988, 236-245
Spillers & Newsome, 1989
Spillers WR & Newsome S, ‘Design Theory: A Model for 2.3
Conceptual Design', Proc. 1988 NSF Grantee Workshop on Design Theory and Mehodology, Springer Verlag, 1989
Starkey, 1992 Starkey CV, Engineering Design Decisions, Edward Arnold, 1992 1 • 1 ■
9.1
Stidwell, 1989 Stidwell MJ, The CADNO Programming Language, U. o f 5.21
Warwick Comp. Sc. Report, May 1989
Sudkamp, 1988 Sudkamp TA, ‘Languages and Machines ’ Addison Wesley,1988 3.2
Sutherland, 1963 Sutherland LE, "SKETCHPAD: A Man-Machine Graphical 2.4
Communication System, TRIt 296, Lincoln laboratory, MIT, 1963
Takala, 1989 Takala T, ‘Design Transactions and Retrospective Planning', 2.4
Intelligent CAD Systems HI, Eds V.Akman, P.J. Wien Hagen, P.J. Veerkemp, Springer Verlag 1989, 262-272
Tan, era/, 1987 Tan ST, Yuen MF, Sze WS, Yung.WY: T4C Machining Algor- 4 12
ithms for CSG Solids'. Advances in Design Automation, Vol. 1, ASME Design Automation Conf, Boston Ma. Sept 27, 1987
Tanimoto, 1990 Tanimoto, SL The Elements o f Artificial Intelligence, Computer 62
Science Press 1990 Tomiyama & ten
Hagen, 1987
Tomiyama T & ten Hagen PJW, The Concept of Intelligent 6 4
Integrated Interactive CAD systems', CWl report. Centre for Mathematics A Computer Science. Amsterdam. 1987
Tomiyama, 1989a Tomyama T, ‘Meta-model: A key to Intelligent CAD Systems', 1 '
Research in Engineering Design. Voll, Not, 1989, 19-34
Tomiyama, 19896 Tomyama T, 'Object Oriented Programming Paradigm for 1 1
Intelligent CAD Systems', Intelligent ('AD Systems III, Eds V.Akman. P.J. W.ten Hagen, P.J.Veerkemp, Springer Verlag 1989, 3-16.
Tomiyama, el al.
1994
Tomiyama T, Kiriyama T, Umeda Y, ‘ Towards Knowledge 5.13
Intensive Engineering', Proc Int Wksh Computer Aided Conceptual Design, Umv of Lancaster, April 1994
Trigg, 1973 Trigg R, 'Reason and Commitment'. Cambridge llniv. Press, 1973 2.2
Turner, 1987 Turner D, ‘An Overview of Miranda', Bull EATCS. 103-114. 1987 3 22
Ullman. 1992 Ullman DG, The Mechanical Design Process', McGraw Hill, 2 1,