Model checking the composition of hypermedia design components
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Towards trusted composition in software design
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Hi-index | 0.00 |
This case study reviews the system and the processes that led to the botched implementation. The London Ambulance Service have spent the best part of the last fourteen years attempting to compute rise their despatch system. (They are still trying). The infamous failure of the second attempt was selected due to the multitude of issues and considerations it raises. The prevailing culture and the financial climate played a major role in shaping the events that led to disaster. This case study highlights how circumstances can gang-up and the resulting implications to the health and safety of patients.