Exploiting Blockchain to Make AI Trustworthy: A Software Development Lifecycle View.
Peiyun ZhangSong DingQinglin ZhaoPublished in: ACM Comput. Surv. (2024)
Keyphrases
- development lifecycle
- software development
- formal methods
- artificial intelligence
- security requirements
- case based reasoning
- case study
- expert systems
- software design
- source code
- machine learning
- software systems
- knowledge based systems
- knowledge representation
- information systems
- computer systems
- intelligent systems
- computational intelligence
- multiple views
- autonomous agents
- software tools
- management system
- ai systems
- database