{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:17:04Z","timestamp":1755217024035,"version":"3.43.0"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,2,1]],"date-time":"1997-02-01T00:00:00Z","timestamp":854755200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,2,1]],"date-time":"1997-02-01T00:00:00Z","timestamp":854755200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Formal Methods in System Design"],"published-print":{"date-parts":[[1997,2]]},"DOI":"10.1023\/a:1008687607689","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T10:12:40Z","timestamp":1040551960000},"page":"73-92","source":"Crossref","is-referenced-by-count":3,"title":["Generating Validation Feedback for Automatic Interpretation of Informal Requirements"],"prefix":"10.1007","volume":"10","author":[{"given":"W.R.","family":"Cyre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Thakar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"122778_CR1","unstructured":"S. Balachandar and W.R. Cyre, \"Knowledge acquisition tool using visualization and back annotation,\" Proc. Workshop on Knowledge Acquisition Using Conceptual Graphs, College Park, MD, Aug. 20, 1994, pp. 95\u2013115."},{"issue":"7","key":"122778_CR2","doi-asserted-by":"crossref","first-page":"665","DOI":"10.1002\/int.4550100704","volume":"10","author":"W.R. Cyre","year":"1995","unstructured":"W.R. Cyre, \"A requirements sublanguage for automated analysis,\" International Journal of Intelligent Systems, Vol. 10, No. 7, pp. 665\u2013689, July 1995.","journal-title":"International Journal of Intelligent Systems"},{"key":"122778_CR3","unstructured":"W.R. Cyre, \"Capture, integration and analysis of digital system requirements with conceptual graphs,\" Accepted for publication in IEEE T. on Knowledge and Data Engineering."},{"issue":"2","key":"122778_CR4","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1109\/12.262123","volume":"43","author":"W.R. Cyre","year":"1994","unstructured":"W.R. Cyre, \"The conceptual representation of waveforms for temporal reasoning,\" IEEE Transactions on Computers, Vol. 43, No. 2, pp. 186\u2013200, Feb. 1994.","journal-title":"IEEE Transactions on Computers"},{"key":"122778_CR5","unstructured":"W.R. Cyre, \"Textual\/graphical design capture for conceptual-level synthesis,\" Proc. IFIP Conference on Hardware Description Language Conference CHDL'93, Ottawa, Canada, April 26-28, 1993, pp. 471\u2013488."},{"key":"122778_CR6","doi-asserted-by":"crossref","unstructured":"T. Fruchterman and E. Reingold, \"Graph drawing by force-directed placement,\" Software-Practice and Experience, Vol. 21, No. 11, Nov. 1991.","DOI":"10.1002\/spe.4380211102"},{"key":"122778_CR7","unstructured":"R. Greenwood and W.R. Cyre, \"Conceptual modeling of digital systems from informal descriptions,\" Proc. International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunications Systems: MASCOTS'93, San Diego, CA, Jan. 1993."},{"key":"122778_CR8","unstructured":"A. Honcharik, \"Generation of VHDL from conceptual graphs of informal specifications,\"MS Thesis, Virginia Tech, 127 pgs., Aug. 1993."},{"key":"122778_CR9","doi-asserted-by":"crossref","unstructured":"R. Kamath and W.R. Cyre, \"Automatic integration of digital system requirements using schemata,\" Accepted for Proc. 1995, International Conference on Conceptual Structures, Santa Cruz, CA, Aug. 1995.","DOI":"10.1007\/3-540-60161-9_28"},{"key":"122778_CR10","volume-title":"Technical Note, 512, SRI International","author":"P.D. Karp","year":"1993","unstructured":"P.D. Karp et al., \"The Grasper-CL Graph Management System,\" Technical Note, 512, SRI International, Menlo Park, CA, Jan. 20, 1993."},{"key":"122778_CR11","doi-asserted-by":"crossref","unstructured":"J.L. Peterson, \"Petri nets,\" Computing Surveys, Vol. 9, No. 3, Sept. 1977.","DOI":"10.1145\/356698.356702"},{"key":"122778_CR12","unstructured":"R.C. Shank and B.L. Nash-Webber, Theoretical Issues in Natural Language Processing, Association of Computational Linguistics, 1975."},{"key":"122778_CR13","unstructured":"S. Shankaranarayanan and W.R. Cyre, \"Identification of coreferences with conceptual graphs,\" Proc. 1994 International Conference on Conceptual Structures, College Park, MD, Aug. 16-20, 1994, pp. 45\u201360."},{"key":"122778_CR14","unstructured":"J.F. Sowa, Conceptual Structures: Information Processing in Mind and Machine, Addison-Wesley, Reading, MA, 1984."},{"key":"122778_CR15","doi-asserted-by":"crossref","unstructured":"J.F. Sowa and E. Way, \"Implementing a semantic interpreter using conceptual graphs,\" IBM J. Research and Development, Vol. 30, pp. 57\u201369, Jan. 1986.","DOI":"10.1147\/rd.301.0057"},{"issue":"4","key":"122778_CR16","doi-asserted-by":"crossref","first-page":"876","DOI":"10.1109\/21.108304","volume":"21","author":"K. Sugiyama","year":"1991","unstructured":"K. Sugiyama and K. Misue, \"Visualization of structural information: Automatic drawing of compound digraphs,\" IEEE T. Systems, Man and Cybernetics, Vol. 21, No. 4, pp. 876\u2013892, July\/Aug. 1991.","journal-title":"IEEE T. Systems, Man and Cybernetics"},{"key":"122778_CR17","volume-title":"Proc. International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunications Systems: MASCOTS' 94","author":"A. Thakar","year":"1994","unstructured":"A. Thakar and W.R. Cyre, \"Visual feedback for validation of informal specifications,\" Proc. International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunications Systems: MASCOTS' 94, Duke University, Durham, NC, Jan. 1994."},{"key":"122778_CR18","volume-title":"Understanding Natural Language","author":"T. Winograd","year":"1972","unstructured":"T. Winograd, Understanding Natural Language, Academic Press, NY, 1972."}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008687607689.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008687607689\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008687607689.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T04:40:24Z","timestamp":1754368824000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008687607689"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,2]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,2]]}},"alternative-id":["122778"],"URL":"https:\/\/doi.org\/10.1023\/a:1008687607689","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[1997,2]]}}}