{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T20:57:30Z","timestamp":1730235450965,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,12,8]],"date-time":"2022-12-08T00:00:00Z","timestamp":1670457600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,12,8]],"date-time":"2022-12-08T00:00:00Z","timestamp":1670457600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,12,8]]},"DOI":"10.1109\/iccicc57084.2022.10101659","type":"proceedings-article","created":{"date-parts":[[2023,4,21]],"date-time":"2023-04-21T17:58:16Z","timestamp":1682099896000},"page":"129-136","source":"Crossref","is-referenced-by-count":3,"title":["A Cognitive Computing Methodology for Software Requirement Elicitation and Formal Specification"],"prefix":"10.1109","author":[{"given":"Yingxu","family":"Wang","sequence":"first","affiliation":[{"name":"International Institute of Cognitive Informatics and Cognitive Computing (I2CICC), Schulich School of Engineering (SSE) and Hotchkiss Brain Institute (HBI), University of Calgary,Dept. of Electrical and Software Engineering,NW Calgary,AB,Canada,T2N 1N4"}]},{"given":"James Y.","family":"Xu","sequence":"additional","affiliation":[{"name":"International Institute of Cognitive Informatics and Cognitive Computing (I2CICC), Schulich School of Engineering (SSE) and Hotchkiss Brain Institute (HBI), University of Calgary,Dept. of Electrical and Software Engineering,NW Calgary,AB,Canada,T2N 1N4"}]}],"member":"263","reference":[{"key":"ref13","first-page":"211","article-title":"Parsing Software Requirements with an Ontology-based Semantic Role Labeler","author":"roth","year":"2015","journal-title":"Proceedings of the 1st Workshop on Language and Ontologies"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCI-CC.2018.8482093"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1109\/ICCICC57084.2022.10101670","article-title":"On Abstract Sciences: From Data, Information, Knowledge to Intelligence Sciences","author":"wang","year":"2022","journal-title":"IEEE 2022 Int'l Conf on Cognitive Informatics and Cognitive Computing (ICCI*CC'22)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.4018\/jcini.2008040103"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1360\/crad20070618"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.4018\/jssci.2011010104"},{"key":"ref30","first-page":"2.1","article-title":"On the Latest Proof of Twin-Prime (TP) Conjecture: A Discovery of TP MP (Mirror Primes) c P x P in the Hyperspace (Keynote)","author":"wang","year":"2022","journal-title":"7th MCSI Int'l Conf o n Mathematics and Computers i n Sciences and Industry (MCSI'22)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCICC46617.2019.9146036"},{"key":"ref33","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/ICCICC57084.2022.10101583","article-title":"On Intelligent Mathematics underpinning Contemporary Abstract Sciences and Autonomous AI (Keynote)","author":"wang","year":"2022","journal-title":"IEEE 2022 Int'l Conf on Cognitive Informatics and Cognitive Computing (ICCI*CC'22)"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2014.00024.x"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/351936.351943"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1166\/jama.2014.1060"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1201\/9780203496091"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1166\/jama.2012.1019"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2009-0023"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1166\/jama.2015.1074"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1166\/jama.2013.1039"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.4018\/jssci.2009070101"},{"key":"ref23","first-page":"1","article-title":"A General Theory of Adaptivity and Homeostasis in the Brain and in the Body (Keynote)","author":"widrow","year":"2021","journal-title":"IEEE 20th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC'21)"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.3389\/fcomp.2021.766053"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/COGINF.2007.4341926"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025419826662"},{"key":"ref22","first-page":"410","author":"widrow","year":"2022","journal-title":"Cybernetics 2 0 Adaptivity and Homeostasis in the Brain and the Body"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.4018\/jcini.2007010101"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.37394\/23206.2022.21.66"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.37394\/23206.2022.21.63"},{"key":"ref29","first-page":"1.1","article-title":"On the Recent Proof of Goldbach Conjecture: From Euclidean Prime Factorization to Mirror Prime Decompositions of Even Integers in Number Theory (Keynote)","author":"wang","year":"2022","journal-title":"7th MCSI Int'l Conference on Mathematics and Computers in Sciences and Industry (MCSI'22)"},{"key":"ref8","first-page":"313","article-title":"Building a large annotated corpus of English: The Penn Treebank","volume":"19","author":"marcus","year":"1993","journal-title":"Computational Linguistics"},{"key":"ref7","first-page":"1009","article-title":"Ontology-Oriented Requirements Analysis","volume":"11","author":"lu","year":"2000","journal-title":"Journal of Software"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICIMT.2009.47"},{"key":"ref4","first-page":"2","article-title":"On Intelligent Mathematics for AI (Keynote)","author":"wang","year":"2021","journal-title":"Int'l Conf on Frontiers of Mathematics and Artificial Intelligence (CFMAI'21)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2006.871138"},{"key":"ref6","first-page":"93","article-title":"Natural language processing of textual requirements","author":"arellano","year":"2015","journal-title":"ICONS 2015 The 10th Int'l Conference on Systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87563-5_2"}],"event":{"name":"2022 IEEE 21st International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)","start":{"date-parts":[[2022,12,8]]},"location":"Toronto, ON, Canada","end":{"date-parts":[[2022,12,10]]}},"container-title":["2022 IEEE 21st International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10101484\/10100740\/10101659.pdf?arnumber=10101659","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T18:31:31Z","timestamp":1683570691000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10101659\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,8]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/iccicc57084.2022.10101659","relation":{},"subject":[],"published":{"date-parts":[[2022,12,8]]}}}