A Cognitive Computing Methodology for Software Requirement Elicitation and Formal Specification.
Yingxu WangJames Y. XuPublished in: ICCI*CC (2022)
Keyphrases
- formal specification
- object oriented design
- cognitive computing
- formal methods
- cognitive informatics
- software components
- model checking
- reverse engineering
- process algebra
- computational intelligence
- software systems
- software design
- knowledge processing
- source code
- database systems
- database
- protocol specification
- software development
- software engineering
- information systems
- modeling language
- cognitive science
- information processing
- distributed systems
- knowledge base
- artificial intelligence
- databases