Formal Development of Self-organising Systems.
Graeme SmithJeffrey W. SandersPublished in: ATC (2009)
Keyphrases
- technical issues
- distributed systems
- development projects
- current trends
- computer systems
- knowledge based systems
- software developers
- complex systems
- information processing
- historical perspective
- formal methods
- development process
- database
- decision support
- information technology
- case study
- information systems
- artificial intelligence