James Y. Xu, Yingxu Wang. Formal Software Requirement Elicitation based on Semantic Algebra and Cognitive Computing. In 19th IEEE International Conference on Cognitive Informatics & Cognitive Computing, ICCI*CC 2020, Beijing, China, September 26-28, 2020. pages 187-194, IEEE, 2020. [doi]
Abstract is missing.