{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:49:04Z","timestamp":1762458544796},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430926"},{"type":"electronic","value":"9783540455875"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45587-6_4","type":"book-chapter","created":{"date-parts":[[2007,6,24]],"date-time":"2007-06-24T17:19:19Z","timestamp":1182705559000},"page":"28-46","source":"Crossref","is-referenced-by-count":10,"title":["Modeling Engineering Structures with Constrained Objects"],"prefix":"10.1007","author":[{"given":"Bharat","family":"Jayaraman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pallavi","family":"Tambay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"issue":"3","key":"4_CR1","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0743-1066(93)90043-G","volume":"16","author":"H. Ait-Kaci","year":"1993","unstructured":"H. Ait-Kaci and A. Podelski. Towards a Meaning of LIFE. Journal of Logic Programming, 16(3):195\u2013234, 1993.","journal-title":"Journal of Logic Programming"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"A. Borning B. N. Freeman-Benson. Integrating Constraints with an Object Oriented Language. In Proc. European Conference On Object-Oriented Programming, pages 268\u2013286, 1992.","DOI":"10.1007\/BFb0053042"},{"issue":"4","key":"4_CR3","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1145\/357146.357147","volume":"3","author":"A. Borning","year":"1981","unstructured":"A. Borning. The Programming Language Aspects of Thinglab, A Constraint-Oriented Simulation Laboratory. ACM TOPLAS, 3(4):252\u2013287, 1981.","journal-title":"ACM TOPLAS"},{"key":"4_CR4","unstructured":"E. C. Freuder. Partial Constraint Satisfaction. In Proc. 11thI ntl. Jt. Conf. on Artificial Intelligence, pages 278\u2013283, 1989."},{"key":"4_CR5","unstructured":"E. C. Freuder and R. J. Wallace. Heuristic Methods for Over-Constrained Constraint Satisfaction Problems. In Proc. CP\u201995 Workshop on Overconstrained Systems, 1995."},{"key":"4_CR6","unstructured":"A. Borning G. Lopez, B. N. Freeman-Benson. Constraints and Object Identity. In Proc. European Conference On Object-Oriented Programming, 1994."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"K. Govindarajan. Optimization and Relaxation in Logic Languages. PhD thesis, Department of Computer Science, SUNY-Buffalo, 1997.","DOI":"10.1145\/237721.237735"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"K. Govindarajan, B. Jayaraman, and S. Mantha. Optimization and Relaxation in Constraint Logic Languages. In Proc. 23rd ACM Symp. on Principles of Programming Languages, pages 91\u2013103, 1996.","DOI":"10.1145\/237721.237735"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"R. Helm, I. Holland, and D. Gangopadhyay. Contracts: Specifying Behavioural Compositions in Object-Oriented Systems. In Proc. Object-Oriented Programming, Systems, and Applications (OOPSLA), 1990.","DOI":"10.1145\/97945.97967"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"B. Horn. Constraint Patterns As a Basis For Object Oriented Programming. In Proc. Object-Oriented Programming, Systems, and Applications (OOPSLA), 1992.","DOI":"10.1145\/141936.141955"},{"key":"4_CR11","unstructured":"B. Horn. Constrained Objects. PhD thesis, CMU, November 1993."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J. L. Lassez. Constraint Logic Programming. In Proc. 14thA CM Symp. on Principles of Programming Languages, pages 111\u2013119, 1987.","DOI":"10.1145\/41625.41635"},{"key":"4_CR13","unstructured":"W. J. Leler. The Specification and Generation of Constraint Satisfaction Systems. Addison-Wesley, 1987."},{"key":"4_CR14","unstructured":"G. Lopez. The Design and Implementation of Kaleidoscope, A Constraint Imperative Programming Language. PhD thesis, University of Washington, 1997."},{"key":"4_CR15","unstructured":"R. Mayne and S. Margolis. Introduction to Engineering. McGraw-Hill, 1982."},{"key":"4_CR16","unstructured":"B. Meyer. Eiffel: The Language. Prentice-Hall, 1992."},{"key":"4_CR17","unstructured":"R. Peak. Automating product data-driven analysis using multifidelity multidirectional constrained objects. Invited Presentation, NASA STEP for Aerospace Workshop, Jet Propulsion Lab, Pasadena CA, Jan 2000."},{"key":"4_CR18","unstructured":"James Rumbaugh, Ivar Jacobson, and Grady Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1998."},{"key":"4_CR19","unstructured":"G. Smolka. Constraint Programming in Oz (Abstract). In Proc. Intl. Conference on Logic Programming, pages 37\u201338, 1997."},{"key":"4_CR20","unstructured":"P. van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989."},{"key":"4_CR21","unstructured":"Warmer, J., Kleppe, A. The Object Constraint Language. Addison-Wesley, 1999."}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45587-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T05:35:53Z","timestamp":1556516153000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45587-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,12,20]]},"ISBN":["9783540430926","9783540455875"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-45587-6_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001,12,20]]}}}