Title :
Specifying medical software
Author :
Rush, Tony ; Bear, Stephen
Author_Institution :
Hewlett-Packard Lab., Bristol, UK
Abstract :
The authors have successfully applied formal specification techniques to the construction of medical products. The approach is characterized by concentrating on the use of HP-SL to construct clear and precise specifications of behavior. In a number of collaborative product developments, the effectiveness of the software development process has been improved significantly without getting involved in the `difficult´ formal methods areas of refinement and program proof
Keywords :
formal specification; medical computing; program verification; collaborative product developments; formal specification techniques; medical products; program proof; software development process; Collaboration; Costs; Displays; Formal specifications; Heart; Industrial training; Laboratories; Mathematics; Programming; Testing;
Conference_Titel :
Computer-Based Medical Systems, 1992. Proceedings., Fifth Annual IEEE Symposium on
Conference_Location :
Durham, NC
Print_ISBN :
0-8186-2742-5
DOI :
10.1109/CBMS.1992.244998
