Developing health information systems using safety management procedures and formal development methods.
This paper reports on the MORSE project that aims to produce a coherent approach to the development of reusable software for safety critical systems. Within the project there are three case studies, each using RAISE, a formal language and formal development method. The case study dealing with the redevelopment of a clinical laboratory system is used for illustration.
Shaw
R
R
Applied Information Engineering, Lloyd's Register of Shipping, Croydon, UK.
Hughes
S
S
D000465:Algorithms; D002984:Clinical Laboratory Information Systems / Q000592:standards*; D019411:Clinical Laboratory Techniques / Q000592:standards*; D003199:Computer Systems; D005568:Forms and Records Control; D016347:Medical Records Systems, Computerized; D008962:Models, Theoretical; D011785:Quality Assurance, Health Care; D015203:Reproducibility of Results; D012449:Safety; D013597:Systems Analysis; D014584:User-Computer Interface