Title | ||
---|---|---|
Towards a Formalization of System Requirements for an Integrated Clinical Environment. |
Abstract | ||
---|---|---|
Interoperability of medical devices, and their interface to clinicians and patients, are critical issues for the safety and effectiveness of patient care. Ongoing efforts strive at establishing standards for integrated clinical environments, which may connect and co ordinate several medical devices and interface them to patients, clinicians, and hospital information systems. In this paper, an approach to the formalization of system requirements for an integrated clinical environment is presented. The formalization relies on the higher-order logic language of the Prototype Verification System. |
Year | DOI | Venue |
---|---|---|
2016 | 10.4108/eai.14-10-2015.2261701 | EAI Endorsed Trans. Self-Adaptive Systems |
Field | DocType | Volume |
Information system,Prototype Verification System,Co ordinate,Software engineering,Interoperability,Computer science,Patient care,Logic programming,System requirements | Journal | 2 |
Issue | Citations | PageRank |
6 | 1 | 0.40 |
References | Authors | |
0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Cinzia Bernardeschi | 1 | 226 | 31.87 |
Andrea Domenici | 2 | 100 | 17.16 |
Paolo Masci | 3 | 188 | 29.52 |