Yingxu Wang 0001, James Y. Xu. A Cognitive Computing Methodology for Software Requirement Elicitation and Formal Specification. In Yingxu Wang 0001, Konstantinos N. Plataniotis, Bernard Widrow, Witold Pedrycz, Witold Kinsner, Petros Spachos, Sam Kwong, editors, 21st 2022 International Conference on Cognitive Informatics & Cognitive Computing, ICCI*CC 2022, Toronto, ON, Canada, December 8-10, 2022. pages 129-136, IEEE, 2022. [doi]
Abstract is missing.