title: Developing health information systems using safety management procedures and formal development methods.
abstract: 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.
authors.affiliation: Applied Information Engineering, Lloyd's Register of Shipping, Croydon, UK.
authors.forename: R
authors.initials: R
authors.lastname: Shaw
authors.forename: S
authors.initials: S
authors.lastname: Hughes
mesh_terms: 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