{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,4]],"date-time":"2025-10-04T21:51:10Z","timestamp":1759614670394,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031175824"},{"type":"electronic","value":"9783031175831"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-17583-1_14","type":"book-chapter","created":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T08:08:46Z","timestamp":1676621326000},"page":"181-192","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Method for\u00a0Matching Patterns Based on\u00a0Event Semantics with\u00a0Requirements"],"prefix":"10.1007","author":[{"given":"Maiko","family":"Onishi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shinpei","family":"Ogata","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kozo","family":"Okano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daisuke","family":"Bekki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,2,18]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"B. Meyer, On formalism in specifications, in Program Verification (Springer, 1993), pp. 155\u2013189","DOI":"10.1007\/978-94-011-1793-7_8"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"H. Ii, K. Okano, S. Ogata, Improving accuracy of automatic derivation of state variables and transitions from a japanese requirements specification, in Joint Conference on Knowledge-Based Software Engineering (2020), pp. 20\u201334","DOI":"10.1007\/978-3-030-53949-8_3"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"1649","DOI":"10.1016\/j.procs.2021.08.169","volume":"192","author":"M Ohto","year":"2021","unstructured":"M. Ohto, H. Ii, K. Okano, S. Ogata, Proposal of extracting state variables and values from requirement specifications in japanese by using dependency analysis. Proced. Comput. Sci. 192, 1649\u20131658 (2021)","journal-title":"Proced. Comput. Sci."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"K. Okano, K. Takahashi, S. Ogata, T. Sekizawa, Analysis of specification in japanese using natural language processing, in Joint Conference on Knowledge-Based Software Engineering (2018), pp. 12\u201321","DOI":"10.1007\/978-3-319-97679-2_2"},{"key":"14_CR5","unstructured":"T. Kasami, An efficient recognition and syntax-analysis algorithm for context-free languages in Technical Report AFCRL-65-758, Air Force Cambridge Research Lab (1965)"},{"key":"14_CR6","unstructured":"M.C. de\u00a0Marneffe, B. MacCartney, C.D. Manning, Generating typed dependency parses from phrase structure parses, in Proceedings of the Fifth International Conference on Language Resources and Evaluation (LREC\u201906) (2006)"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"S. Ghosh, D. Elenius, W. Li, P. Lincoln, N. Shankar, W. Steiner, Arsenal: automatic requirements specification extraction from natural language, in NASA Formal Methods Symposium (2016), pp. 41\u201346","DOI":"10.1007\/978-3-319-40648-0_4"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"T. Kudo, Y. Matsumoto, Japanese dependency analysis using cascaded chunking, in COLING-02: The 6th Conference on Natural Language Learning 2002 (CoNLL-2002) (2002)","DOI":"10.3115\/1118853.1118869"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"M. Steedman, The Syntactic Process (The MIT Press, 2000)","DOI":"10.7551\/mitpress\/6591.001.0001"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"D.M. Berry, E. Kamsties, Ambiguity in requirements specification, in Perspectives on Software Requirements, pp. 7\u201344. Springer (2004)","DOI":"10.1007\/978-1-4615-0465-8_2"},{"key":"14_CR11","unstructured":"S.F. Tjong, Avoiding ambiguity in requirements specifications. Ph.D. thesis, University of Nottingham (2008)"},{"key":"14_CR12","unstructured":"SESSAME(http:\/\/www.sessame.jp): Wadai-Futto pot (GOMA-1015 type) 7th edition (2005), https:\/\/www.sessame.jp\/workinggroup\/WorkingGroup2\/POT_Specification_v7.PDF (Last accessed 30 May 2022)"},{"key":"14_CR13","unstructured":"T. Parsons Events in the Semantics of English: A Study in Subatomic Semantics. The MIT Press (1990)"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"P. Mart\u00ednez-G\u00f3mez, K. Mineshima, Y. Miyao, D. Bekki, ccg2lambda: a compositional semantics system, in Proceedings of ACL 2016 System Demonstrations (2016), pp. 85\u201390","DOI":"10.18653\/v1\/P16-4015"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"K. Mineshima, R. Tanaka, P. Mart\u00ednez-G\u00f3mez, Y. Miyao, D. Bekki, Building compositional semantics and higher-order inference system for a wide-coverage Japanese CCG parser, in Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (2016), pp. 2236\u20132242","DOI":"10.18653\/v1\/D16-1242"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"K. Mineshima, P. Mart\u00ednez-G\u00f3mez, Y. Miyao, D. Bekki, Higher-order logical inference with compositional semantics, in Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing (2015), pp. 2055\u20132061","DOI":"10.18653\/v1\/D15-1244"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"J.R. Hobbs, Ontological promiscuity, in 23rd Annual Meeting of the Association for Computational Linguistics, pp. 60\u201369 (1985)","DOI":"10.3115\/981210.981218"},{"issue":"1","key":"14_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02342615","volume":"1","author":"F Landman","year":"1992","unstructured":"F. Landman, The progressive. Nat. Language Semantics 1(1), 1\u201332 (1992)","journal-title":"The progressive. Nat. Language Semantics"},{"key":"14_CR19","unstructured":"The Coq Development Team: The Coq Proof Assistant: Reference Manual: Version 8.9.0. INRIA (2019)"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"D. Delahaye, A tactic language for the system coq, in International Conference on Logic for Programming Artificial Intelligence and Reasoning. pp. 85\u201395 (2000)","DOI":"10.1007\/3-540-44404-1_7"},{"key":"14_CR21","unstructured":"O. Tange, Gnu parallel 20211022 (\u2019sinclair\u2019). Zenodo (2021), https:\/\/doi.org\/10.5281\/zenodo.5593566"}],"container-title":["Learning and Analytics in Intelligent Systems","Knowledge-Based Software Engineering: 2022"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-17583-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,17]],"date-time":"2023-02-17T08:18:59Z","timestamp":1676621939000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-17583-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031175824","9783031175831"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-17583-1_14","relation":{},"ISSN":["2662-3447","2662-3455"],"issn-type":[{"type":"print","value":"2662-3447"},{"type":"electronic","value":"2662-3455"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"18 February 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JCKBSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Joint Conference on Knowledge-Based Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 August 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 August 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jckbse2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/easyconferences.eu\/jckbse2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}