A Formal Development Approach for Self-Organising Systems.
Qin LiGraeme SmithPublished in: TASE (2014)
Keyphrases
- complex systems
- formal methods
- knowledge based systems
- machine learning
- neural network
- development efforts
- software engineering
- computer systems
- technical issues
- historical perspective
- reactive systems
- communication technologies
- computing systems
- learning systems
- software development
- database systems
- artificial intelligence