TY - GEN
T1 - Software engineering in public health
T2 - 2012 International Conference on Computer Distributed Control and Intelligent Environmental Monitoring, CDCIEM 2012
AU - Ke, Wei
AU - Liu, Zhiming
PY - 2012
Y1 - 2012
N2 - Based on the state of the art of health information systems (HIS) and the recent advancement in information and communication technology (ICT), we discuss the possible future HIS and their potential to transform the global health services. We also show why with all of the enabling technologies rapidly changing so many aspects of our daily life and environment, the actual impact of HIS on healthcare is much more limited than we think. We discuss the main reasons from the software engineering perspective and identify the challenges in the design and implementation of HIS to realize their perceived potentials. In the discussion of the causes of the challenges, we propose to apply model-driven software engineering methodologies to the design and analysis of future HIS, with the support of formal modeling and verification techniques and tools.
AB - Based on the state of the art of health information systems (HIS) and the recent advancement in information and communication technology (ICT), we discuss the possible future HIS and their potential to transform the global health services. We also show why with all of the enabling technologies rapidly changing so many aspects of our daily life and environment, the actual impact of HIS on healthcare is much more limited than we think. We discuss the main reasons from the software engineering perspective and identify the challenges in the design and implementation of HIS to realize their perceived potentials. In the discussion of the causes of the challenges, we propose to apply model-driven software engineering methodologies to the design and analysis of future HIS, with the support of formal modeling and verification techniques and tools.
KW - Formal modeling and verification
KW - Health information systems
KW - Model-driven software engineering
UR - http://www.scopus.com/inward/record.url?scp=84860521289&partnerID=8YFLogxK
U2 - 10.1109/CDCIEM.2012.155
DO - 10.1109/CDCIEM.2012.155
M3 - Conference contribution
AN - SCOPUS:84860521289
SN - 9780769546391
T3 - Proceedings - 2012 International Conference on Computer Distributed Control and Intelligent Environmental Monitoring, CDCIEM 2012
SP - 630
EP - 637
BT - Proceedings - 2012 International Conference on Computer Distributed Control and Intelligent Environmental Monitoring, CDCIEM 2012
Y2 - 5 March 2012 through 6 March 2012
ER -