{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:18:16Z","timestamp":1772119096777,"version":"3.50.1"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1992,9,1]],"date-time":"1992-09-01T00:00:00Z","timestamp":715305600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Engineering with Computers"],"published-print":{"date-parts":[[1992,9]]},"DOI":"10.1007\/bf01194322","type":"journal-article","created":{"date-parts":[[2005,2,18]],"date-time":"2005-02-18T07:49:41Z","timestamp":1108712981000},"page":"197-211","source":"Crossref","is-referenced-by-count":14,"title":["An axiomatic theory of engineering design information"],"prefix":"10.1007","volume":"8","author":[{"given":"F. A.","family":"Salustri","sequence":"first","affiliation":[]},{"given":"R. D.","family":"Venter","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","series-title":"Proceedings from IFIP WG 5.2 Conference on Expert Systems in Computer-Aided Design","volume-title":"Expert systems in computer-aided design","year":"1987","unstructured":"Gero, J.S., editor (1987) Expert systems in computer-aided design, Proceedings from IFIP WG 5.2 Conference on Expert Systems in Computer-Aided Design, Amsterdam, North-Holland"},{"key":"CR2","series-title":"Proceedings from IFIP WG 5.2 Working Conference on Design Theory for CAD","volume-title":"Design theory in CAD","year":"1987","unstructured":"Yoshikawa, H.; Warman, E.A. editors (1987) Design theory in CAD, Proceedings from IFIP WG 5.2 Working Conference on Design Theory for CAD, Amsterdam, North-Holland"},{"key":"CR3","volume-title":"Proceedings of the Thirteenth Canadian Congress of Applied Mechanics","year":"1991","unstructured":"Popplewell, N.; Shah, A.H. editors (1991) Proceedings of the Thirteenth Canadian Congress of Applied Mechanics, Winnipeg, Man., Print Management, Ltd."},{"key":"CR4","unstructured":"Zdonik, S.B.; Maier, D. editors (1990) Readings in objectoriented database systems. The Morgan Kaufmann Series in Data Management Systems. Morgan Kaufmann"},{"key":"CR5","series-title":"Proceedings of 2nd International Workshop on Object-Oriented Database Systems","volume-title":"Advances in object-oriented databases","year":"1988","unstructured":"Dittrich, K.R. editor (1988) Advances in object-oriented databases (Proceedings of 2nd International Workshop on Object-Oriented Database Systems), Number 334 in Lecture Notes in Computer Science, Berlin, Springer-Verlag"},{"key":"CR6","volume-title":"Proceedings of Computer Graphics International'87","year":"1987","unstructured":"Kunii, T.L. editor (1987) Proceedings of Computer Graphics International'87, Tokyo, Springer-Verlag"},{"key":"CR7","unstructured":"ElMaraghy, W.H.; Seering, W.P.; Ullman, D.G. editors (1989) Design theory and methodology-DTM 89, Design Technical Conferences Proceedings, New York, ASME"},{"key":"CR8","volume-title":"Computers in Engineering 1990","year":"1990","unstructured":"Kinzel, G.L.; Rohde, S.M. editors (1990) Computers in Engineering 1990, New York, ASME"},{"key":"CR9","series-title":"Proceedings from IFIP WG 5.2 Conference on Expert Systems in Computer-Aided Design","first-page":"1","volume-title":"Expert systems in computer-aided design","author":"T.G. Dietterich","year":"1987","unstructured":"Dietterich, T.G.; Ullman D.G. (1987) FORLOG: A logic-based architecture for design. Expert systems in computer-aided design, Proceedings from IFIP WG 5.2 Conference on Expert Systems in Computer-Aided Design, Amsterdam, North-Holland 1?17"},{"key":"CR10","series-title":"Proceedings from IFIP WG 5.2 Conference on Expert Systems in Computer-Aided Design","first-page":"179","volume-title":"Expert systems in computer-aided design","author":"K. Ishii","year":"1987","unstructured":"Ishii, K.; Barkan, P. (1987) Rule-based sensitivity analysis. Expert systems in computer-aided design, Proceedings from IFIP WG 5.2 Conference on Expert Systems in Computer-Aided Design, Amsterdam, North-Holland 179?198"},{"key":"CR11","series-title":"Proceedings from IFIP WG 5.2 Conference on Expert Systems in Computer-Aided Design","first-page":"57","volume-title":"Expert systems in computer-aided design","author":"P. Struss","year":"1987","unstructured":"Struss, P. (1987) Multiple representation of structure and function. Expert systems in computer-aided design, Proceedings from IFIP WG 5.2 Conference on Expert Systems in Computer-Aided Design, Amsterdam, North-Holland 57?84"},{"key":"CR12","series-title":"Proceedings from IFIP WG 5.2 Conference on Expert Systems in Computer-Aided Design","first-page":"93","volume-title":"Expert systems in computer-aided design","author":"D.S. Green","year":"1987","unstructured":"Green, D.S.; Brown, D.C. (1987) Qualitative reasoning during design about shape and fit: a preliminary report Expert systems in computer-aided design, Proceedings from IFIP WG 5.2 Conference on Expert Systems in Computer-Aided Design. Amsterdam, North-Holland 93?112"},{"issue":"1","key":"CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01200200","volume":"6","author":"G.L. Fenves","year":"1990","unstructured":"Fenves, G.L. (1990) Object-oriented programming for engineering software development. Engineering with Computers, 6(1): 1?15","journal-title":"Engineering with Computers"},{"key":"CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-3518-7","volume-title":"Object-oriented database programming","author":"S. Alagic","year":"1989","unstructured":"Alagic, S. (1989) Object-oriented database programming. Springer-Verlag, New York"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Zdonik, S.B.; Maier, D. (1990) Fundamentals of object-oriented databases, In [4], 1?36","DOI":"10.1145\/101620.101636"},{"issue":"2","key":"CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/41166602","volume":"32","author":"J.R. Dixon","year":"1990","unstructured":"Dixon, J.R.; Duffey, M.R. (1990) The neglect of engineering design. California Management Review, 32(2): 1?19","journal-title":"California Management Review"},{"issue":"2","key":"CR17","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF01200239","volume":"6","author":"D.L. Hawla","year":"1990","unstructured":"Hawla, D.L.; Neishlos, H. (1990) Knowledge acquisition for effective and efficient use of engineering software. Engineering with Computers, 6(2): 67?80","journal-title":"Engineering with Computers"},{"key":"CR18","unstructured":"Suh, N.P. (1990) The Principles of Design. Oxford University Press"},{"key":"CR19","unstructured":"Dixon, J.R. (1991) The state of education. Mechanical Engineering, pages 64?67, Feb."},{"issue":"3","key":"CR20","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/BF01200316","volume":"6","author":"J. Wade","year":"1990","unstructured":"Wade, J.; Colton, J.S. (1990) A framework for feature-based representation of the design process. Engineering with Computers, 6(3): 185?192","journal-title":"Engineering with Computers"},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"Salustri, F.A.; Venter, R.D. (1991) Towards a Logical Theory of Engineering Design Information. To be presented at the 1991 Computers in Engineering Conference and Exposition","DOI":"10.1115\/CIE1991-0021"},{"key":"CR22","series-title":"Proceedings from IFIP WG 5.2 Working Conference on Design Theory for CAD","first-page":"95","volume-title":"Design theory in CAD","author":"T. Tomiyama","year":"1987","unstructured":"Tomiyama, T.; Yoshikawa, H. (1987) Extended general design theory. Design theory in CAD, Proceedings from IFIP WG 5.2 Working Conference on Design Theory for CAD, Amsterdam, North-Holland, 95?130"},{"key":"CR23","first-page":"692","volume-title":"Proceedings of the Thirteenth Canadian Congress of Applied Mechanics","author":"O.R. Fauvel","year":"1991","unstructured":"Fauvel, O.R. (1991) Expanded use of function language in mechanical design. Proceedings of the Thirteenth Canadian Congress of Applied Mechanics, Winnipeg, Man., Print Management, Ltd. 692?693"},{"key":"CR24","unstructured":"Dixon, J.R. (1991) New goals for engineering education. Mechanical Engineering, pages 56?62, Mar."},{"issue":"4","key":"CR25","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1145\/379106.379114","volume":"21","author":"M.H. Chignell","year":"1990","unstructured":"Chignell, M.H. (1990) A taxonomy of user interface terminology. ACM SIGCHI Bulletin, 21(4): 27?34","journal-title":"ACM SIGCHI Bulletin"},{"key":"CR26","unstructured":"Copi, I.M. (1979) Symbolic Logic. Macmillan"},{"key":"CR27","unstructured":"Fraenkel, A.A.; Bar-Hillel, Y.; Levy, A. (1973) Foundations of Set Theory. North-Holland"},{"key":"CR28","unstructured":"Suppes, P. (1972) Axiomatic Set Theory. Dover Publications, Inc."},{"key":"CR29","doi-asserted-by":"crossref","unstructured":"Gu, P.H.; ElMaraghy, H.A.; Hamid, L. (1989) FDDL: A feature based design description language. Design theory and methodology-DTM 89, Design Technical Conferences Proceedings, New York, ASME, 53?64","DOI":"10.1115\/DETC1989-0007"},{"key":"CR30","series-title":"MDA Technical Report 3-88","volume-title":"Designing with features: The origin of features","author":"J.J. Cunningham","year":"1988","unstructured":"Cunningham, J.J.; Dixon, J.R. (1988) Designing with features: The origin of features. MDA Technical Report 3-88, Mechanical Design and Automation Laboratory, University of Massachusetts, Amherst, MA"},{"key":"CR31","unstructured":"Spivey, J.M. (1988) Understanding Z: A Specification Language and its Formal Semantics. Camberidge University Press"},{"key":"CR32","unstructured":"Jaynes, J. (1976) The Origin of Consciousness in the Breakdown of the Bicameral Mind. University of Toronto Press"},{"key":"CR33","first-page":"1","volume-title":"Computers in Engineering 1990","author":"J. Bowen","year":"1990","unstructured":"Bowen, J.; O'Grady, P. (1990) A technology for building lifecycle design advisers. Computers in Engineering 1990, New York, ASME, 1?7"},{"key":"CR34","first-page":"3","volume-title":"Proceedings of Computer Graphics International '87","author":"M.J. Wozny","year":"1987","unstructured":"Wozny, M.J. (1987) Beyond computer graphics and CAD\/CAM. Proceedings of Computer Graphics International '87. Tokyo, Springer-Verlag 3?9"},{"key":"CR35","unstructured":"Zhang, Z.; Rice, S.L. (1989) Conceptual design: Perceiving the pattern. Mechanical Engineering, 58?60, Jul."},{"issue":"2","key":"CR36","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/BF01200240","volume":"6","author":"K.H. Law","year":"1990","unstructured":"Law, K.H.; Barsalou, T.; Wiederhold, G. (1990) Management of complex structural engineering objects in a relational framework. Engineering with Computers, 6(2):81?92","journal-title":"Engineering with Computers"},{"issue":"1","key":"CR37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01208341","volume":"7","author":"M.K. Zamanian","year":"1991","unstructured":"Zamanian, M.K.; Fenves, S.J.; Thewalt, C.R.; Finger, S. (1991) A feature-based approach to structural design. Engineering with Computers, 7(1): 1?9","journal-title":"Engineering with Computers"}],"container-title":["Engineering with Computers"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01194322.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01194322\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01194322","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,2]],"date-time":"2023-05-02T02:50:32Z","timestamp":1682995832000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01194322"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,9]]},"references-count":37,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1992,9]]}},"alternative-id":["BF01194322"],"URL":"https:\/\/doi.org\/10.1007\/bf01194322","relation":{"has-preprint":[{"id-type":"doi","id":"10.32920\/ryerson.14638725.v1","asserted-by":"object"},{"id-type":"doi","id":"10.32920\/ryerson.14638725","asserted-by":"object"}]},"ISSN":["0177-0667","1435-5663"],"issn-type":[{"value":"0177-0667","type":"print"},{"value":"1435-5663","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,9]]}}}