Deductively verifying embedded software in the era of artificial intelligence = machine learning + software science.
Satoshi YamanePublished in: GCCE (2017)
Keyphrases
- embedded software
- artificial intelligence
- machine learning
- software architecture
- embedded systems
- computer science
- development projects
- data mining
- software engineering
- knowledge representation
- software systems
- user interface
- high level
- machine learning methods
- sequence diagrams
- software development
- statistical methods
- database