{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:46:00Z","timestamp":1754487960495},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601616"},{"type":"electronic","value":"9783540495390"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60161-9_28","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:48:32Z","timestamp":1330278512000},"page":"44-58","source":"Crossref","is-referenced-by-count":2,"title":["Automatic integration of digital system requirements using schemata"],"prefix":"10.1007","author":[{"given":"R. Y.","family":"Kamath","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W. R.","family":"Cyre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"4_CR1","volume-title":"IEEE Standard VHDL Language Reference Manual","author":"IEEE","year":"1988","unstructured":"IEEE, IEEE Standard VHDL Language Reference Manual, IEEE, NY, 1988."},{"key":"4_CR2","volume-title":"Conceptual Structures: Information Processing in Mind and Machine","author":"J. F. Sowa","year":"1984","unstructured":"J. F. Sowa, Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, Reading, MA, 1984."},{"key":"4_CR3","unstructured":"R. Greenwood and W. R. Cyre, \u201cConceptual Modeling of Digital Systems from Informal Descriptions\u201d, Proc. International Workshop on Modeling. Analysis and Simulation of Computer Telecommunications Systems, San Diego, CA, January 17\u201320, 1993."},{"key":"4_CR4","unstructured":"Alex Honcharik, J. Armstrong and W. R. Cyre, \u201cMapping Conceptual Graphs to VHDL Descriptions\u201d, VHDL International User's Forum, Washington, DC, October 18\u201321, 1992."},{"key":"4_CR5","unstructured":"M. L. Mugnier and M. Chein, \u201cPolynomial Algorithms for Projection and Marching, Proc. 7th Annual Workshop on Conceptual Graphs, Las Cruces, NM, pp. 49\u201358, July, 1992."},{"key":"4_CR6","volume-title":"A Grammar of Contemporary English","author":"S. Greenbaum","year":"1973","unstructured":"Sidney Greenbaum et al., A Grammar of Contemporary English, Longman Group Limited, London, 1973."},{"key":"4_CR7","unstructured":"S. Shankaranarayanan and W. R. Cyre, \u201cIdentification of Coreferences with Conceptual Graphs\u201d, Proc. Supp. 2nd International Conference on Conceptual Structures, College Park, NM, pp. 45\u201360, August 16\u201319, 1994."},{"key":"4_CR8","unstructured":"W. R. Cyre, \u201cCapture, Integration and Analysis of Digital System Requirements with conceptual Graphs\u201d, accepted for publication in IEEE Trans. on Knowledge and Data Engr., 1994."},{"key":"4_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-349-03521-2","volume-title":"Graph Theory with Applications","author":"J. A. Bondy","year":"1976","unstructured":"J. A. Bondy and U. S. R. Murty, Graph Theory with Applications, New York: North Holland, 1976."},{"key":"4_CR10","volume-title":"MC68HC11 Reference Manual","author":"MOTOROLA","year":"1989","unstructured":"MOTOROLA, MC68HC11 Reference Manual, PRENTICE HALL, Englewood Cliffs, N. J. 07632, 1989."},{"key":"4_CR11","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1147\/rd.301.0057","volume":"30","author":"J. F. Sowa","year":"1986","unstructured":"J. F. Sowa and E. C. Way, \u201cImplementing a Semantic Interpreter Using Conceptual Graphs,\u201d IBM J. Research and Development, Vol. 30, pp. 57\u201369, January, 1986.","journal-title":"IBM J. Research and Development"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Applications, Implementation and Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60161-9_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:32:29Z","timestamp":1619573549000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60161-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601616","9783540495390"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-60161-9_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}